runtimeverification / beacon-chain-specLinks
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
Sorting:
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆25Updated 10 months ago
- 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
- Eth2 CLI debugging tool☆37Updated 3 months ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated 2 years ago
- Pairing-friendly elliptic curve library☆24Updated 9 months ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Security Audits by Informal Systems☆17Updated 3 weeks ago
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- An EVM interpreter (wip)☆12Updated 3 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆19Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Updated 4 years ago
- AZTEC protocol trusted setup MPC☆32Updated 11 months ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- ☆3Updated 10 months ago
- Execution environment for managing shard ether☆25Updated 5 years ago
- A toolkit to compile and debug circom circuit.☆28Updated last year
- Smart contracts for OPRHub protocol ✌🏻☆13Updated 4 years ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Updated 5 years ago
- Eth2.0 spec in Dafny☆78Updated 11 months ago
- Elliptic curve search experiments☆35Updated 2 years ago
- ☆19Updated 2 years ago
- iden3 documentation☆14Updated last year
- A Solidity implementation of a VDF verifier contract☆16Updated 2 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- AZTEC protocol specification☆31Updated 5 years ago
- Minimalist optimistic rollup tech☆13Updated 3 years ago