The last and a half months have experienced great progress for the search for Ethereum, and we are delighted that the protocol is closer and closer to the point where it is ready for the consumer adoption. The progress of consensus algorithms, privacy, evidence of knowledge and formal verification occur at an increasing speed, and our research and development teams are developing considerably.
A large amount of progress was made on Casper. You can find some average articles describing the algorithm here:
And some blog articles from Yoichi officially prove accuracy:
And on “Vlad Casper”:
And it’s not just theory:
More progress on Casper and Sharding will continue to be published once it will stabilize to the point where it is logical to write the work in progress in a document; The high -level details are now close to the finalized discussions, current discussions have more to see with the finest details of the design of the Casper contract.
And some other Vlad blog articles:
Some bugs have been discovered in the ENS code leading to a delay in its launch. A security audit has been put into service and the audit is now finished, bringing us closer to the final launch:
Updates on formal evidence:
Metropolis continues to progress, and the basic development teams continue to progress towards acceptance fully on the specification. Tests for some of the EIPs are already available and other tests are continuously.
