metacraft-labs / DendrETH
A smart contract implementation of the Ethereum light client sync protocol
☆57Updated this week
Alternatives and similar repositories for DendrETH:
Users that are interested in DendrETH are comparing it to the libraries listed below
- ☆65Updated 7 months ago
- ☆51Updated this week
- Smart contracts for the Telepathy protocol☆75Updated 10 months ago
- ☆102Updated 2 years ago
- Poseidon hash function implemented in Solidity☆47Updated 6 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Sidecar to Enable Rollup Extensions☆72Updated this week
- ☆86Updated last year
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year
- PoC of Revm execution in SGX☆79Updated last year
- ☆36Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆83Updated last year
- Cross-zk-rollup aggregation☆59Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- ☆24Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- Email verification circuit in halo2☆67Updated 7 months ago
- ☆41Updated 10 months ago
- Smart contracts for onchain verification of SP1.☆78Updated this week
- A Cryptographic Library for Smooth Blockchain uses☆69Updated 2 months ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆95Updated this week
- ream: an Ethereum Beam client written in Rust☆53Updated this week
- ☆131Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 5 months ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆52Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 10 months ago
- SUAVE Application Examples☆55Updated 2 months ago