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:
- Threshold Signatures with Silent Setup☆13Apr 12, 2023Updated 3 years ago
- Decree Fiat Shamir Library☆13Aug 12, 2026Updated 2 months ago
- A basic implementation of Yao's Garbled Circuits☆30Apr 18, 2022Updated 4 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Simple implementation of KZG commitments in C☆14Nov 19, 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.
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 6 months ago
- ☆27Apr 23, 2026Updated 6 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Jan 20, 2023Updated 3 years ago
- Zero Knowledge Proof for Schnorr☆14Mar 7, 2025Updated last year
- ☆18Jul 11, 2025Updated last year
- Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"☆12Feb 8, 2024Updated 2 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆16Mar 3, 2024Updated 2 years 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
- ☆15Nov 22, 2025Updated 11 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.
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆21Oct 28, 2024Updated 2 years ago
- ☆74Sep 29, 2022Updated 4 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- ☆34Jul 14, 2026Updated 3 months ago
- ☆106Updated this week
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 3 years ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- Python wrapper around arkwork's implementation of bls12-381☆10Jun 23, 2026Updated 4 months ago
- A package for accurately computing running (online) mean, variance, and standard deviation in golang☆11Oct 16, 2022Updated 4 years 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.
- ☆10Jun 29, 2022Updated 4 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago
- Wasm interpreter in Rust☆10Jul 1, 2024Updated 2 years ago
- A monorepo of InterRep JavaScript libraries.☆11Mar 3, 2023Updated 3 years ago
- ☆20Updated this week
- ☆10Jan 7, 2024Updated 2 years ago
- C++ library for evaluating arithmetic circuits on batches of inputs☆15Aug 18, 2016Updated 10 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆37Oct 18, 2024Updated 2 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated 2 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.
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 9 years ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆17Updated this week
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 3 years ago
- An implementation of a post quantum anonymous credential scheme☆17Dec 18, 2024Updated last year
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆19Jan 24, 2021Updated 5 years ago
- Code for "Efficient Proofs of Possession for Legacy Signatures", by Woo et al., IEEE S&P 2025☆16May 6, 2025Updated last year