VerdifaX

Use cases

Built for AI governance.
Designed for any high-stakes computation.

Wherever a computational decision must be provably correct, tamper-evident, and independently verifiable , Verdifax is the audit infrastructure layer.

Live today

Demonstrated end-to-end today

Three use cases where the Verdifax runtime, audit bundle, and verifier are operational and observable , AI/ML model governance running live against the Anthropic Claude API, trade lifecycle batch attestation demonstrated at ~1,500/sec, and reproducible research with shipped Python + R SDKs.

Live

Primary use case

AI / ML model governance

Every AI execution decision in regulated production produces a sealed, tamper-evident proof artifact. AIVP (AI Verification Protocol) runs live against the Anthropic Claude API; every governed run binds the AI output text into a sealed PIA hash. Compliance teams hand the artifact to regulators as the audit-of-record; legal teams use it as court-admissible evidence; engineering teams use the same record to debug and reproduce decisions.

NIST AI RMFISO/IEC 42001EU AI Act Art. 12EU AI Act Art. 13SR 11-7OCC SR 24HIPAA
Live

Financial services

Trade lifecycle audit & reconciliation

Daily portfolio reconciliation, end-of-day risk calculations, derivatives mark-to-market, monthly hedge accounting, every slow-trading workflow that produces an auditable record. POST /execute/batch attests thousands of rows per second with per-row error handling and full halt-receipt richness preserved (PEPG, CCV, MACC, AIVP-T4). Demonstrated at ~1,500 attestations/sec end-to-end against production. Real-time / microsecond HFT remains a Tier 3 specialist build, see the roadmap for in-process attestation.

MiFID IIBasel IVDodd-FrankCFTC
Live

Research integrity

Reproducible computational research

Verdifax binds the declared research environment, runtime version, pinned dependencies, git SHA, declared random seeds, platform, into the audit bundle as Category 6, then proves the pipeline replays byte-identically through POST /execute/verify-determinism. Python (pip install verdifax) and R (remotes::install_github("Verdifax/verdifax-sdk-r")) wrapper SDKs ship today, with a Jupyter notebook and an R Markdown template as reference workflows.

NIH data sharingFDA SaMDEU Open Science

Capability available, rollout pending

POC-ready today. Production customer rollout pending.

Verdifax's architecture supports these use cases on a defined POC scope today, but no production customer has rolled out yet. Each card states what we can deliver now and what's deferred to the V2 trajectory, see the roadmap for full enterprise build-out.

POC ready

Financial services

Lending & credit decisions

Adverse-action notices, model-risk reviews, and fair-lending audits all require explainable, reproducible decisioning. Verdifax's architecture can bind every credit decision to the exact inputs, model version, and policy snapshot that produced it, closing the explainability gap ECOA and Fair Housing examiners increasingly demand. Customer plugs in their existing credit model behind /execute; Verdifax produces the audit-of-record without exposing model weights. POC scope deliverable today; production lending customer rollout pending.

ECOAReg BFair Housing ActSR 11-7
POC ready

Insurance

Insurance underwriting

Rate-setting, eligibility, and claims-decisioning models face the same model-risk-management scrutiny as bank credit models. Verdifax's architecture supports underwriting attestation artifacts that auditors, state insurance commissioners, and policyholders could independently verify, without exposing model weights or proprietary feature engineering. Same plug-in deployment shape as lending. POC scope deliverable today; production insurance customer rollout pending.

NAIC Model BulletinState DOI rulesGDPR
POC ready

Sustainability

ESG carbon attestation

Carbon emission calculations are deterministic when emission-factor tables are pinned. Verdifax can attest individual Scope 1 (stationary combustion, fugitive emissions) and Scope 2 (purchased electricity, location-based) calculations today against pinned GHG Protocol default factors. Full enterprise CSRD reporting across multi-tier supply chains requires LCA database integrations that are on the V2 roadmap.

GHG ProtocolTCFD

What this would have caught

Public-record incidents that hinged on the absence of a sealed AI record.

In each case below, the dispute centered on what an AI system actually did and the operator had no independently-verifiable record to produce. Verdifax does not prevent the underlying misuse, policy gates and human review still do that. Verdifax produces the evidence that turns a discovery dispute into a hash recompute.

February 2024

Moffatt v. Air Canada

Civil Resolution Tribunal of British Columbia

Air Canada's chatbot told a grieving passenger he could claim a bereavement-fare refund retroactively. He bought the ticket, applied, was denied. The airline argued the chatbot was a separate legal entity. The tribunal disagreed. The core dispute was over what the chatbot had actually said, Air Canada had no sealed record.

What changes with Verdifax

A Verdifax AIVP record would have bound the exact prompt, the exact model output, the model version, and the policy gate that should have screened the answer into one canonical manifest hash. Air Canada could have shown the bot was within policy, or shown an isolated policy-gate failure with a clear remediation, instead of a category-wide credibility loss.

AIVPPEPGAER

June 2023

Mata v. Avianca

U.S. District Court, Southern District of New York

Attorney filed a brief with six fake case citations generated by ChatGPT. Sanctioned $5,000. Counsel claimed he had asked the model whether the cases were real and that it had confirmed. The court spent weeks compelling production of the original ChatGPT conversation.

What changes with Verdifax

An AIVP-sealed run produces that forensic record by default, the prompt, the model version, and the actual output independently verifiable from a manifest hash on day one. The PEPG gate would have allowed firm policy to require a downstream verified-citation check before any AI-drafted citation could be treated as authoritative.

AIVPDKECPEPG

November 2023

Estate of Lokken v. UnitedHealth

U.S. District Court, District of Minnesota

Class action alleging UnitedHealth used the nH Predict algorithm to deny Medicare Advantage post-acute care claims at a reported 90% error rate. Discovery has been protracted over which clinical features drove which denials and which model version was live at the time of each decision.

What changes with Verdifax

Every recommendation under Verdifax would have sealed the clinical input features (DOG-frozen), the model version (DKEC-bound), the predicted recovery curve (AIVP-sealed), and the policy gate that converted prediction into denial. The audit-of-record replaces months of discovery disputes with a hash recompute.

DOGDKECAIVPPEPG

Verdifax does not assert outcomes in these cases would have been different. The cited primitives, AIVP (AI Verification Protocol), DOG (Deterministic Oracle Gateway), DKEC (Deterministic Kernel Execution Context), PEPG (Pre-Execution Policy Gating), AER (Attestation Execution Record), all ship in v1 against the production orchestrator.

Beyond AI

Verdifax is infrastructure, not an AI tool.

The same cryptographic execution layer that audits an AI decision can audit any deterministic computation. If your workflow ends in a number, a label, a recommendation, or a ruling, and that output needs to survive a regulator, a court, or a peer-review challenge years later, Verdifax is built for it. The same primitive extends naturally to vehicle lifecycle attestation, industrial battery passports under EU Regulation 2023/1542, and any other VIN-anchored or asset-anchored provenance chain , specialist-roadmap territory but architecturally aligned.

Request access