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
- FHE in the Risc0 zkVM☆25Updated last year
- Cryptography libraries for ZKsync☆32Updated last month
- Cryptographic protocols☆39Updated 2 years ago
- Remote Attestation VErification☆33Updated 10 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- JWT verification with zero knowledge proofs☆50Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆23Updated 3 weeks ago
- ☆17Updated 6 months ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last month
- Batch ECDSA in circom☆33Updated 2 years ago
- ☆32Updated 2 years ago
- ☆24Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 weeks ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- ☆33Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Circom circuits used by the iden3 core protocol.☆89Updated last week
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Resources and project management of Ethereum ephemeral testnet☆27Updated last year
- 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…☆15Updated 9 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆71Updated this week
- circom runtime☆19Updated 8 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- ☆40Updated 8 months ago
- Client library for generating and using RLN ZK proofs☆32Updated last year