runtimeverification / beacon-chain-spec
Formalization of the Beacon Chain Phase 0 Specification in K
☆20Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for beacon-chain-spec
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Security Audits by Informal Systems☆15Updated 7 months ago
- EVM performance tests for a range of clients☆24Updated 4 years ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆23Updated 4 months ago
- vmstats☆29Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆14Updated 3 years ago
- AZTEC protocol specification☆31Updated 4 years ago
- Eth2 CLI debugging tool☆37Updated 9 months ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 2 years ago
- Eth2.0 spec in Dafny☆72Updated 5 months ago
- iden3 documentation☆13Updated 10 months ago
- [Optimism] State Dumps & Regenesis Automation☆12Updated 3 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- Lido Improvement Proposals 💋☆26Updated 3 weeks ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- An EVM interpreter (wip)☆12Updated 3 years ago
- Minimalist optimistic rollup tech☆13Updated 3 years ago
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆24Updated 8 months ago
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- Comparison of the different LMD-GHOST implementations☆37Updated 5 years ago
- A collection of videos, reading materials and tools for learning all about the ZK side of crypto.☆19Updated 6 years ago
- ☆34Updated 4 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Updated last year
- Repository to verify contributions to the AZTEC Ignition ceremony☆13Updated last year
- Token for accruing protocol revenues☆16Updated 2 years ago
- This is the source code for https://clientdiversity.org, a resource site to assist client diversity efforts.☆22Updated this week
- 🐹☆18Updated last year