VeraZK Get Started

The register

Thirteen services. One engine. Four families.

A new service is a rule set and a schema, not a new family — which is why the catalogue grows without the security surface growing with it.

Completeness · 5

Every record was evaluated

Proves an entire population went through a named rule set, without revealing any of it. The flagship: an institution can always show you what it found; this shows you it looked at everything.

Solvency · 4

Liabilities do not exceed assets

Built on a Merkle sum tree, so one cent on one account changes the commitment. No individual balance is revealed, and an insolvent book still produces a proof.

Threshold · 3

A value clears a declared bar

Proves a ratio sits on the right side of a number without revealing the number. A party that misses the bar has no proof — which is why a borrower discloses by proving the tightest bar it does clear.

Gap · 1

Two groups, within tolerance

Proves the aggregate difference between exactly two groups, compared within a cohort. A group too small to anonymise is refused rather than reported.

Our platform

One proof engine. Any claim. Any industry.

Filter

If you can define it as a rule, we can prove it without revealing the data.

ServiceFamily ForFrameworks
01Sanctions ScreeningCompletenessBanks · FIs · VASPsOFAC · EU · UN · FATF
02AML / KYC Rule ProofCompletenessBanks · VASPs · Exchange housesFATF · VARA · CBUAE · MAS · DNB
03Travel Rule ComplianceCompletenessVASPs · Exchanges · Payment providersFATF R.16 · MiCA · VARA · MAS
04Market Abuse SurveillanceCompletenessCASPs · Trading platformsMiCA ART. 92 · RTS 2025/885
05ESG / CSRD Emissions ProofCompletenessCorporates · Sustainability teamsCSRD · ESRS
06Proof of SolvencySolvencyExchanges · Custodians · BanksVARA · CBUAE · DFSA · SAMA · MAS
07Stablecoin Proof of BackingSolvencyStablecoin issuers · Reserve managersMiCA ART. 36 · GENIUS · MAS SCS
08VASP Counterparty SolvencySolvencyVASPs · CounterpartiesVARA · ADGM · MAS
09Client Money SegregationSolvencyFirms holding client assetsDFSA · ADGM · MAS · EU SAFEGUARDING
10EU Pay Equity ProofGapEmployers · HR · Compensation teamsDIRECTIVE (EU) 2023/970
11Loan Covenant MonitoringThresholdBanks · Corporate borrowers · LendersCREDIT AGREEMENTS
12Collateral Quality ProofThresholdLenders · Prime brokers · Clearing housesINTERNAL · BASEL
13Vendor QualificationThresholdProcurement · Third-party riskINTERNAL POLICY
All services → A new service is a rule set and a schema, not a new family.

Custom services

If you can define it as a rule, we can prove it.

Where a regulation names its own thresholds we encode them. Where it does not — and most do not — your calibration is bound into the proof.

A new service is a schema and a rule set bound into a signed bundle. The rules a proof was evaluated against are named inside it, so a verifier can see which calibration ran — which matters, because most frameworks set no numeric bright lines and leave the thresholds to the firm and its supervisor.

Prove Everything. Reveal Nothing.

One day. One proof. You decide what comes next.