runtimeverification / beacon-chain-spec
Formalization of the Beacon Chain Phase 0 Specification in K
☆21Updated 2 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
- 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
- vmstats☆30Updated 3 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆19Updated 4 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- ☆19Updated 2 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- Security Audits by Informal Systems☆15Updated 3 weeks ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆27Updated last year
- formal verification of multicollateral dai in the K framework☆14Updated 3 years ago
- Eth2 CLI debugging tool☆37Updated last week
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆23Updated 6 months ago
- Minimalist optimistic rollup tech☆13Updated 3 years ago
- AZTEC protocol trusted setup MPC☆32Updated 6 months ago
- EVM interpreter compatible with the evm2wasm interface☆44Updated 2 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated last year
- A collection of videos, reading materials and tools for learning all about the ZK side of crypto.☆19Updated 6 years ago
- ☆27Updated 3 months ago
- Pairing-friendly elliptic curve library☆23Updated 5 months ago
- Eth2.0 spec in Dafny☆74Updated 6 months ago
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- ☆26Updated 2 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆15Updated last year
- iden3 documentation☆14Updated 11 months ago
- ☆32Updated 2 years ago
- [Optimism] Service Integration Tests☆12Updated 3 years ago
- ☆22Updated 2 years ago