#Zero-knowledge
Showing 60 of 98 repositories tagged #zero-knowledge, ranked by stars
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
💚 End-to-end encrypted cloud for everything.
Modular ZK(Zero Knowledge) backend accelerated by GPU
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
Bitwarden-compatible server running on Cloudflare Workers
The Nexus zkVM: The zero-knowledge virtual machine
FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有5000多家企事业单位，400多个产业数字化标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
A toolbox for zkSNARKs on Ethereum
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Anonymous. Uncensored. Sovereign.
A zkVM for Decentralized Private Computations (DPC)
A zero-knowledge protocol for anonymous interactions.
Rust implementation of Ziesha protocol
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
The Halo2 zero-knowledge proving system
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
The privacy-focused cryptocurrency
STARK-based virtual machine
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Javascript & Typescript SDK for Zero-Knowledge Application Development
One-time encrypted password/secret sharing
A hardware acceleration library for compute intensive cryptography :ice_cube:
Cross-platform open source VPN client built in Rust, with mixnet anonymity and WireGuard speed. Protects metadata, not just IP addresses. Zero-knowledge payments for unlinkable online activities.
A lightning-fast, modern, local-first SSH/SFTP/Serial client. Real-time E2EE sync, Team vaults, live sharing, plugins and more. Open-source Termius alternative for Windows, Linux, macOS & Android. Built with Rust/Tauri.
Anonymous Airdrops using ZK-SNARKs
The Layer 1 blockchain for on-demand services.
A curated list of Zero Knowledge links, mostly focusing on blockchain.
A powerful toolkit for building distributed systems and infrastructure as code.
A zkRollup DEX & Payment Protocol
📄 Documentation for Leo 🦁
A protocol for private on-chain voting, implemented in Solidity.
Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.
Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256
Minimalist, end-to-end encrypted, self-hostable file and note sharing. Zero-knowledge server - files and notes are encrypted in the browser before upload. No accounts, no telemetry, built for speed and security.
旨在交流学习区块链技术，记录智能合约开发应用与相关安全练习的仓库🚀
End-to-end encrypted, ephemeral, self-hosted terminal chat — no accounts, no history, no cloud.
A privacy-preserving blockchain on Substrate
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
Making client-side ZK proving on mobile simple.
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
Monorepo for Boundless, the universal ZK protocol.
Library for programming zk-SNARKs directly in Python
Mobile ZK Puzzle Game with NFT rewards
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
Binary Proofs, Blazing Fast
Template for integrating RISC Zero and Ethereum using Foundry
Collection of papers in the field of distributed systems, game theory, cryptography, cryptoeconomics, zero knowledge
A lattice-based non-interactive folding scheme written in Rust
Smart contracts for on-chain anonymous settlement.
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
🔐 A self-hosted credential manager with zero-knowledge encryption, multi-user support, and emergency recovery. Store API keys, passwords, and secrets securely with your own database. Features AES-256-GCM encryption, Argon2 key derivation, PWA support, and professional-grade security architecture.
DriveLite: The Supabase for File Storage. A modular, self-hostable backend with end-to-end encryption.
Docs website for the Mina Protocol.
Fiat-Shamir for the masses.
Collection of mathematics routines and cryptography for the twenty-first century