pluto/edge 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

pluto/edge

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/pluto/edge)

Close

pluto / edgeView on GitHubMore

• External links
• Readme badge

client side proving

☆39Mar 12, 2025Updated 11 months ago

Alternatives and similar repositories for edge

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

• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Feb 20, 2026Updated last week
• shuklaayush / zed-noir

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

  View on GitHub
  Client side zero-knowledge proving.
  ☆101Updated this week
• pluto / web-prover

  View on GitHub
  Pluto Web Prover 🦀
  ☆39Mar 18, 2025Updated 11 months ago
• nemi-fi / mezcal

  View on GitHub
  Cutting edge on-chain dark pool
  ☆20Sep 26, 2025Updated 5 months ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 10 months ago
• banyancomputer / hot-proofs-blake3-circom

  View on GitHub
  banyan's hot on-chain data storage zk proofs
  ☆14May 22, 2025Updated 9 months 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
• TaceoLabs / co-snarks

  View on GitHub
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆212Feb 20, 2026Updated last week
• zkemail / noir-jwt

  View on GitHub
  Noir library to verify JWT tokens, and prove claims.
  ☆32Dec 4, 2025Updated 2 months ago
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• TaceoLabs / noir-poseidon

  View on GitHub
  ☆18Feb 16, 2026Updated last week
• dmpierre / ark-superspartan

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

  View on GitHub
  ZKPassport circuits for generating passport and national ID zero-knowledge identity proofs
  ☆82Updated this week
• philsippl / circom-witness-rs

  View on GitHub
  ☆63Feb 10, 2026Updated 2 weeks ago
• vacekj / air-fried-gyatt

  View on GitHub
  Breathe air
  ☆25May 19, 2024Updated last year
• horsefacts / huff-test

  View on GitHub
  Better assertion macros for pure Huff tests.
  ☆19Oct 2, 2023Updated 2 years ago
• iden3 / circom-witnesscalc

  View on GitHub
  ☆21Feb 19, 2026Updated last week
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆29May 30, 2025Updated 8 months ago
• zkemail / zkemail.nr

  View on GitHub
  ZK Email in Noir
  ☆83Feb 12, 2026Updated 2 weeks ago
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Feb 12, 2026Updated 2 weeks ago
• flashbots / suave-andromeda-revm

  View on GitHub
  Andromeda revm execution service
  ☆32Jul 25, 2024Updated last year
• zkpassport / noir_rs

  View on GitHub
  Rust crate to generate and verify proofs for Noir circuits
  ☆27Feb 18, 2026Updated last week
• MachinaIO / diamond-io

  View on GitHub
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆91Sep 19, 2025Updated 5 months ago
• richardliang / noir-rsa

  View on GitHub
  Noir implementation of RSA-verify
  ☆44Dec 20, 2023Updated 2 years ago
• Rate-Limiting-Nullifier / noir-rln

  View on GitHub
  RLN circuits in Noir
  ☆13Nov 18, 2023Updated 2 years ago
• Autoparallel / mathematics_for_physicists_and_chemists

  View on GitHub
  A textbook centered around teaching mathematics to physicists and chemists
  ☆12Feb 10, 2022Updated 4 years ago
• noir-lang / acvm

  View on GitHub
  ☆49Sep 20, 2023Updated 2 years ago
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆21Feb 18, 2026Updated last week
• ethereum-optimism / tests

  View on GitHub
  Standard Tests for OP Stack Component Implementations.
  ☆18Nov 11, 2024Updated last year
• asm-nop / lemma

  View on GitHub
  ZK Theorem Proving
  ☆10Aug 11, 2024Updated last year
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated last year
• geometryxyz / wgsl-poseidon

  View on GitHub
  ☆33Sep 9, 2023Updated 2 years ago
• pluto / ronkathon

  View on GitHub
  Cryptography Educational Foundations
  ☆339Nov 24, 2025Updated 3 months ago
• laudiacay / barustenberg

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

  View on GitHub
  Port of Circom Sparse Merkle Tree verifier to Noir.
  ☆14Jan 26, 2024Updated 2 years ago