noir-lang/acvm external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

noir-lang/acvm

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/noir-lang/acvm)

Close

noir-lang / acvmView on GitHubMore

• External links
• Readme badge

☆49Sep 20, 2023Updated 2 years ago

Alternatives and similar repositories for acvm

Users that are interested in acvm are comparing it to the libraries listed below

• noir-lang / acvm-backend-barretenberg

  View on GitHub
  ☆41Aug 31, 2023Updated 2 years ago
• noir-lang / noirup

  View on GitHub
  Installation tooling for Noir
  ☆33Feb 14, 2026Updated 2 weeks ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• AztecProtocol / barretenberg

  View on GitHub
  Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg
  ☆194Feb 25, 2026Updated last week
• shuklaayush / zed-noir

  View on GitHub
  Noir support for Zed
  ☆11May 3, 2024Updated last year
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated last year
• trianglesphere / rnode

  View on GitHub
  ☆21May 9, 2023Updated 2 years ago
• clabby / op-reth

  View on GitHub
  ☆18Mar 8, 2023Updated 2 years ago
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated 11 months ago
• Maddiaa0 / honk-verifier

  View on GitHub
  Honk Verifier in Solidity
  ☆50Feb 21, 2026Updated last week
• SorellaLabs / pade

  View on GitHub
  Macros + Primitives for PADE format
  ☆29Jul 26, 2025Updated 7 months ago
• ZeroSync / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆17May 4, 2023Updated 2 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated 2 years ago
• zama-ai / verifiable-fhe-paper

  View on GitHub
  Verifiable FHE prototype
  ☆27Aug 12, 2024Updated last year
• penumbra-zone / poseidon377

  View on GitHub
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Mar 6, 2025Updated 11 months ago
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• erhant / circom101

  View on GitHub
  Circom arithmetic circuits and concepts explained, in depth.
  ☆31May 26, 2025Updated 9 months ago
• laudiacay / barustenberg

  View on GitHub
  barretenburg in rust (here we go)
  ☆99Jan 10, 2024Updated 2 years ago
• lambdaclass / lambdaworks_stark_platinum

  View on GitHub
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆76Oct 2, 2023Updated 2 years ago
• varun-doshi / eth-binary-tree

  View on GitHub
  Rust Implementation of Ethereum Binary Tree EIP-7864
  ☆16Jul 13, 2025Updated 7 months ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 8 months ago
• Philogy / evm-glue

  View on GitHub
  ☆84Feb 2, 2025Updated last year
• orenyomtov / doves-in-the-wind-ctf-solution

  View on GitHub
  This is my solution. If you think you can further optimize it - be my guest!
  ☆22Oct 8, 2022Updated 3 years ago
• hashcloak / fhe_risc0_zkvm

  View on GitHub
  FHE in the Risc0 zkVM
  ☆25Nov 16, 2023Updated 2 years ago
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• noir-lang / noir

  View on GitHub
  Noir is a domain specific language for zero knowledge proofs
  ☆1,317Updated this week
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• lambdaclass / aleo_lambda_blockchain

  View on GitHub
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Feb 8, 2023Updated 3 years ago
• jat9292 / noir-elgamal

  View on GitHub
  A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve
  ☆11Nov 18, 2023Updated 2 years ago
• Maddiaa0 / solidity-circuits

  View on GitHub
  Write Zero Knowledge Circuits in Solidity
  ☆13Nov 30, 2023Updated 2 years ago
• noir-lang / book

  View on GitHub
  ☆17Mar 25, 2023Updated 2 years ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• evmcheb / univ2-wasm

  View on GitHub
  ☆22Sep 1, 2023Updated 2 years ago
• AztecProtocol / aztec-verifier-contracts

  View on GitHub
  ☆27May 12, 2023Updated 2 years ago
• op-rs / galadriel

  View on GitHub
  A robust, extensible OP Stack challenge agent written in pure Rust.
  ☆57Sep 1, 2023Updated 2 years ago