A toolchain for interaction with the Proof Market protocol.
☆23Jan 5, 2024Updated 2 years ago
Alternatives and similar repositories for proof-market-toolchain
Users that are interested in proof-market-toolchain are comparing it to the libraries listed below
Sorting:
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Apr 25, 2025Updated 10 months ago
- Zero-Knowledge Proof Systems Circuit Compiler☆328Jan 23, 2025Updated last year
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Nov 6, 2025Updated 4 months ago
- ☆14Feb 7, 2023Updated 3 years ago
- ☆16Feb 15, 2024Updated 2 years ago
- ☆17Mar 18, 2023Updated 2 years ago
- Zero-knowledge Proof-of-reserves using Pedersen Commitments and zkSNARKs☆18Apr 5, 2022Updated 3 years ago
- ☆19Jun 6, 2025Updated 9 months ago
- ☆17Jul 14, 2023Updated 2 years ago
- Elliptic curve accumulator☆19Jun 25, 2024Updated last year
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 5 months ago
- Cryptography In Rust For Hackers☆21Feb 28, 2026Updated last week
- Zero-Knowledge dApp Boilerplate☆24Mar 8, 2023Updated 3 years ago
- ☆28Oct 31, 2025Updated 4 months ago
- Modern Cryptography Suite in C++17☆86Oct 14, 2024Updated last year
- CosmWasm contracts for Nois☆22Jul 9, 2024Updated last year
- A ZKP-augmented fork of the OpenFHE library☆25Jul 6, 2024Updated last year
- Template repository for zkLLVM-based projects☆19Mar 13, 2024Updated last year
- ☆21Mar 3, 2022Updated 4 years ago
- Index Solana data using a Geyser plugin (plugin component)☆24Jan 12, 2023Updated 3 years ago
- Write Succinct Proofs for Graphs easily☆27Dec 20, 2023Updated 2 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- ☆30Updated this week
- ☆27Jan 18, 2021Updated 5 years ago
- Batch ECDSA in circom☆35Jul 20, 2022Updated 3 years ago
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆33Jul 29, 2024Updated last year
- A curated list of resources on zkECDSA☆35Aug 1, 2023Updated 2 years ago
- ☆41Apr 23, 2025Updated 10 months ago
- In-EVM Mina State Verification☆81Nov 10, 2023Updated 2 years ago
- ZKsync fork of the LLVM framework (EraVM).☆36Dec 18, 2025Updated 2 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆86Apr 20, 2023Updated 2 years ago
- Rust implementation for zcash/pasta☆84Feb 25, 2026Updated last week
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- A set of tools to use Ring Signatures everywhere☆21Mar 30, 2025Updated 11 months ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- A pure Rust PLONK implementation using arkworks as a backend.☆314Sep 18, 2023Updated 2 years ago
- ☆46Oct 9, 2023Updated 2 years ago