Anonymous. Uncensored. Sovereign.
-
Updated
Jun 3, 2024 - Rust
Anonymous. Uncensored. Sovereign.
A performant, 100% open-source, contributor-friendly zkVM.
building blocks for accelerating ZK proofs over binary fields
Noname: a programming language to write zkapps
A decentralized education hub for Zcash.
ZK based Solana-EVM Crosschain File Transfer System
Zk based fully secure and trustless multichain file transfer system.
Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
A system for managing privacy-preserving groups.
Automated verification of uniqueness property for ZKP circuits
Modular ZK(Zero Knowledge) backend accelerated by GPU
Noir is a domain specific language for zero knowledge proofs
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Add a description, image, and links to the zero-knowledge topic page so that developers can more easily learn about it.
To associate your repository with the zero-knowledge topic, visit your repo's landing page and select "manage topics."