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☆43Updated 9 months ago
- Cryptography libraries for ZKsync☆32Updated 3 weeks ago
- Solidity verifier for Plonk☆42Updated 9 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Template for zkGraph.☆19Updated last year
- FHE in the Risc0 zkVM☆25Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆29Updated 4 months ago
- Halo2 Merkle tree circuits☆32Updated 4 years ago
- ☆33Updated last year
- EraVM implementation☆20Updated 9 months ago
- JWT verification with zero knowledge proofs☆50Updated last year
- STARK book☆20Updated 8 months ago
- Batch ECDSA in circom☆33Updated 2 years ago
- banyan's hot on-chain data storage zk proofs☆14Updated 2 weeks ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Gas-efficient and blazing fast proving for private signaling☆82Updated last year
- ☆27Updated 3 years ago
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- r1cs file format parser☆24Updated last year
- Benchmarking Polynomial Commitments☆49Updated last year
- Celestia derivation pipeline and proof crate built with kona☆14Updated 2 weeks ago
- UPA is the proof aggregation engine built by NEBRA team.☆31Updated last month
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated last week
- Remote Attestation VErification☆32Updated 10 months ago
- ☆25Updated 3 weeks ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 3 months ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year