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
- Cryptography libraries for ZKsync☆20Updated last week
- Solidity verifier for Plonk☆41Updated 2 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- FHE in the Risc0 zkVM☆25Updated 11 months ago
- Cryptographic protocols☆37Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆40Updated this week
- High performance EraVM for zkSync.☆23Updated last week
- Batch ECDSA in circom☆32Updated 2 years ago
- Rescue and Poseidon hash function implementations☆42Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Bringing divine order to remote task execution.☆21Updated this week
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- A parallel proving service for ZKM.☆18Updated last month
- Template for zkGraph.☆19Updated 8 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆53Updated last month
- Spartan on Arkworks☆38Updated 4 months ago
- Celo Light Client (IBC compatible)☆16Updated 2 years ago
- STARK book☆21Updated last month
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆14Updated 2 months ago
- JWT verification with zero knowledge proofs☆44Updated 11 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- ☆14Updated this week
- Remote Attestation VErification☆29Updated 3 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆49Updated 4 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year