A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
☆14May 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 2 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆34Jun 23, 2026Updated 2 weeks ago
- ☆12Nov 11, 2022Updated 3 years ago
- ☆15Nov 22, 2025Updated 7 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆94Jan 20, 2023Updated 3 years ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆23May 5, 2026Updated 2 months ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Apr 16, 2026Updated 2 months ago
- 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
- Zero Knowledge Proof for Schnorr☆13Mar 7, 2025Updated last year
- ☆105Jun 26, 2026Updated last week
- 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.
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 3 years ago
- ☆19May 27, 2026Updated last month
- 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
- lattice-based zkSNARKs over libsnark [ISW21]☆37Oct 18, 2024Updated last year
- An implementation of a post quantum anonymous credential scheme☆16Dec 18, 2024Updated last year
- [RFC9380] Hash to curves - Go reference implementation☆21Nov 20, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆73Sep 29, 2022Updated 3 years ago
- ☆25Feb 19, 2026Updated 4 months ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 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
- A package for accurately computing running (online) mean, variance, and standard deviation in golang☆11Oct 16, 2022Updated 3 years ago
- PVSS & Scrape in rust☆11Jun 13, 2026Updated 3 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
- 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.
- ☆10Jun 22, 2026Updated 2 weeks ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Aug 18, 2016Updated 9 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated 2 years ago
- s-expression parser for javascript☆17Apr 29, 2017Updated 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
- Wasm interpreter in Rust☆10Jul 1, 2024Updated 2 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 3 years ago