pluto/web-prover 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/web-prover

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/web-prover)

Close

pluto / web-proverView on GitHubMore

• External links
• Readme badge

Pluto Web Prover 🦀

☆39Mar 18, 2025Updated 11 months ago

Alternatives and similar repositories for web-prover

Users that are interested in web-prover are comparing it to the libraries listed below

• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 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
• zkemail / noir-jwt

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

  View on GitHub
  Cutting edge on-chain dark pool
  ☆20Sep 26, 2025Updated 5 months ago
• init4tech / builder

  View on GitHub
  🏗️ The Signet Block Builder 🧱
  ☆23Feb 20, 2026Updated last week
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Feb 19, 2026Updated last week
• MachinaIO / diamond-io

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

  View on GitHub
  Writing MACI circuits in Noir
  ☆16Oct 8, 2023Updated 2 years ago
• shuklaayush / zed-noir

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

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• cursive-team / 2P-PSI

  View on GitHub
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Apr 16, 2024Updated last year
• noir-lang / noir_bigcurve

  View on GitHub
  ☆14Feb 20, 2026Updated last week
• jat9292 / noir-elgamal

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

  View on GitHub
  FHE library
  ☆25Apr 19, 2024Updated last year
• olehmisar / nodash

  View on GitHub
  A Swiss knife for Noir
  ☆17Feb 20, 2026Updated last week
• pluto / circom-correctly-constrained

  View on GitHub
  a reference on testing and constraining circom
  ☆21Oct 2, 2024Updated last year
• noir-lang / noir_json_parser

  View on GitHub
  ☆16Feb 19, 2026Updated last week
• Janmajayamall / bfv

  View on GitHub
  ☆26Feb 25, 2024Updated 2 years ago
• vacekj / air-fried-gyatt

  View on GitHub
  Breathe air
  ☆25May 19, 2024Updated last year
• NilFoundation / zkEVM1

  View on GitHub
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Jan 3, 2024Updated 2 years ago
• warptoad / warp-toad

  View on GitHub
  Cross chain privacy
  ☆26Jan 25, 2026Updated last month
• TaceoLabs / noir-poseidon

  View on GitHub
  ☆18Feb 16, 2026Updated last week
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Feb 12, 2026Updated 2 weeks ago
• rubydusa / circom-lsp

  View on GitHub
  A Language Server Protocol Implementation for Circom
  ☆33Jun 3, 2023Updated 2 years ago
• horsefacts / huff-test

  View on GitHub
  Better assertion macros for pure Huff tests.
  ☆19Oct 2, 2023Updated 2 years ago
• DaniPopes / zevm

  View on GitHub
  Zig EVM
  ☆34Nov 22, 2025Updated 3 months ago
• zkpassport / circuits

  View on GitHub
  ZKPassport circuits for generating passport and national ID zero-knowledge identity proofs
  ☆82Updated this week
• zkpassport / noir_rs

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

  View on GitHub
  A Rust library for creating solvers in the OP Stack's dispute protocol
  ☆19Jan 15, 2024Updated 2 years ago
• pluto / caratls

  View on GitHub
  Browser-based Remote Attestation to TDX
  ☆18Feb 7, 2025Updated last year
• op-rs / galadriel

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

  View on GitHub
  Translate circomlib into gnark
  ☆20Sep 16, 2025Updated 5 months ago
• pcaversaccio / meth

  View on GitHub
  The moment you Rust, you should look for your Mojo 🔥.
  ☆21Sep 8, 2023Updated 2 years ago
• enricobottazzi / zk-fhe

  View on GitHub
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆114Mar 20, 2024Updated last year
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated last year
• succinctlabs / rsp-subblock

  View on GitHub
  ☆31May 21, 2025Updated 9 months ago
• smsunarto / cookie-clicker-rollup

  View on GitHub
  This rollup will only let you click the cookie
  ☆21Aug 7, 2023Updated 2 years ago
• devtooligan / bit-magic-huff-speedrun

  View on GitHub
  Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html
  ☆21Oct 7, 2022Updated 3 years ago