Solvency, Proven.
Privately.
VeritasZK lets organizations prove financial health to regulators and counterparties using zero-knowledge range proofs — without revealing a single number. Built natively on Aleo. Aligned with Basel III, Solvency II, and MiCA Article 76.
THE PROTOCOL
"A ZK-native implementation of Nick Szabo's 1993 confidential auditing protocol: organizations produce unforgeable, timestamp-anchored solvency attestations using range proofs over private financial data, revealing only a regulatory tier classification aligned with Basel III and Solvency II capital requirements."
What you prove
Assets exceed liabilities by a verified ratio — Standard, Verified, Strong, or Institutional tier.
What you hide
Exact amounts, wallet addresses, asset composition, treasury strategy — permanently private.
Who can verify
Anyone, anywhere, with zero setup. No auditor. No trusted third party. The chain is the verifier.
HOW PRIVACY WORKS
Data goes in. Only a tier comes out.
PRIVATE INPUTS
🔒 Never leaves your machine
PUBLIC ATTESTATION
→ Publicly verifiable on Aleo
COMPARISON
A different kind of proof.
| Feature | VeritasZK | Merkle PoR | Traditional Audit |
|---|---|---|---|
| Reveals wallet addresses | ✗ | ✓ | — |
| Reveals exact balances | ✗ | ✓ | ✓ |
| Reveals asset composition | ✗ | Partial | ✓ |
| Cryptographic verification | ✓ | ✓ | ✗ |
| Anyone can verify instantly | ✓ | Partial | ✗ |
| Requires external auditor | ✗ | ✗ | ✓ |
| Real-time attestation | ✓ | Delayed | ✗ |
| Cost per attestation | Near zero | Infrastructure cost | $50,000+ |
PROCESS
Three steps to verifiable solvency.
Register Your Organization
Your organization registers an on-chain identity via veritaszk_registry.aleo. Delegate authority to your compliance team. No financial data touches the chain.
veritaszk_registry.aleoSubmit a Solvency Proof
Compute a ZK range proof over your private balance sheet. The proof reveals only that your assets exceed liabilities by a defined ratio — and nothing else. A cryptographic commitment is anchored to the Aleo blockchain.
veritaszk_threshold.aleoReceive a Tier Attestation
Counterparties, regulators, and auditors verify your tier — Standard, Verified, Strong, or Institutional — against the proof commitment. They confirm solvency without ever seeing your numbers.
veritaszk_audit.aleoTIER CLASSIFICATION
Four tiers. Four standards.
Each tier maps to an internationally recognized capital adequacy framework. Zero amounts disclosed at any tier.
Standard
≥ 1.0×
You have enough. Assets cover all liabilities. The minimum threshold for operational solvency.
Baseline solvency under general accounting standards
Verified
≥ 1.5×
You have a buffer. 50% more in assets than liabilities.
Basel III Tier 1 Capital adequacy
Strong
≥ 2.0×
Substantial reserves. Double the liabilities covered.
Solvency II SCR / MiCA Article 76
Institutional
≥ 3.0×
Fortress-level reserves. Triple coverage.
Basel III advanced IRB / Insurance SCR buffer
LIVE PROOF ACTIVITYlive
DEVELOPER TOOLS
Integrate in minutes.
Verify solvency proofs, watch proof expiry, and batch-verify organizational attestations from any JavaScript environment.
MCP server for AI compliance monitoring. Drop into Claude Desktop to query solvency status from natural language.
Terminal-based proof verification. Ideal for CI pipelines, compliance scripts, and operator dashboards.
INFRASTRUCTURE
Why Aleo?
No off-chain proving required
ZK proofs execute in Leo transitions on-chain. There is no external prover service, no trusted setup ceremony, no infrastructure to operate.
Programmable privacy by design
The threshold logic runs in a shielded execution environment. Asset inputs are private Records — they never appear in public chain state, not even in encrypted form.
Regulatory-ready auditability
veritaszk_audit.aleo creates a public-but-private audit trail: commitment hashes and tier outcomes are permanently on-chain, while all financial figures remain off it.
TRUST SIGNALS
DEPLOYED PROGRAMS — ALEO TESTNET
6 transitions
10 transitions
5 transitions
3 transitions
Start verifying solvency
in 3 minutes →
Register your organization, submit a ZK range proof, and receive a tier attestation that anyone can verify — without revealing anything.