ralexstokes / deposit-verifier
A smart contract to enhance the user experience of the `eth2` deposit contract.
☆25Updated 10 months ago
Alternatives and similar repositories for deposit-verifier
Users that are interested in deposit-verifier are comparing it to the libraries listed below
Sorting:
- Eth2 CLI debugging tool☆37Updated 2 months ago
- Draft of SSZ specs repo☆16Updated 4 years ago
- BLS threshold signature verification in Solidity☆19Updated 6 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- Typed mutable SSZ views over cached and immutable binary merkle trees☆23Updated 9 months ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Send and download blobs on the proto-danksharding net☆32Updated 10 months ago
- ☆28Updated 2 years ago
- AZTEC protocol trusted setup MPC☆32Updated 10 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆39Updated 2 years ago
- ☆19Updated 2 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated 2 years ago
- Vyper version manager☆25Updated 3 months ago
- Solidity error logging☆23Updated 3 years ago
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 3 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- ☆52Updated 4 years ago
- ☆32Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Smart contracts for OPRHub protocol ✌🏻☆13Updated 4 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated last year
- Solidity implementation of the baby jubjub curve☆22Updated last year
- Ethereum local test chain with block reorg on-demand☆34Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated 10 months ago
- A toolkit to compile and debug circom circuit.☆28Updated last year
- ☆36Updated 2 years ago
- Smart contract implementing fixed point math operations using structs for type checking.☆29Updated 4 years ago