metacraft-labs / DendrETH
A smart contract implementation of the Ethereum light client sync protocol
☆58Updated this week
Alternatives and similar repositories for DendrETH:
Users that are interested in DendrETH are comparing it to the libraries listed below
- ☆65Updated this week
- ☆65Updated 7 months ago
- Cross-chain interop research, funded by Optimism Governance.☆53Updated 2 months ago
- Smart contracts for the Telepathy protocol☆76Updated 11 months ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆99Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆89Updated this week
- Walkthroughs to leverage Odyssey's features from the future.☆86Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆83Updated last week
- PoC of Revm execution in SGX☆79Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 10 months ago
- RISC-V interactive fault proof tech☆101Updated last month
- Bolt: permissionless proposer commitments on Ethereum☆90Updated this week
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated 2 years ago
- ☆102Updated 2 years ago
- ☆56Updated last year
- Basic Noir private proof of membership☆88Updated this week
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆58Updated 10 months ago
- ☆41Updated 10 months ago
- A based rollup template of the Taiko Alethia stack.☆24Updated this week
- Ethereum Testnet Testing Tool☆55Updated this week
- Poseidon hash function implemented in Solidity☆48Updated 6 months ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- A Noir circuit that mimics Solidity's ecrecover☆49Updated 3 months ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆97Updated 4 months ago
- ☆26Updated 9 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆74Updated 5 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Email verification circuit in halo2☆67Updated 8 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year