💚 End-to-end encrypted cloud for everything.
Minimal implementation of the Mimblewimble protocol.
🦁 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
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.
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
Cairo is the first Turing-complete language for creating provable programs for general computation.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Noir is a domain specific language for zero knowledge proofs
Anonymous. Uncensored. Sovereign.
Implementation of the Google Zero-Knowledge library for Identity Protocols.
A zkVM for Decentralized Private Computations (DPC)
A zero-knowledge protocol for anonymous interactions.
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.
Spartan: High-speed zkSNARKs without trusted setup
The privacy-focused cryptocurrency
STARK-based virtual machine
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.
A self-hosted dead man's switch for delivering encrypted messages (E2EE) to your loved ones — when you're gone or unresponsive.
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Javascript & Typescript SDK for Zero-Knowledge Application Development
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.
End-to-end encrypted notes, tasks, files, passwords, journal and bookmarks. Keyed by a 12-word BIP-39 phrase: no email, no password, no account to leak. The full client source for web, desktop and mobile is published, along with the encryption (XChaCha20-Poly1305, HKDF-SHA256, Ed25519) and the threat model, so the privacy claims are falsifiable.
Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.
A Rust Implementation of the PLONK ZKP System and Extensions
Offline password, identity, and secret vault. Argon2id + AES-256-GCM, zero servers, zero telemetry.
Zero-install, air-gapped, self-decrypting HTML vaults using AES-256-GCM and native WebCrypto.
A modern, open-source & self-hosted SSH client and server manager. Local-first, zero-knowledge encryption, and seamless multi-device sync.
DropLink is a decentralized, temporary peer-to-peer sharing platform. Files, folders, links, and chat messages move directly between browsers over an encrypted WebRTC connection — the server only helps two browsers find each other and never sees, stores, or touches a single byte of your data.
Zero-knowledge proof of machine learning from the vector oblivious linear evaluation
Zero-knowledge proof from the vector oblivious linear evaluation (VOLE)
Production & research-grade Post-Quantum KEM Double Ratchet protocol (FIPS 203 ML-KEM-768 + FIPS 204 ML-DSA-65). Resilient against Harvest-Now-Decrypt-Later FTQC attacks
Client-side encrypted vault for Google Drive: Android app, web console, and desktop app over one format, implemented three times independently and held to shared test vectors. Pre-alpha and unaudited.