jdwhite48 / groth-sahai-rsView external linksLinks
A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system
☆14May 1, 2025Updated 9 months ago
Alternatives and similar repositories for groth-sahai-rs
Users that are interested in groth-sahai-rs are comparing it to the libraries listed below
Sorting:
- Decree Fiat Shamir Library☆11Mar 27, 2024Updated last year
- ☆32Feb 4, 2026Updated 2 weeks ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- ☆15Nov 22, 2025Updated 2 months ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆20Feb 11, 2026Updated last week
- A basic implementation of Yao's Garbled Circuits☆30Apr 18, 2022Updated 3 years ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Oct 31, 2025Updated 3 months ago
- ☆16Dec 2, 2025Updated 2 months ago
- Zero Knowledge Proof for Schnorr☆13Mar 7, 2025Updated 11 months ago
- Simple implementation of KZG commitments in C☆13Nov 19, 2022Updated 3 years ago
- A monorepo for vOPRF-based secure nullifiers☆22Apr 13, 2025Updated 10 months ago
- ☆21Feb 9, 2026Updated last week
- Browser-based Remote Attestation to TDX☆18Feb 7, 2025Updated last year
- ☆24Jul 24, 2025Updated 6 months ago
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated last year
- ☆28Oct 31, 2025Updated 3 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Jan 20, 2023Updated 3 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- ☆105Aug 25, 2025Updated 5 months ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Feb 5, 2024Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- oZKS (Ordered Zero-Knowledge Set) is a library that provides an implementation of an Ordered (and Append Only) Zero-Knowledge Set.☆28Oct 10, 2025Updated 4 months ago
- Golang implementation of Monotone Span Programs☆23May 6, 2016Updated 9 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- Template repository for a CG proposal or work item.☆16Aug 30, 2024Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Circom AES-GCM circuits☆35Updated this week
- ethereum zk coin-mixer☆27Jan 24, 2023Updated 3 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆28Mar 10, 2024Updated last year
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 2 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Jan 27, 2025Updated last year
- Implementation of the Jubjub elliptic curve group☆122Aug 16, 2024Updated last year
- Solves systems of polynomial equations.☆30Sep 12, 2025Updated 5 months ago
- Smart contract implementing fixed point math operations using structs for type checking.☆31Sep 17, 2020Updated 5 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Nov 20, 2021Updated 4 years ago
- Know if a call is from an EOA no matter what☆33Jun 25, 2021Updated 4 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42May 29, 2021Updated 4 years ago
- ☆10Jun 29, 2022Updated 3 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 5 months ago