Synereo is since almost half a year working hard together with Ethereum to get a consensus model for the blockchain that is economic, secure and based on game theories.
Since last week we have now a complete description of how replicated specialK machines are able to manage the blockchain state by using the Casper consensus model. They do so in a mathematically provable correct fashion, because the consensus game is expressed in reflective π-calculus processes.
It is economic because the fault tolerant architecture can be sharded, it means the architecture scales.
The final step is to implement metering of the steps that the machines take.
We'll keep you posted. And we will provide all the links to grasp the thinking. Short summaries are available on our blog
http://blog.synereo.com/.
Cheers,
HJ
