Lists (1)
Stars
A Lean library for machine-checked cryptographic proofs.
Self-managed TEE orchestrator for AWS Nitro Enclaves on the Sui blockchain. Build enclave images, deploy them to EC2, register attestations on-chain, and verify enclave signatures — all from one CLI.
Implementation of the Google Zero-Knowledge library for Identity Protocols.
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and witnesses.
Code for "Efficient Proofs of Possession for Legacy Signatures", by Woo et al., IEEE S&P 2025
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Sui zkLogin demo implementation.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
comparing the performance of different zero-knowledge proof libraries
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
A compiler for fully homomorphic encryption and zero knowledge proofs
Common cryptographic library used in software at Mysten Labs.
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Interactive documentation on zero-knowledge proof systems and related primitives.
Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.
A curated list of distributed key generation and threshold signatures implementations
Accumulators and Vector Commitments
A complete course for learning Bitcoin programming and usage from the command
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).