The final one and a half months have seen nice progress for Ethereum analysis, and we’re excited that the protocol is transferring nearer and nearer to the purpose the place it’s prepared for mainstream adoption. Progress on consensus algorithms, privateness, zero information proofs and formal verification is occurring at rising pace, and our analysis and growth groups are increasing considerably.
A considerable amount of progress has been made on Casper. Yow will discover just a few Medium posts describing the algorithm right here:
And some weblog posts from Yoichi formally proving correctness:
And on “Vlad Casper”:
And it is not simply principle:
Extra progress on Casper and sharding will proceed to be revealed as soon as it stabilizes to the purpose the place it is smart to jot down the continuing work up in a doc; the high-level particulars at the moment are near finalized, present discussions have extra to do with the finer particulars of the design of the Casper contract.
And another weblog posts from Vlad:
Some bugs have been found within the ENS code resulting in a delay of its launch. A safety audit was commissioned, and the audit is now full, bringing us a step nearer to the ultimate launch day:
Updates on formal proving:
Metropolis is constant to progress, and the core growth groups are persevering with to make progress towards absolutely agreeing on the specification. Exams for a number of the EIPs are already accessible, and extra exams are constantly being written.
