Zero-Knowledge · Private Beta

Prove anything.
Reveal nothing.

Issue credentials, generate ZK proofs, and verify claims — without ever exposing the underlying data. Privacy-preserving attestation for the sovereign web.

GitHub See How It Works

ZK-SNARKs Verifiable Credentials Selective Disclosure On-Chain Attestation

liberproof / zkprover.js

Process

Three steps to sovereign proof

No raw data leaves your device. Every proof is mathematically verifiable. Every disclosure is exactly what you choose.

Step 01 / Issue

Credential Issued

A trusted issuer — government, institution, or protocol — signs a credential containing your attributes. The credential is stored locally, never on any server.

issuer.sign({ age: 31, citizen: "LLD", balance: 4200 })
→ credential saved locally

→

Step 02 / Prove

Proof Generated

You select only what to prove. LiberProof generates a ZK-SNARK proof on-device — mathematically proving the statement without revealing the underlying data.

prove({ age: gte(18) })
→ 128-byte proof // age hidden

→

Step 03 / Verify

Claim Verified

Anyone — or any smart contract — can verify the proof is cryptographically valid. The verification confirms the claim is true. Nothing else is revealed.

verify(proof, publicInputs)
→ VALID // 0.3ms · 0 bytes exposed

Applications

What you can prove

Every proof reveals exactly what you intend — and nothing else.

Age Verification

Prove you're above an age threshold to access services, vote, or purchase — without revealing your date of birth or any identity document.

Prove age ≥ 18 · birthdate hidden

Citizenship & Jurisdiction

Prove you hold citizenship in a jurisdiction — qualifying you for services, contracts, or governance — without doxxing your identity or address.

Prove LLD citizenship · name hidden

Asset Thresholds

Prove your wallet holds above a required balance without revealing the amount — for DeFi access, DAOs, or collateral requirements.

Prove balance > 1000 LLD · amount hidden

KYC Without KYC

Prove you've completed identity verification elsewhere — without sending your documents to every service that asks. One verification, infinite proofs.

Prove KYC passed · documents hidden

Credentials & Certifications

Prove you hold a license, degree, or certification — without revealing issuer details, GPA, or any personal data attached to the record.

Prove license valid · details hidden

Governance Eligibility

Prove you're eligible to vote or participate in governance without linking your on-chain identity to your real-world person — anonymous but verified.

Prove voter eligibility · identity hidden

Security Model

Cryptographic by design

The math does the work. Your raw data never leaves your device.

0 bytes

of raw data transmitted in a proof

A ZK-SNARK proof contains only a mathematical commitment — it encodes that a statement is true, with zero information about the underlying witness. The verifier learns nothing beyond the proven claim.

🔐

Local Computation Only

Every proof is generated on your device using Groth16 circuits. No data is sent to any server during proof generation. The only thing that leaves your device is the compact, opaque proof and its public inputs.

🧮

Groth16 Circuits

LiberProof uses Groth16, a pairing-based ZK-SNARK with constant proof size (~128 bytes) and sub-millisecond verification — ideal for on-chain and in-browser use.

🌐

On-Chain Attestation

Proofs can be submitted as verifiable presentations to the Liberland blockchain. Smart contracts verify them natively — no oracle, no bridge, no trust assumption beyond the math.

🔍

Open Source Circuits

Every circuit is open and auditable. The proving keys are derived from a transparent setup ceremony. Nothing is hidden in the cryptographic machinery.

🗝️

LiberVault Integration

Wallet-derived credentials — balance proofs, ownership proofs, signing authority — are generated using keys held in LiberVault. No credential server required.

Ecosystem