# Ethereum Dev Roundup: Q1

DevFeed: [Ethereum Dev Roundup: Q1](<https://devfeed.tech/articles/ethereum-dev-roundup-q1-16803.md>)

Original publisher: [Read original article](<https://blog.ethereum.org/en/2017/04/01/ethereum-dev-roundup-q1>)

Author: Vitalik Buterin

Published: 2017-04-01T02:55:28Z

Content type: opinion

Language: en

Sources: [Ethereum Foundation Blog](<https://devfeed.tech/sources/ethereum-foundation-blog.md>)

Topics: [Ethereum](<https://devfeed.tech/topics/ethereum.md>), [Development](<https://devfeed.tech/topics/development.md>), [Algorithms](<https://devfeed.tech/topics/algorithms.md>), [Formal verification](<https://devfeed.tech/topics/formal-verification.md>), [zero-knowledge](<https://devfeed.tech/topics/zero-knowledge.md>)

Tags: [algorithms](<https://devfeed.tech/tags/algorithms.md>), [attacks](<https://devfeed.tech/tags/attacks.md>), [consensus](<https://devfeed.tech/tags/consensus.md>), [dev](<https://devfeed.tech/tags/dev.md>), [ethereum](<https://devfeed.tech/tags/ethereum.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [immutability](<https://devfeed.tech/tags/immutability.md>), [implementation](<https://devfeed.tech/tags/implementation.md>), [metropolis](<https://devfeed.tech/tags/metropolis.md>), [privacy](<https://devfeed.tech/tags/privacy.md>), [proof-of-authority](<https://devfeed.tech/tags/proof-of-authority.md>), [protocol](<https://devfeed.tech/tags/protocol.md>), [research](<https://devfeed.tech/tags/research.md>), [research-development](<https://devfeed.tech/tags/research-development.md>), [state](<https://devfeed.tech/tags/state.md>), [verification](<https://devfeed.tech/tags/verification.md>), [zero-knowledge](<https://devfeed.tech/tags/zero-knowledge.md>)

## AI overview

An Ethereum development roundup discusses research progress in consensus algorithms, privacy, zero-knowledge proofs, and formal verification, alongside proposed changes involving proof of authority, transaction reversion, Metropolis, and protocol rules.

## Source excerpt

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...