runtimeverification / beacon-chain-specLinks
Formalization of the Beacon Chain Phase 0 Specification in K
☆21Updated 3 years ago
Alternatives and similar repositories for beacon-chain-spec
Users that are interested in beacon-chain-spec are comparing it to the libraries listed below
Sorting:
- Eth2.0 spec in Dafny☆78Updated last year
- EVM performance tests for a range of clients☆24Updated 5 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- An EVM interpreter (wip)☆12Updated 4 years ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆27Updated last year
- AZTEC protocol trusted setup MPC☆32Updated last year
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 6 years ago
- ☆58Updated 7 months ago
- AZTEC protocol specification☆30Updated 5 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 5 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- Lido Improvement Proposals 💋☆28Updated 2 weeks ago
- formal verification of multicollateral dai in the K framework☆15Updated 4 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 5 years ago
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- Specification of the RenVM MPC algorithm☆19Updated 5 years ago
- Eth2 CLI debugging tool☆38Updated 7 months ago
- Command line tool to send EIP-1559 transactions to Ethereum clients.☆19Updated 3 years ago
- ☆10Updated 3 years ago
- EVM interpreter compatible with the evm2wasm interface☆46Updated 3 years ago
- Proof of concept of an Eth2 secret shared validator node☆15Updated 3 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 3 years ago
- iden3 documentation☆14Updated last year
- Construct a Merkle Tree database from Ethereum logs.☆65Updated 3 months ago
- Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony☆15Updated 2 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆13Updated 4 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- Celestia Specifications☆50Updated 3 years ago