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.
Emerging smart contract language for the Ethereum blockchain.
symbolic EVM evaluator
A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.
Ethereum Proof-of-Stake Consensus Specifications
An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.
Collection of APIs provided by Ethereum execution layer clients
Tools for Yul.
Common tests for the Ethereum proof-of-stake consensus layer
Specification for the Execution Layer. Tracking network upgrades.
A control-flow graph builder for Solidity smart contracts.
Guidelines and training material to write secure smart contracts
Formal semantics of the yul language
Loose collection of Solidity example code
Javascript Library used to evaluate natspec expressions