# Ethereum Dev Roundup: Q1 (Boring Edition)

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

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

Author: Vitalik Buterin

Published: 2017-04-07T11:30:17Z

Content type: article

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>), [Protocol (disambiguation)](<https://devfeed.tech/topics/protocol.md>), [zero-knowledge](<https://devfeed.tech/topics/zero-knowledge.md>)

Tags: [algorithm](<https://devfeed.tech/tags/algorithm.md>), [algorithms](<https://devfeed.tech/tags/algorithms.md>), [consensus](<https://devfeed.tech/tags/consensus.md>), [cryptocurrency](<https://devfeed.tech/tags/cryptocurrency.md>), [dev](<https://devfeed.tech/tags/dev.md>), [ethereum](<https://devfeed.tech/tags/ethereum.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [privacy](<https://devfeed.tech/tags/privacy.md>), [protocol](<https://devfeed.tech/tags/protocol.md>), [research](<https://devfeed.tech/tags/research.md>), [research-development](<https://devfeed.tech/tags/research-development.md>), [verification](<https://devfeed.tech/tags/verification.md>), [zero-knowledge](<https://devfeed.tech/tags/zero-knowledge.md>)

## AI overview

An Ethereum development roundup reports progress in research and protocol development, including consensus algorithms, privacy, zero-knowledge proofs, formal verification, and Casper. It also references related implementation work, tests, and developer discussions.

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