Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
☆16Mar 3, 2024Updated 2 years ago
Alternatives and similar repositories for gnark-lean-demo
Users that are interested in gnark-lean-demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A support library for working with zero knowledge cryptography in Lean 4.☆51May 27, 2026Updated 5 months ago
- Extracting the semantics of Noir to Lean for E2E formal verification of circuits☆43Oct 21, 2026Updated 2 weeks ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- ☆18Jul 11, 2025Updated last year
- zkSnark circuit compiler☆13Oct 21, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆16Jul 24, 2026Updated 3 months ago
- An end to end test suite for the OP Stack☆17Apr 24, 2023Updated 3 years ago
- ☆23Nov 19, 2024Updated last year
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- Yet another string library built to enable flexible manipulation☆20Feb 15, 2022Updated 4 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- Verifies Groth16 and Plonk proofs in browser.☆13Feb 20, 2026Updated 8 months ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆16Apr 18, 2023Updated 3 years ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆24Sep 3, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 3 years ago
- A scalable anonymous blocklisting scheme☆13Oct 6, 2023Updated 3 years ago
- ☆15Dec 9, 2020Updated 5 years ago
- A comprehensive transaction MPT proofs handler for Ethereum / Starknet☆12Oct 14, 2025Updated last year
- ☆15Sep 20, 2025Updated last year
- Zero Knowledge Proof for Schnorr☆14Mar 7, 2025Updated last year
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- ☆33Sep 22, 2023Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆13May 1, 2025Updated last year
- ☆15Dec 15, 2022Updated 3 years ago
- ☆13Jul 29, 2026Updated 3 months ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 3 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated last year
- Solidity Merkle Mountain Range Library☆29Dec 30, 2022Updated 3 years ago
- A simple template to generate ZK proofs with Noir on mobile using React Native☆33Jul 28, 2025Updated last year
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- 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.
- A comprehensive library for Cairo 🐺☆39Jan 27, 2026Updated 9 months ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆15Jan 26, 2024Updated 2 years ago
- The cryptography library of Lean 4☆10Apr 30, 2025Updated last year
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆28Nov 3, 2026Updated last week
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆82Dec 23, 2023Updated 2 years ago
- Base64 encoding for Aztec's noir language☆16Jan 3, 2024Updated 2 years ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
Are these results useful?