NilFoundation / proof-market-toolchainLinks
A toolchain for interaction with the Proof Market protocol.
☆23Updated 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:
- Circuit components definition library for zkLLVM circuit compiler☆41Updated last year
- ☆23Updated 5 months ago
- An observatory fork of SP1☆75Updated 10 months ago
- ☆42Updated last year
- Foundry project for the RLN☆17Updated 2 years ago
- Cryptographic protocols☆38Updated 2 years ago
- ☆18Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- A collection of ZK light client libraries for various blockchains☆65Updated last year
- Cryptography libraries for ZKsync☆38Updated 3 weeks ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 6 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 6 months ago
- ZKM Development Template/Framework☆30Updated 6 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆14Updated 6 months ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆81Updated 6 months ago
- Circom circuits used by the iden3 core protocol.☆92Updated 5 months ago
- ☆22Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- ☆49Updated 2 years ago
- ☆20Updated this week
- EigenTrust - A distributed reputation system☆115Updated 2 years ago
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- A trustless wallet scoring protocol☆21Updated last year
- Client library for generating and using RLN ZK proofs☆32Updated 2 years ago