NilFoundation / proof-market-toolchainLinks
A toolchain for interaction with the Proof Market protocol.
☆23Updated last year
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:
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- ☆16Updated 10 months ago
- ☆49Updated 2 years ago
- ☆21Updated last year
- An observatory fork of SP1☆75Updated 7 months ago
- Cryptography libraries for ZKsync☆35Updated 3 weeks ago
- FHE in the Risc0 zkVM☆25Updated last year
- Foundry project for the RLN☆17Updated last year
- My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome☆67Updated 3 years ago
- Cryptographic protocols☆39Updated 2 years ago
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆54Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆58Updated 2 years ago
- Template for zkGraph.☆19Updated last year
- Circom circuits used by the iden3 core protocol.☆91Updated 3 months ago
- A collection of ZK light client libraries for various blockchains☆58Updated 10 months ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- ☆22Updated 2 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- ZKM Development Template/Framework☆29Updated 3 months ago
- ☆42Updated 11 months ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 4 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last week
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- Batch ECDSA in circom☆34Updated 3 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated 3 months ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- ☆41Updated 2 years ago