A portable library for proving & verifying ethereum's sync committee consensus proofs.
☆29Nov 10, 2023Updated 2 years ago
Alternatives and similar repositories for sync-committee-rs
Users that are interested in sync-committee-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆51Mar 7, 2024Updated 2 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- A curated list of awesome things related to learning Binius☆16Jan 9, 2025Updated last year
- 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.
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Dec 13, 2023Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Oct 16, 2023Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- ☆12Sep 11, 2024Updated last year
- Implementation of the ERC6160 token standard☆13Sep 13, 2024Updated last year
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Arkworks extensions enabling customizable hooks for EC operations☆50Mar 16, 2026Updated last week
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆58Dec 21, 2025Updated 3 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- A Rust library for creating solvers in the OP Stack's dispute protocol☆19Jan 15, 2024Updated 2 years ago
- ☆33Mar 27, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆21May 9, 2023Updated 2 years ago
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆16Jan 27, 2025Updated last year
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 2 years ago
- ☆95Aug 19, 2024Updated last year
- A single-asset DAI vault that earns profit through depositing funds into the Curve 3pool.☆10Jan 9, 2022Updated 4 years ago
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 7 months ago
- Limits asset outflows from contracts within customisable timeframes☆11May 7, 2022Updated 3 years ago
- Poseidon hash circuit☆107Oct 30, 2024Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees☆194Dec 23, 2025Updated 3 months ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 8 months ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- ☆20May 31, 2024Updated last year
- ☆31Nov 22, 2022Updated 3 years ago
- ABCDE Internal POC: Parallel go-ethereum☆29Dec 15, 2023Updated 2 years ago
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated 7 months ago