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:
- Casper contract, with test script: https://github.com/ethereum/research/blob/master/casper4
- Some work on the daemon by Karl Floersch: https://github.com/karlfloersch/simplecasper
And some other blog posts from Vlad:
- Dealing with Failure in Cryptocurrency: https://medium.com/@Vlad_Zamfir/dealing-with-failure-in-cryptocurrency-463475da83e5
- Simple model of an "internal" PoW attacker: https://medium.com/@Vlad_Zamfir/simple-model-of-an-internal-pow-attacker-1a713cf00672
- A post agitating for smaller block rewards: https://medium.com/@Vlad_Zamfir/the-case-for-smaller-block-rewards-fb0eab38e15c ; see also Reddit thread and Carbonvote
- EVM formal provers can now run state tests: https://github.com/pirapira/eth-isabelle
- Core dev meeting notes: https://github.com/ethereum/pm/tree/master/All%20Core%20Devs%20Meetings
- Implementation in Geth: https://github.com/ethereum/go-ethereum/pull/3757
- Implementation in Parity: https://github.com/paritytech/parity/issues/4833
- Tests: here, here and here, among other places.