Smart contract specification language
AGPL-3.0 License
Bot releases are hidden (Show)
Published by d-xo about 3 years ago
Our first release!
See the blog post for details.
Collection of APIs provided by Ethereum execution layer clients
Common tests for the Ethereum proof-of-stake consensus layer
Javascript Library used to evaluate natspec expressions
A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.
Loose collection of Solidity example code
Tools for Yul.
A control-flow graph builder for Solidity smart contracts.
Specification for the Execution Layer. Tracking network upgrades.
Ethereum Proof-of-Stake Consensus Specifications
symbolic EVM evaluator
An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.
Formal semantics of the yul language
Emerging smart contract language for the Ethereum blockchain.
Guidelines and training material to write secure smart contracts