Alternatives and similar repositories for derecho

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

• vicsn / witness-encryption-functional-commitment

  View on GitHub
  Based on https://eprint.iacr.org/2022/1510
  ☆26Oct 20, 2024Updated last year
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• kobigurk / legogro16

  View on GitHub
  LegoGroth16 implementation on top of Zexe
  ☆25Dec 3, 2021Updated 4 years ago
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated last year
• paritytech / ring-proof

  View on GitHub
  ring-vrf ring proof v2.5
  ☆20Jan 28, 2026Updated 2 weeks ago
• nikkolasg / snarkpack

  View on GitHub
  snarkpack for arkwork
  ☆21Jun 11, 2023Updated 2 years ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated last year
• SabaEskandarian / PunchCard

  View on GitHub
  A privacy-preserving digital version of punch cards used in store loyalty programs
  ☆11Apr 19, 2021Updated 4 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• celo-org / plumo-prover

  View on GitHub
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Jan 4, 2022Updated 4 years ago
• guberti / witness-encryption-demos

  View on GitHub
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆36Jan 12, 2022Updated 4 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• nalinbhardwaj / eddy255

  View on GitHub
  Eddy255 elliptic curve parameters and implementation (embedding Ed25519)
  ☆12Feb 18, 2023Updated 2 years ago
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• wborgeaud / ecfft-bn254

  View on GitHub
  ECFFT in Rust
  ☆58Oct 3, 2023Updated 2 years ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• miha-stopar / crypto-notes

  View on GitHub
  Notes on cryptographic schemes and attacks
  ☆25Dec 13, 2018Updated 7 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• interlay / compressed-inclusion-proofs

  View on GitHub
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Jan 24, 2023Updated 3 years ago
• ZenGo-X / zengo-will

  View on GitHub
  ☆15May 27, 2021Updated 4 years ago
• Pratyush / algebra-intro

  View on GitHub
  ☆42Oct 19, 2021Updated 4 years ago
• hero78119 / risc0-nova

  View on GitHub
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Jun 27, 2023Updated 2 years ago
• kobigurk / cpsnarks-set

  View on GitHub
  Rust library for efficient, succinct and modular set membership and non-membership proofs
  ☆58Mar 19, 2021Updated 4 years ago
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• weijiekoh / poseidon-encryption-circom

  View on GitHub
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆13Jul 12, 2023Updated 2 years ago
• lovesh / coconut-rust

  View on GitHub
  Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
  ☆14Jan 16, 2020Updated 6 years ago
• zooko / hash-function-survey

  View on GitHub
  a web page / paper
  ☆18Feb 24, 2017Updated 8 years ago
• Cosmian / abe_gpsw

  View on GitHub
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆16May 23, 2023Updated 2 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• anemoi-hash / anemoi-hash

  View on GitHub
  Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
  ☆14Jul 9, 2023Updated 2 years ago
• guruvamsi-policharla / zksaas

  View on GitHub
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆28Nov 7, 2023Updated 2 years ago
• arielgabizon / Lectures

  View on GitHub
  ☆28Jan 12, 2026Updated last month
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• ZenGo-X / vdf

  View on GitHub
  Simple RSA VDF in Rust
  ☆21Apr 13, 2021Updated 4 years ago
• randombit / wycheproof-rs

  View on GitHub
  Wycheproof for Rust
  ☆20Sep 3, 2025Updated 5 months ago
• AztecProtocol / plonk-with-lookups

  View on GitHub
  ☆19May 5, 2020Updated 5 years ago