Ethereum Dev Roundup: Q1 (Boring Edition) - Ethereum Blog
Ethereum Blog

Ethereum Dev Roundup: Q1 (Boring Edition)



Vitalik Buterin


Roundup Q2 08th July, 2017

Roundup Round III 24th May, 2017

dev update

Ethereum Dev Roundup: Q1 (Boring Edition)

Posted on .

The last one and a half months have seen great progress for Ethereum research, and we are excited that the protocol is moving closer and closer to the point where it is ready for mainstream adoption. Progress on consensus algorithms, privacy, zero knowledge proofs and formal verification is happening at increasing speed, and our research and development teams are expanding substantially.

A large amount of progress has been made on Casper. You can find a few Medium posts describing the algorithm here:

And a few blog posts from Yoichi formally proving correctness:

And on “Vlad Casper”:

And it’s not just theory:

More progress on Casper and sharding will continue to be published once it stabilizes to the point where it makes sense to write the ongoing work up in a document; the high-level details are now close to finalized, current discussions have more to do with the finer details of the design of the Casper contract.

And some other blog posts from Vlad:

Some bugs were discovered in the ENS code leading to a delay of its launch. A security audit was commissioned, and the audit is now complete, bringing us a step closer to the final launch day:

Updates on formal proving:

Metropolis is continuing to progress, and the core development teams are continuing to make progress toward fully agreeing on the specification. Tests for some of the EIPs are already available, and more tests are continuously being written.


Vitalik Buterin

There are no comments.

Leave a Reply

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

View Comments (0) ...