A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
☆13May 1, 2025Updated last year
Alternatives and similar repositories for groth-sahai-rs
Users that are interested in groth-sahai-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated 2 years ago
- A basic implementation of Yao's Garbled Circuits☆30Apr 18, 2022Updated 4 years ago
- Simple implementation of KZG commitments in C☆14Nov 19, 2022Updated 3 years ago
- ☆26Apr 23, 2026Updated 3 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆12Nov 11, 2022Updated 3 years ago
- Zero Knowledge Proof for Schnorr☆14Mar 7, 2025Updated last year
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆94Jan 20, 2023Updated 3 years ago
- ☆15Nov 22, 2025Updated 8 months ago
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆21Oct 28, 2024Updated last year
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- ☆105Updated this week
- ☆34Jul 14, 2026Updated 2 weeks ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 3 years ago
- ☆19May 27, 2026Updated 2 months ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- ☆10Jun 29, 2022Updated 4 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago
- An implementation of a post quantum anonymous credential scheme☆16Dec 18, 2024Updated last year
- lattice-based zkSNARKs over libsnark [ISW21]☆37Oct 18, 2024Updated last year
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- ☆74Sep 29, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A package for accurately computing running (online) mean, variance, and standard deviation in golang☆11Oct 16, 2022Updated 3 years ago
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- A monorepo of InterRep JavaScript libraries.☆11Mar 3, 2023Updated 3 years ago
- PVSS & Scrape in rust☆11Jul 14, 2026Updated 2 weeks ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 3 years ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Aug 18, 2016Updated 9 years ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆42Mar 8, 2023Updated 3 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Wasm interpreter in Rust☆10Jul 1, 2024Updated 2 years ago
- ☆11Jun 22, 2026Updated last month
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆17Jul 13, 2026Updated 2 weeks ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 3 years ago
- ethproofs monorepo☆21Feb 12, 2026Updated 5 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Implementation of the Jubjub elliptic curve group☆122Feb 25, 2026Updated 5 months ago