polytope-labs / sync-committee-rsView external linksLinks
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
Sorting:
- ☆50Mar 7, 2024Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- 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
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- A curated list of awesome things related to learning Binius☆16Jan 9, 2025Updated last year
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- A Rust library for creating solvers in the OP Stack's dispute protocol☆19Jan 15, 2024Updated 2 years ago
- ☆21May 9, 2023Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- Arkworks extensions enabling customizable hooks for EC operations☆50Feb 4, 2026Updated last week
- A framework for SPDZ-style maliciously-secure MPC.☆57Dec 21, 2025Updated last month
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Dec 13, 2023Updated 2 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 5 months ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- ☆94Aug 19, 2024Updated last year
- ABCDE Internal POC: Parallel go-ethereum☆29Dec 15, 2023Updated 2 years ago
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- Axiom smart contracts☆26Jul 17, 2023Updated 2 years ago
- Poseidon hash circuit☆107Oct 30, 2024Updated last year
- ☆11Sep 10, 2024Updated last year
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- Limits asset outflows from contracts within customisable timeframes☆11May 7, 2022Updated 3 years ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 6 months ago
- ☆33Mar 27, 2024Updated last year
- The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees☆194Dec 23, 2025Updated last month
- A Foundry template to compile and test Fe contracts.☆14Apr 6, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- ☆12Sep 11, 2024Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- PoC of Revm execution in a Nitro Enclave☆29Sep 6, 2023Updated 2 years ago
- Smart contracts for on-chain anonymous settlement.☆124Sep 1, 2025Updated 5 months ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated last year
- ☆31Nov 22, 2022Updated 3 years ago