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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• noir-lang / acvm-backend-barretenberg

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

  View on GitHub
  Noir support for Zed
  ☆11May 3, 2024Updated last year
• noir-lang / noirup

  View on GitHub
  Installation tooling for Noir
  ☆33Feb 14, 2026Updated last month
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated 2 years ago
• dmpierre / ark-superspartan

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

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated last year
• trianglesphere / rnode

  View on GitHub
  ☆21May 9, 2023Updated 2 years ago
• AztecProtocol / barretenberg

  View on GitHub
  Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg
  ☆194Feb 25, 2026Updated 3 weeks ago
• clabby / op-reth

  View on GitHub
  ☆18Mar 8, 2023Updated 3 years ago
• Maddiaa0 / honk-verifier

  View on GitHub
  Honk Verifier in Solidity
  ☆50Feb 21, 2026Updated last month
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• 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
• laudiacay / barustenberg

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

  View on GitHub
  Noir is a domain specific language for zero knowledge proofs
  ☆1,322Updated this week
• AztecProtocol / aztec-verifier-contracts

  View on GitHub
  ☆27May 12, 2023Updated 2 years ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated 2 years ago
• Philogy / evm-glue

  View on GitHub
  ☆84Feb 2, 2025Updated last year
• 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
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 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
• dan-aztec / aztec-lwe-auction

  View on GitHub
  ☆11Nov 23, 2023Updated 2 years ago
• Janmajayamall / tfhe-research

  View on GitHub
  ☆13Nov 10, 2023Updated 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
• colinnielsen / dark-safe

  View on GitHub
  Like Safe... but secret 🥷🏽
  ☆63Jan 8, 2025Updated last year
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• zama-ai / verifiable-fhe-paper

  View on GitHub
  Verifiable FHE prototype
  ☆27Aug 12, 2024Updated last year
• arnaucube / poseidon-rs

  View on GitHub
  Poseidon hash function
  ☆79May 11, 2023Updated 2 years ago
• sampritipanda / msm-webgpu

  View on GitHub
  ☆19Dec 19, 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
• ingonyama-zk / fast-danksharding

  View on GitHub
  Danksharding Builder with GPU acceleration
  ☆52Sep 10, 2023Updated 2 years ago
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 3 years ago
• ZeroSync / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆17May 4, 2023Updated 2 years ago
• vlayer-xyz / noir-base64

  View on GitHub
  Base64 encoding for Aztec's noir language
  ☆16Jan 3, 2024Updated 2 years ago
• axiom-crypto / axiom-v1-contracts

  View on GitHub
  Axiom smart contracts
  ☆26Jul 17, 2023Updated 2 years ago
• privacy-ethereum / nova-ml

  View on GitHub
  ☆24Feb 20, 2026Updated last month
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• ncitron / optimizer-block-builder

  View on GitHub
  ☆18Oct 13, 2022Updated 3 years ago
• thor314 / pebble-stark

  View on GitHub
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Oct 29, 2024Updated last year
• refcell / archon

  View on GitHub
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆94Aug 12, 2023Updated 2 years ago