Live Proofs
Real cryptography — the core proofs run live in your browser on sample data; chain-anchor demos are labeled walkthroughs. See the case: The Blockchain Alternative →
What every proof below demonstrates: the portable, post-quantum evidence that H33-74 produces and anchors. Sample artifacts can be dropped into the offline verifier. Related exhibits: Avalanche anchoring, biometric, Bitcoin mainnet attestation.
Wire Proof
Compliance compression for cross-border payments. A wire is committed field by field, then validated against 47 compliance fields while only 5 are disclosed — the validating institution checks inclusion proofs against the commitment, not the payload. The proof is built and checked in your browser, and the timing shown is the run you just performed.
RESTOREDEncrypted Radiology
A hospital classifies a chest X-ray with an external AI that never sees the image. Features are encrypted inside the hospital; the AI computes on ciphertext only — no image, no patient identity, no key. Only the hospital decrypts the result. Captured execution, replayed — not live computation. Research demonstration, not clinical.
NEWGoverned Instruments
Watch H33 governance decide whether value should move — before state changes. Real H33-74 receipts: permits, refusals, atomic swaps, projection attestations. Same runtime governs USDC, loyalty points, and AI-agent budgets. Reconstructed from receipts alone — no consensus. Scenario: Coins Without Chains. Proof Lab 003.
REPLAYAPQC Governed Conversion
A captured governed APQC run, replayed in your browser: an AI reconstructs an enterprise crypto estate, is placed under a cryptographically enforced governance boundary, migrates 5,879 assets to ML-DSA-65 under a signed approval — and you re-verify the signing message, receipt chain, and evidence root client-side. Static evidence-replay, no backend.
NEWValid but Unauthorized
An authenticated, in-scope, in-quota API request. Every control accepts it. Execution is withheld anyway, and the refusal says which condition was missing — then the identical request runs once a decision is on record. H33-API-G.
NEWH33-Key Zero Plaintext
A credential enters once. After that, nobody sees it again — not your app, not your team, not H33. Used, governed, rotated, exported, and verified with real cryptography. Proof Lab 002.
NEWH33-Key — A Credential's Entire Life
Watch a machine credential become virtualized, governed, materialized only when authorized, destroyed — leaving a portable receipt. Real H33-Key behavior.
NEWOffline Verifier
Check sample replay bundles and receipts in your browser (public demo key; no issuer verification). Real ML-DSA-65 + H33-74, in your browser. One verifier for sample artifacts.
NEWHATS Live Setup Demo
Watch HATS observe a sample MFA control, sign the evidence with three post-quantum signature families, verify it and package it for an auditor. Sample fixture; no login.
NEWOwnership Without a Chain
Experiment 01: create a property deed, transfer it, defeat a forged transfer, and prove every step — with zero blockchains, wallets, or gas. Real ML-DSA-65 + H33-74 signatures, verified live in your browser. Only real cryptography.
FEATUREDH33-74 on Avalanche
A walkthrough of an H33-74 attestation: BFV-encrypted asset, TFHE compliance on encrypted data, STARK proof of correct execution, three PQ signatures, anchored to Avalanche C-Chain. FHE + STARK + PQ — a workflow visualization; verify the real cryptography in the Proof Lab.
Avalanche Evidence Anchoring
Public integrity layer, private evidence, portable artifact, post-quantum verification — the full Avalanche anchoring exhibit walked end to end.
LIVEVerifiable Enterprise Search
Every search result returns a bundle. The verifier confirms policy, model, corpus, and citations.
LIVETrust Card
Hand a regulator, auditor, or board one page. Real SHA-256 in your browser, bundle hash, anchor proof, three signature families (by design) — tamper one byte and watch it fail.
LIVEPortability Verifier
Open-source binary designed to check an H33 bundle against three PQ signature families (not yet available for production receipts). No network. No license.
LIVEWhat Happens If H33 Disappears?
The honest answer, demonstrated. Bundles, verifier, conformance vectors, and customer-held keys are designed to outlive H33 (not yet available in production).
LIVEBitBonds
H33-74 attestation for bond issuance. Investor eligibility, custody chain, and lifecycle events signed and portable — live.
LIVEAgent-Zero
Provable encrypted decisions: the agent acts on data it can never read. FHE under the hood, PQ-attested output.
LIVELive FHE
Encrypt, compute, and decrypt in real time. Watch a computation run on ciphertext the server never sees in the clear.
LIVEKYC Live Attestation
Identity verified on encrypted data, attestation attached. FHE biometric matching; the server never sees the template.
LIVEReplay Playground
STARK proof verification end-to-end in WebAssembly — prover, verifier, transcript. Examine and replay, all client-side.
LIVEH33-74 on Solana
The same live attestation stack — FHE + PQ signatures — anchored on Solana.
LIVEH33-74 on Ethereum
Live H33-74 attestation anchored on Ethereum. FHE + Dilithium/ML-DSA, in-browser.
LIVEQuantum-Resistant EVM
H33-74 QEVM demo — post-quantum attestation for EVM execution, live.
The Engines — Real Cryptography
The FHE and zero-knowledge engines underneath every proof. Real, benchmarked, and post-quantum — the mathematics the demos above run on.
FHE
Eleven FHE library members plus five modules — boolean logic, streaming, ML activations, proxy re-encryption, bootstrapping. 2.21M auth/sec. Zero plaintext.
ENGINEFHE-IQ
Intelligent multi-backend FHE routing. One API call auto-selects across the H33 FHE library members by workload and latency. Sub-500ns routing.
ENGINEH33-128 — BFV
BFV lattice FHE at 1.595M auth/sec. N=4096, SIMD batching, 32 users per ciphertext operation. Zero data exposure.
ENGINEH33-CKKS
Approximate FHE for encrypted float computation — dot products, ML inference, and activation functions via Chebyshev approximation.
ENGINETFHE
Encrypted Boolean logic on commodity ARM CPUs — AND, OR, XOR, NOT on ciphertext. 11,526 gates/sec. No GPU. Post-quantum secure.
ENGINEH33-256
NIST Level 5 post-quantum homomorphic encryption. BFV N=32768, ML-DSA-87 attestation. Built for government, defense, and SCIF environments.
ENGINEZK Proofs
Zero-knowledge proof verification: SHA3-256 STARK lookups in 0.062µs. Post-quantum safe. No trusted setup required.
ENGINESTARK-AIR
Goldilocks-field STARK proving system. SHA3-256 commitments, FRI polynomial proofs, no trusted setup, sub-500µs verify.
Coming Soon
Capabilities we have built where the public proof is still on the roadmap. Listed honestly — these are not yet live demonstrations.
WireProof
Cross-border wire validated without sending the underlying data; receipt verified independently. Capability built; public proof on the roadmap.
Continuous Attestation
Always-on evidence stream — every event a signed, hash-chained, time-stamped receipt. Public demo planned.
Bitcoin Mainnet Attestation
Bundle commitment anchored to Bitcoin mainnet — public anchor. Live proof planned.
AI Audit Trail (full)
Every AI decision returns a portable bundle — policy, model fingerprint, corpus pin, citations. Full interactive proof planned.
Q-Sign — Live Signing
Governance in real time: post-quantum signatures on real documents, three families. Interactive proof planned.
HATS Claim Replay
Continuous control verification replayed like a movie for underwriters. Public replay proof planned.
H33-Key — Secret Use
Agents use API keys and secrets without ever holding them. Public proof planned.
MPC
Multi-party computation with no single party holding the inputs. Public proof planned.
Decision Replay
H33-Root authority replay and Agent-008 decision replay — reconstruct who did what under whose authority. Planned.
Technology
The cryptographic engines behind the proofs. Read the specifications and documentation.
H33-74 Attestation
The 74-byte post-quantum attestation substrate behind every proof — ML-DSA · FALCON · SLH-DSA.
DOCSFully Homomorphic Encryption
Compute on encrypted data without decrypting it — the engine behind Agent-Zero and Live FHE.
DOCSZero-Knowledge / STARK
Prove correct execution without revealing inputs. The STARK engine behind the Replay Playground.
DOCSBiometrics
FHE biometric matching — the server never sees the template or the probe.
DOCSEncrypted Search
Search over data that stays encrypted — the engine behind Verifiable Enterprise Search.
DOCSDocumentation & API
Read the specifications, API reference, and conformance vectors.
What Proof Lab Proves
- Every decision was made without seeing the data
- Every result is recorded
- Every receipt survives quantum computers
- Every claim maps to running code with tests
Product explains it.
Proof Lab proves it.