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