Search

Fast, open-source macOS terminal + SSH connection manager — saved-host vault, SFTP/SCP, SSH keys, tunnels, Docker/K8s attach, AI command assist, and zero-knowledge settings sync.

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

Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.

The Halo2 zero-knowledge proving system

Javascript & Typescript SDK for Zero-Knowledge Application Development

Nova: High-speed recursive zero-knowledge arguments from folding schemes

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Zero-knowledge proof acceleration with GPUs for C++ and Rust

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.

zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.

Filekey: Encrypt and share files securely with passkeys. Fully offline, easy-to-use, and zero-knowledge for ultimate file protection.

Zero-knowledge credentials infrastructure built for AI agents to operate, not just consume.

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.

A research prototype for zero-knowledge proofs of AI inference. Not maintained.