Alternatives and similar repositories for synedrion:

Users that are interested in synedrion are comparing it to the libraries listed below

• crate-crypto / rust-verkle
  ☆123Updated 6 months ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆93Updated this week
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆120Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆48Updated 2 weeks ago
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆79Updated last year
• w3f / apk-proofs
  ☆56Updated last year
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆102Updated this week
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆39Updated last year
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated 2 years ago
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆63Updated this week
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆51Updated last month
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆101Updated last week
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆65Updated this week
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆137Updated 4 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆54Updated 3 weeks ago
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆93Updated 2 years ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆68Updated 2 months ago
• privacy-scaling-explorations / halo2wrong
  ☆119Updated 5 months ago
• vacp2p / zerokit
  A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
  ☆135Updated this week
• EspressoSystems / HotShot
  ☆142Updated 2 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆83Updated 2 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 10 months ago
• 0xPolygonZero / zk_evm
  ☆93Updated this week
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated 2 years ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆84Updated 3 weeks ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆109Updated this week
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆42Updated last year
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆79Updated 3 years ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆50Updated 5 months ago