Download ZK-X509 Prover

Generate zero-knowledge proofs from your X.509 certificates locally. Your private key never leaves your device.

macOS

Apple Silicon & Intel

macOS 12 Monterey or later · signed & notarized

Download for macOS

Opens the latest release. Pick the aarch64 DMG for Apple Silicon, x64 for Intel.

Coming Soon

Windows

x86_64

Windows 10 or later

Not Available Yet

Run from source (available now)

Signed macOS & Windows installers are pending Apple notarization and code-signing — they'll land here soon. Until then, clone the repo and build the app locally. It's the same prover, and the ELF is pinned via Docker so its verification key matches what's on-chain.

Prerequisites: Rust + SP1 (sp1up), Foundry (foundryup), Docker Desktop, Node.js 20+.

# clone
git clone https://github.com/Zena-park/zk-X509.git
cd zk-X509

# 1) extract the pinned ELF from Docker — guarantees the prover's
#    vkey matches the on-chain programVKey (don't skip this)
make elf

# 2) build the desktop app (Tauri GUI) — produces .app + DMG
make desktop

#    install the DMG, or open the .app directly:
open target/release/bundle/macos/zk-X509.app

Windows:extract the ELF in WSL/Git Bash with make elf, then in PowerShell run $env:PREBUILT_ELF = "$pwd\elf\zk-x509-program" followed by cargo build --release --bin interactive.

How it works

1

The prover app reads your X.509 certificate from the macOS Keychain via Security.framework.

2

A zero-knowledge proof is generated locally, proving certificate validity without revealing private data.

3

Submit the proof on-chain to verify your identity without exposing your certificate or keys.

View source on GitHub