The preceding one and a half months have witnessed significant advancements in Ethereum research, and we are thrilled that the protocol is edging closer to the stage where it can be deemed ready for widespread adoption. Developments in consensus mechanisms, privacy, zero knowledge proofs, and formal verification are occurring at an accelerated pace, and our research and development teams are growing considerably.
Substantial progress has been achieved on Casper. You can explore a selection of Medium articles detailing the algorithm here:
And several blog entries from Yoichi formally validating correctness:
And regarding “Vlad Casper”:
It’s not merely theoretical:
Additional advancements on Casper and sharding will be published once it reaches a level of stability where it is sensible to document the ongoing efforts; the overarching details are now nearly finalized, with current discussions being predominantly focused on the intricate aspects of the Casper contract’s design.
Along with some more blog entries from Vlad:
A number of bugs were identified in the ENS code, resulting in a postponement of its launch. A security review was initiated, and the audit has now been concluded, bringing us a step nearer to the ultimate launch date:
Updates on formal proving:
Metropolis is making continuous progress, and the core development teams are persistently advancing towards a complete consensus on the specifications. Tests for several of the EIPs are already available, and additional tests are being consistently developed.
