metacraft-labs / DendrETHLinks
A smart contract implementation of the Ethereum light client sync protocol
☆59Updated this week
Alternatives and similar repositories for DendrETH
Users that are interested in DendrETH are comparing it to the libraries listed below
Sorting:
- ☆42Updated last year
- ☆68Updated 11 months ago
- ☆102Updated 2 years ago
- Poseidon hash function implemented in Solidity☆50Updated 10 months ago
- ☆93Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- Smart contracts for onchain verification of SP1.☆98Updated last week
- PoC of Revm execution in SGX☆80Updated last year
- Email verification circuit in halo2☆68Updated 11 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆83Updated last year
- ☆94Updated 10 months ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 10 months ago
- A minimal based rollup implementation that is easy to understand and extend☆39Updated this week
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Updated 8 months ago
- Provides tools for testing circom circuits.☆61Updated 2 weeks ago
- Smart contracts for the Telepathy protocol☆77Updated last year
- Cross chain shielded pool infrastructure / protocols.☆36Updated 10 months ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- ☆55Updated last year
- Ethereum Testnet Testing Tool☆60Updated this week
- On-chain Ethereum light client built with SP1☆57Updated 2 weeks ago
- ☆25Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- RISC-V interactive fault proof tech☆103Updated last month
- A minimal KZG polynominal commitment library with a Solidity verifier☆71Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- barretenburg in rust (here we go)☆98Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year