An ontology of Ethereum terms extracted from the Ethereum glossaries and Ethereum Improvement Proposals (EIPs). Available in plain text and SKOS formats.

Ethereum Distributed Validator Specifications

Dafny is a verification-aware programming language

Eth2.0 spec in Dafny

Define a blockchain for use in space and write about it.

a workspace for developing improvements to BFT consensus

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client