NilFoundation / proof-market-toolchain
A toolchain for interaction with the Proof Market protocol.
☆23Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for proof-market-toolchain
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- Cryptography libraries for ZKsync☆20Updated this week
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Batch ECDSA in circom☆32Updated 2 years ago
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆49Updated this week
- Resources and project management of Ethereum ephemeral testnet☆27Updated last year
- ☆32Updated 2 years ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆48Updated 2 years ago
- Solidity verifier for Plonk☆41Updated 3 months ago
- Template for zkGraph.☆19Updated 8 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- JWT verification with zero knowledge proofs☆45Updated 11 months ago
- Spartan on Arkworks☆38Updated 4 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- An observatory fork of SP1 (contact: @huitseeker)☆48Updated this week
- Validation code for the EOF specification☆43Updated 2 weeks ago
- ☆27Updated 2 years ago
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- Celo Light Client (IBC compatible)☆16Updated 2 years ago
- Cryptographic protocols☆37Updated last year
- circom runtime☆20Updated last month
- A parallel proving service for ZKM.☆18Updated last month
- Remote Attestation VErification☆29Updated 3 months ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆61Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated last year