banyancomputer / hot-proofs-blake3-circomView external linksLinks
banyan's hot on-chain data storage zk proofs
☆14May 22, 2025Updated 8 months ago
Alternatives and similar repositories for hot-proofs-blake3-circom
Users that are interested in hot-proofs-blake3-circom are comparing it to the libraries listed below
Sorting:
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- A Swiss knife for Noir☆16Feb 5, 2026Updated last week
- Cutting edge on-chain dark pool☆19Sep 26, 2025Updated 4 months ago
- Pluto Web Prover 🦀☆39Mar 18, 2025Updated 10 months ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- Translate circomlib into gnark☆20Sep 16, 2025Updated 4 months ago
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆27Updated this week
- ZK Circuit Fuzzer (IEEE S&P'26)☆37Nov 19, 2025Updated 2 months ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Aug 24, 2023Updated 2 years ago
- ☆14Feb 6, 2026Updated last week
- Sources of the tusistor TUI app and the rusistor lib.☆13Dec 29, 2025Updated last month
- Noir support for Zed☆11May 3, 2024Updated last year
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 7 months ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆20Updated this week
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 5 months ago
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Nov 18, 2023Updated 2 years ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆11Jan 21, 2026Updated 3 weeks ago
- Verify JWTs using SNARK circuits☆29Jul 15, 2024Updated last year
- A Language Server Protocol Implementation for Circom☆33Jun 3, 2023Updated 2 years ago
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 2 months ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Mar 3, 2024Updated last year
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated 11 months ago
- Circom circuits library for magnificent ZK applications☆14Jun 4, 2025Updated 8 months ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Jan 26, 2024Updated 2 years ago
- ☆15Jul 11, 2025Updated 7 months ago
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- Crescent adds privacy to existing credentials with zero-knowledge☆44Sep 4, 2025Updated 5 months ago
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated 10 months ago
- Cross chain privacy☆26Jan 25, 2026Updated 2 weeks ago
- An implementation of the Austral language compiler in Rust☆15Apr 25, 2024Updated last year
- A universal, trust-minimized intent settlement protocol.☆17Feb 7, 2026Updated last week
- A monorepo of reusable contracts for zero-knowledge technologies.☆19Jun 12, 2025Updated 8 months ago