Alternatives and similar repositories for synedrion

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

• w3f / apk-proofs
  ☆56Updated last year
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆79Updated last year
• crate-crypto / rust-verkle
  ☆123Updated 7 months ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆97Updated last week
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆93Updated 2 years ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆103Updated 3 weeks ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆81Updated last year
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆64Updated this week
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆120Updated last year
• arnaucube / poseidon-rs
  Poseidon hash function
  ☆75Updated 2 years ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆52Updated 3 weeks ago
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆137Updated this week
• 0xPolygonZero / zk_evm
  ☆94Updated last month
• risc0 / demos
  ☆59Updated 6 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆83Updated 3 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆60Updated last year
• 0xMiden / air-script
  A domain-specific language for writing AIR constraints for STARKs
  ☆84Updated 2 weeks ago
• privacy-scaling-explorations / halo2wrong
  ☆119Updated 6 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 11 months ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated 2 years ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆95Updated this week
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated 2 years ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆119Updated this week
• 0xMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆112Updated last week
• caulk-crypto / caulk
  ☆112Updated last year
• 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
  ☆52Updated last month
• 0xMiden / miden-base
  Core components of the Miden protocol
  ☆79Updated this week
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆64Updated 8 months ago
• axiom-crypto / axiom-eth
  ☆94Updated 9 months ago