The last month and a half has seen great progress for Ethereum research, and we are excited that the protocol is getting closer and closer to the point where it is ready for mainstream adoption. Progress in consensus algorithms, privacy, zero-knowledge proofs, and formal verification is happening at an ever-increasing speed, and our research and development teams are expanding substantially.
A great deal of progress has been made on Casper. You can find some Medium posts describing the algorithm here:
And some blog posts by Yoichi formally proving the fix:
And about “Vlad Casper”:
And it’s not just theory:
More progress on Casper and sharding will continue to be posted once it stabilizes to the point where it makes sense to write the work-in-progress into a document; the high level details are now close to being finalized, the current discussions have more to do with the finer details of Casper’s contract design.
And some other blog posts from Vlad:
Some bugs were discovered in the ENS code that caused a delay in its release. A security audit was commissioned and is now complete, bringing us one step closer to the final day of release:
Updates on the formal test:
Metropolis continues to make progress, and the core development teams continue to move towards full specification agreement. Tests for some of the EIPs are already available and more tests are being written all the time.
