Cryptographically Verifiable AI
The open standard for AI proof bundles
Every AI decision made today leaves no receipt. VRL is the infrastructure layer that fixes this. A portable, self-contained proof bundle that any third party can verify offline — no trust in any server required.
What VRL Proves
AI Identity
Cryptographically bound to specific model weights, runtime, and configuration. Every computation carries proof of exactly which AI ran.
Proof Bundle
A portable, self-contained artifact that includes the AI identity, computation record, cryptographic proof, and legal metadata — everything needed to verify offline.
Offline Verification
Verify any proof bundle without network access, without trusting VRL, and without accessing the original AI system. Pure cryptographic verification.
Try It Live
Paste a VRL Proof Bundle JSON below and verify it instantly in your browser using pure cryptography (SHA-256).
Paste a Bundle
Verification Result
Why VRL Matters
EU AI Act
High-risk AI systems must maintain audit trails. VRL provides the technical standard for documenting which AI ran, on what data, with what proof.
Healthcare & FDA
AI-based medical devices (SaMD) require evidence of correctness and traceability. VRL proof bundles are legally structured for FDA submissions.
Finance & Regulatory
Credit decisions, fraud detection, trading algorithms — all require explainability and evidence. Regulators can now independently verify.
Courts & Evidence
AI-generated evidence requires admissibility. VRL bundles are self-authenticating cryptographic artifacts that meet legal evidentiary standards.
Proof Systems Supported
VRL is proof-system agnostic. Choose the mechanism that fits your trust model:
| Mode | Proof Strength | Best For |
|---|---|---|
plonk-halo2-pasta |
Cryptographic | Deterministic computations, compliance calculations |
tee-intel-tdx |
Hardware | LLM inference in Intel TDX enclaves |
tee-amd-sev-snp |
Hardware | Models in AMD SEV-SNP enclaves |
zk-ml |
Cryptographic | Small ML models via EZKL |
sha256-deterministic |
Hash-chain | Rule engines, verifiable calculations |
api-hash-binding |
Hash-binding | API-hosted models, audit trail use cases |
Get Started
Verify a Bundle
Use the web verifier above or the reference CLI to validate any proof bundle offline.
Read the Spec
The full VRL Proof Bundle Specification v1.0 defines the standard, proof systems, and verification procedure.
Browse Circuits
The circuit registry is the immutable catalog of verified computation circuits across all domains.
Resources
Python SDK
Build and verify proof bundles with the vrl-sdk library from the dedicated SDK repo.
pip install vrl-sdkReference Verifier
Command-line verifier for validating bundles offline.
python -m vrl.verify bundle.jsonGitHub Repository
The VRL organization is split by responsibility: spec, SDKs, registry, and server each live in their own repo.
Contributing
Submit circuits, propose spec changes, or implement new proof systems.