ralexstokes / deposit-verifier
A smart contract to enhance the user experience of the `eth2` deposit contract.
☆25Updated 9 months ago
Alternatives and similar repositories for deposit-verifier:
Users that are interested in deposit-verifier are comparing it to the libraries listed below
- Eth2 CLI debugging tool☆37Updated 2 months ago
- Typed mutable SSZ views over cached and immutable binary merkle trees☆23Updated 9 months ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- BLS threshold signature verification in Solidity☆19Updated 6 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 4 years ago
- AZTEC protocol trusted setup MPC☆32Updated 10 months ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Draft of SSZ specs repo☆16Updated 4 years ago
- ☆52Updated 3 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated 2 years ago
- Optimized version of the eth2spec python module.☆11Updated 4 years ago
- ☆22Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆17Updated 3 years ago
- ☆28Updated 2 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Tricking frontrunners into doing good☆42Updated 2 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆38Updated last year
- Send and download blobs on the proto-danksharding net☆32Updated 9 months ago
- ☆19Updated 2 years ago
- Solidity implementation of the baby jubjub curve☆22Updated 11 months ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Solidity error logging☆23Updated 3 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Smart contracts for OPRHub protocol ✌🏻☆13Updated 4 years ago
- Vyper version manager☆25Updated 2 months ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- ☆39Updated 2 years ago