Alternatives and similar repositories for synedrion:

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

• crate-crypto / rust-verkle
  ☆120Updated 3 months ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated last year
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆78Updated 10 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆67Updated 7 months ago
• axiom-crypto / axiom-eth
  ☆95Updated 6 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆81Updated this week
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆47Updated 2 months ago
• w3f / apk-proofs
  ☆56Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆120Updated last year
• privacy-scaling-explorations / halo2wrong
  ☆119Updated 2 months ago
• privacy-scaling-explorations / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆111Updated last year
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆97Updated this week
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆76Updated last year
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆53Updated 5 months ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆80Updated this week
• risc0 / demos
  ☆55Updated 3 months ago
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆70Updated 3 weeks ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• succinctlabs / op-succinct
  OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
  ☆136Updated this week
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆68Updated 11 months ago
• arkworks-rs / nimue
  Fiat-Shamir for the masses.
  ☆52Updated last week
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 6 months ago
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆92Updated 2 years ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆79Updated 10 months ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆100Updated 2 weeks ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆38Updated this week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆78Updated this week
• EspressoSystems / cap
  Configurable Asset Privacy
  ☆34Updated last year
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆41Updated last year