Applications
What you can prove
Each use case shows exactly what's proven, who's involved, and what stays private — with example code for integration.
Use Cases
Six sovereign proofs
Every proof below reveals exactly what's stated — and nothing else. The private witness never leaves your device.
prove age ≥ N
Who's involved
Issuer: Government ID registry, passport authority, or verified identity provider.
Prover: You — holding a credential with your date of birth.
Verifier: Any service, website, or smart contract requiring an age gate.
Prover: You — holding a credential with your date of birth.
Verifier: Any service, website, or smart contract requiring an age gate.
What's proven
That your age satisfies a threshold (e.g., ≥ 18, ≥ 21, ≥ 65). The circuit encodes the inequality constraint. Nothing else is revealed — not your actual age, not your name, not your date of birth.
Applications
Age-gated content platforms · alcohol and tobacco retail · DeFi protocol access · online gaming · Liberland voting eligibility · contract execution rights.
prove({ claim: { age: { gte: 18 } } })
→ proof ✓ // birthdate hidden · name hidden · document hidden
→ proof ✓ // birthdate hidden · name hidden · document hidden
prove citizen = LLD
Who's involved
Issuer: Liberland e-Citizenship registry or equivalent jurisdiction authority.
Prover: A citizen holding a digitally-signed citizenship credential.
Verifier: Liberland smart contracts, DAOs, or services requiring jurisdictional membership.
Prover: A citizen holding a digitally-signed citizenship credential.
Verifier: Liberland smart contracts, DAOs, or services requiring jurisdictional membership.
What's proven
That a valid citizenship credential exists for the stated jurisdiction. Your name, passport number, physical address, and any other attributes remain private. The verifier only learns: "this person holds Liberland citizenship."
Applications
DAO membership gates · Liberland governance participation · jurisdiction-specific contract eligibility · tax-residency claims · selective access to services available only to citizens.
prove({ claim: { citizenship: { eq: 'LLD' } } })
→ proof ✓ // name hidden · address hidden · passport hidden
→ proof ✓ // name hidden · address hidden · passport hidden
prove balance > X
Who's involved
Issuer: LiberVault — signing a balance credential based on on-chain state.
Prover: A wallet holder proving their holdings without exposing their address.
Verifier: DeFi protocols, DAOs, lenders, or any service requiring collateral proof.
Prover: A wallet holder proving their holdings without exposing their address.
Verifier: DeFi protocols, DAOs, lenders, or any service requiring collateral proof.
What's proven
That your wallet balance exceeds a threshold at a given block height. The proof commits to the balance constraint without revealing the actual balance, your wallet address, or your identity. The circuit enforces
balance - threshold ≥ 0.Applications
DeFi protocol access tiers · DAO governance voting weight · collateral proof for loans · KYC-free accredited investor verification · Liberland merit-based governance participation.
prove({ claim: { lld_balance: { gte: 1000 } } })
→ proof ✓ // actual balance hidden · wallet address hidden
→ proof ✓ // actual balance hidden · wallet address hidden
prove kyc_passed = true
Who's involved
Issuer: A licensed KYC provider (Onfido, Jumio, or similar) that issues a signed credential after verification.
Prover: You — holding one KYC credential reusable across all verifiers.
Verifier: Any regulated service requiring AML/KYC compliance.
Prover: You — holding one KYC credential reusable across all verifiers.
Verifier: Any regulated service requiring AML/KYC compliance.
What's proven
That a licensed KYC provider successfully verified your identity, at a specific date. The verifier learns only: "this person passed KYC." Your documents, name, nationality, and personal data are never re-transmitted. One verification — unlimited proofs.
Applications
Crypto exchange onboarding · regulated DeFi protocol access · financial services · cross-border service eligibility · regulated securities platforms.
prove({ claim: { kyc_verified: true, kyc_level: { gte: 2 } } })
→ proof ✓ // documents hidden · personal data hidden
→ proof ✓ // documents hidden · personal data hidden
prove license valid
Who's involved
Issuer: University, certification body, professional licensing board, or employer.
Prover: A credential holder proving qualification without sharing the credential document.
Verifier: Employers, platforms, DAOs, or clients requiring verified qualifications.
Prover: A credential holder proving qualification without sharing the credential document.
Verifier: Employers, platforms, DAOs, or clients requiring verified qualifications.
What's proven
That a credential from a recognized issuer is valid and not expired. The proof can optionally include claims like credential type or level without revealing the institution, graduation year, grade, or your identity. Expired credentials fail the validity check automatically.
Applications
Freelance platform verification · professional service marketplaces · DAO contributor vetting · medical licensing for telehealth · legal practice verification · engineering license attestation.
prove({ claim: { credential_type: 'law_license', valid: true } })
→ proof ✓ // institution hidden · grade hidden · identity hidden
→ proof ✓ // institution hidden · grade hidden · identity hidden
prove eligible = true
Who's involved
Issuer: Liberland governance registry or citizenship authority issuing an eligibility credential.
Prover: An eligible voter who wants to participate anonymously.
Verifier: On-chain voting contracts that enforce one-vote-per-person without tracking identities.
Prover: An eligible voter who wants to participate anonymously.
Verifier: On-chain voting contracts that enforce one-vote-per-person without tracking identities.
What's proven
That a valid eligibility credential exists, is not expired, and satisfies the governance requirements. A nullifier prevents double-voting — each credential can generate only one proof per election — without linking the voter to any specific vote. Anonymous but accountable.
Applications
Liberland parliamentary elections · DAO governance proposals · quadratic voting systems · merit-weighted voting with privacy · referenda with anonymous-but-verified turnout tracking.
prove({ claim: { eligible: true }, nullifier: electionId })
→ proof ✓ // identity hidden · vote unlinkable
→ proof ✓ // identity hidden · vote unlinkable
Own your
proof layer.
LiberProof is open source and ready to integrate. Start building privacy-preserving credentials for your sovereign systems.