A smart contract implementation of the Ethereum light client sync protocol
☆69Sep 14, 2026Updated 3 weeks ago
Alternatives and similar repositories for DendrETH
Users that are interested in DendrETH are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Batch ECDSA in circom☆35Jul 20, 2022Updated 4 years ago
- A maker of merkle-proofs for transaction receipts in ethereum using rust.☆15Sep 10, 2021Updated 5 years ago
- Some of Our Audit Reports, Presentations, etc☆13Mar 26, 2024Updated 2 years ago
- Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.☆13Jan 6, 2023Updated 3 years ago
- ☆12Mar 22, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An implementation of Sangria☆17Jun 1, 2023Updated 3 years ago
- Verify blockchain data presented at popular websites using Light Client technology☆11Nov 24, 2024Updated last year
- zk-Snarks circuit for franchise proof☆13Oct 2, 2026Updated last week
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 5 years ago
- ☆32Oct 27, 2025Updated 11 months ago
- Run a Distributed Validator Cluster locally using docker-compose☆23Updated this week
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 3 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 3 years ago
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆28Dec 8, 2021Updated 4 years ago
- ☆46Oct 9, 2023Updated 3 years ago
- ☆103Nov 16, 2022Updated 3 years ago
- ☆10Sep 15, 2023Updated 3 years ago
- ☆45May 7, 2025Updated last year
- ☆43Oct 13, 2023Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 3 years ago
- ☆13Jul 29, 2023Updated 3 years ago
- Zero-Knowledge dApp Boilerplate☆24Mar 8, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- prove eth_call result☆15Mar 25, 2024Updated 2 years ago
- ☆33Sep 22, 2023Updated 3 years ago
- A PoC repo for a HyperNova impl☆83Aug 23, 2023Updated 3 years ago
- Ethereum Distributed Validator Specifications☆89Oct 13, 2022Updated 3 years ago
- Library and gadget to do regex string matches in halo2☆37Jul 25, 2024Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆115Aug 2, 2022Updated 4 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12Jun 5, 2025Updated last year
- Open-Source Libraries for Circom by ABDK Consulting☆19Dec 22, 2019Updated 6 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Oct 3, 2024Updated 2 years ago
- wipppp☆18May 15, 2022Updated 4 years ago
- ☆39Jan 8, 2024Updated 2 years ago
- Draft of SSZ specs repo☆16Jun 16, 2020Updated 6 years ago