Today I was privileged to read @dragosruoua's post regarding how instituting the futures market for BTC caused the price of BTC to crash. In the comments was a link to a video regarding the Lightning Network, detailing some guy named Rick's thoughts on it. Amongst them was a discussion of the fact that mesh routing on a network given bad actors was an unsolved problem.
This startled me, as it seems a relatively simple problem. However, on reflection, I was further alarmed at how insoluble the problem seems.
Consider: Bob wants to send Mary a package through a physical mesh network. He addresses the package, and asks his neighbor to pass it on. As long as each recipient of the package is a good actor, each passes it on to the next, until it reaches Mary, who is pleased to receive the package from Bob.
But, suppose that somewhere along the chain of neighbors handing off the package is Cracky, a nefarious thief, desperate for a hit of crack. He does not hand off the package to the next neighbor in Mary's direction, but opens it, and sells the contents on Ebay.
How can this problem be avoided?
Well, package tracking sets out to ensure that should any bad actor prevent the package proceeding on it's way, that last known recipient is identified. However, if there are enough bad actors colluding to defeat tracking, this can be defeated. Cracky's dealer can claim to have received the package and passed it on to Penelope Pureheart, who would then be accused of the theft. Cracky can claim to have passed it on himself, or a subset of the passers-on colluding with Cracky can claim any number of routing errors, or catastrophic events that destroyed the package.
At best, tracking can simply identify a bad actor that took the package, who may be able to be sanctioned for that act. This does not solve the routing problem.
Hashgraph, however, proposes a mechanism called 'Gossip About Gossip' that may offer a solution. As the package passes from Bob's hands to his neighbors, so does information about the package and neighbors get entered into the network. Before Bob hands off the package, he can read about his neighbors reliability - whether the neighbor he intends to hand the package to is a good actor.
If the neighbor is Cracky, Bob can choose another neighbor, because he can read the gossip about Cracky's habit. Each neighbor in the network can read the gossip about the route the package has taken, and where it needs to go, and about the reliability of the next intended neighbor. Each good actor in the mesh can make sure to only hand off the package for Mary to another reliable good actor, even though bad actors may live next door.
Routing can fail in the event a good actor finds they cannot hand off to a good actor because they're in a bad neighborhood, and the package can retrace back, or be delayed while it retraces until it is able to be passed off on a new route that bypasses the bad neighborhood.
The entire time the package is en route, Bob and Mary can read the gossip about the gossip the passers-on are reading, and keep track of the package in real time.
Clearly, bad actors can still impact this network, if only for the first time, and for some purposes and in some configurations, actors can be variously defined as bad or good, depending on who is doing the defining and why.
However, criminals seeking to deploy fleets of socks to intercept packages would not have reputations from known good actors to provide gossips to lure them into passing packages to the criminals. Should bad actors posing as good actors pretend to be deceived into granting reputation to socks, or bad actors, doing so would redefine them as bad actors, and thereafter exclude them from the network.
While it's not a perfect solution, it seems gossip, and gossip about gossip, can form a substantial safeguard against bad actors seeking to prey on networks.
I reckon this could be stated mathematically, but make no apologies for not doing so. If you have the chops to consider this idea mathematically, I'd appreciate your thoughts on it's potential to be proved thereby.
Does Hashgraph provide a potential solution to mesh routing? Let me know.