Consensys / deposit-sc-dafnyView external linksLinks
Deposit smart contract in Dafny
☆22Sep 9, 2021Updated 4 years ago
Alternatives and similar repositories for deposit-sc-dafny
Users that are interested in deposit-sc-dafny are comparing it to the libraries listed below
Sorting:
- Eth2.0 spec in Dafny☆80Jun 24, 2024Updated last year
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 2 years ago
- Static analysis framework for EVM bytecode☆31Jan 29, 2020Updated 6 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 2 years ago
- ☆17Dec 23, 2023Updated 2 years ago
- Draft of SSZ specs repo☆16Jun 16, 2020Updated 5 years ago
- An EVM interpreter in Dafny☆135Oct 24, 2024Updated last year
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Sep 6, 2022Updated 3 years ago
- An EVM bytecode disassembler/assembler☆54Dec 20, 2024Updated last year
- ☆27Oct 29, 2021Updated 4 years ago
- EVM performance tests for a range of clients☆24Dec 27, 2019Updated 6 years ago
- zkVM benchmarking for Ethereum☆41Updated this week
- Pending transaction stream in rust☆27May 31, 2021Updated 4 years ago
- ☆66Oct 31, 2024Updated last year
- ☆34Nov 3, 2022Updated 3 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Feb 14, 2023Updated 3 years ago
- ☆41Nov 21, 2022Updated 3 years ago
- ☆39Nov 25, 2022Updated 3 years ago
- Eth2 CLI debugging tool☆37Feb 23, 2025Updated 11 months ago
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- KZG commitments over BLS12-381☆37Oct 5, 2022Updated 3 years ago
- ☆34Sep 11, 2023Updated 2 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆38Apr 11, 2025Updated 10 months ago
- Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…☆57Updated this week
- Tracing layer to quickly inspect spans and events☆40May 8, 2023Updated 2 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- A simple merkle distributor written in Cairo☆38Aug 19, 2022Updated 3 years ago
- Perform code analysis to detect potentially dangerous vulnerabilities☆13Apr 16, 2024Updated last year
- Probably Nothing☆12May 23, 2022Updated 3 years ago
- Open Source Button Choc☆10Dec 19, 2023Updated 2 years ago
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- ☆14Nov 25, 2022Updated 3 years ago
- Blind second price auction for ERC721 mints☆11Feb 7, 2023Updated 3 years ago
- tiny reusable framework for building microservices with messaging and rest☆11Dec 15, 2023Updated 2 years ago
- Site du programme Entrepreneurs d'Intérêt Général☆14Oct 6, 2022Updated 3 years ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- PoC of a hyperlane validator built on top of reth☆12Feb 9, 2025Updated last year