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 10 months ago
- ☆17Updated 7 months ago
- Circom circuits used by the iden3 core protocol.☆89Updated last week
- ☆47Updated last year
- Cryptography libraries for ZKsync☆32Updated 2 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- Resources and project management of Ethereum ephemeral testnet☆27Updated last year
- GPU-acceselerated cryptography libraries for ZKsync☆19Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- Validation code for the EOF specification☆56Updated 2 months ago
- Remote Attestation VErification☆33Updated 11 months ago
- Foundation for speedy Machine Learning operations in Halo2 Prover☆20Updated 9 months ago
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆57Updated 3 weeks ago
- Explorations on mobile-first GPU acceleration, currently support MSM.☆20Updated last week
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆77Updated last month
- ☆42Updated last year
- Batch ECDSA in circom☆34Updated 2 years ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆77Updated last month
- Zero-knowledge Sudoku using zk-SNARKs☆46Updated 3 years ago
- ☆68Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Rust implementation for zcash/pasta☆83Updated 3 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Smart contracts for the Telepathy protocol☆77Updated last year
- ☆26Updated 5 months ago
- ZKM Development Template/Framework☆25Updated 2 weeks ago
- Cryptographic protocols☆39Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago