A Noir's backend implementation using Gnark
☆36Mar 8, 2024Updated 2 years ago
Alternatives and similar repositories for noir_backend_using_gnark
Users that are interested in noir_backend_using_gnark are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆41Aug 31, 2023Updated 3 years ago
- Early prototype.☆23Mar 30, 2023Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- barretenburg in rust (here we go)☆99Jan 10, 2024Updated 2 years ago
- ☆33Sep 9, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 3 years ago
- Honk Verifier in Solidity☆50Feb 21, 2026Updated 8 months ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Sep 20, 2024Updated 2 years ago
- ☆11Nov 23, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- ☆49Sep 20, 2023Updated 3 years ago
- Cairo bytecode compiler☆10Nov 22, 2022Updated 3 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 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.
- A collection of technical notes from the Geometry research team.☆46Apr 17, 2023Updated 3 years ago
- ☆19May 11, 2022Updated 4 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- ☆108Aug 6, 2024Updated 2 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Base64 encoding for Aztec's noir language☆16Jan 3, 2024Updated 2 years ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆34Dec 19, 2024Updated last year
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 3 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆63May 22, 2023Updated 3 years ago
- ☆30Feb 1, 2023Updated 3 years ago
- A minimal example of recursion in Noir.☆11Oct 21, 2023Updated 3 years ago
- Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg☆191Updated this week
- Convert your Felt into a String☆11Jul 14, 2025Updated last year
- Noir support for Zed☆12Mar 23, 2026Updated 7 months ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆125Feb 25, 2023Updated 3 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.
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Apr 19, 2024Updated 2 years ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated 2 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- client side proving☆40Mar 12, 2025Updated last year
- ☆52Mar 7, 2024Updated 2 years ago
- Extracting the semantics of Noir to Lean for E2E formal verification of circuits☆43Oct 21, 2026Updated last week
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 3 years ago