📈 GH Trending Explorer 🎲 Surprise me

Search: zero-knowledge · clear

ente / ente

💚 End-to-end encrypted cloud for everything.

★ 29k Dart 🔥 today
aleo-labs-protocol / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

★ 4.8k Rust 12d ago
FISCO-BCOS / FISCO-BCOS

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.

★ 2.6k C++ today
nymtech / nym

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

★ 2.0k Rust today
starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

★ 1.9k Rust today
succinctlabs / sp1

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

★ 1.8k Rust 1d ago
noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

★ 1.4k Rust today
zcash / halo2

The Halo2 zero-knowledge proving system

★ 927 Rust 4d ago
lambdaclass / ethrex

Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

★ 904 Rust today
VoltiusApp / voltius

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.

★ 773 TypeScript today
giovantenne / lastsignal

A self-hosted dead man's switch for delivering encrypted messages (E2EE) to your loved ones — when you're gone or unresponsive.

★ 757 Ruby 1d ago
dusk-network / plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

★ 643 Rust 9d ago
ProvableHQ / sdk

Javascript & Typescript SDK for Zero-Knowledge Application Development

★ 634 TypeScript today
nymtech / nym-vpn-client

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.

★ 592 Rust today
LifetimeLabsDev / PrivacyNotes.app

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.

★ 543 TypeScript 4d ago
adshao / flounder

Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.

★ 522 TypeScript 15d ago
voyb / aegis-vault

Offline password, identity, and secret vault. Argon2id + AES-256-GCM, zero servers, zero telemetry.

★ 83 HTML today
Hamidooh / witness-vault

Zero-install, air-gapped, self-decrypting HTML vaults using AES-256-GCM and native WebCrypto.

★ 82 Python 19d ago
termimus / termimus-ssh

A modern, open-source & self-hosted SSH client and server manager. Local-first, zero-knowledge encryption, and seamless multi-device sync.

★ 70 TypeScript 11d ago
vincenzo-afk / DropLink

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.

★ 36 JavaScript 3d ago
vole-labs / volefier

Zero-knowledge proof of machine learning from the vector oblivious linear evaluation

★ 32 C++ 1mo ago
vole-labs / vole-zk

Zero-knowledge proof from the vector oblivious linear evaluation (VOLE)

★ 29 C++ 19d ago
AshiteshSingh / PQC-post-quantum-signal-

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

★ 28 Python 4d ago
dboudreau00 / Obscura

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.