Live demo · Base Sepolia testnet

Tokenized Treasury — Cross-Border Redemption

An accredited investor redeems a tokenized US Treasury fund across borders. Two compliance properties must be proven without exposing PII to the counterparty or settlement network: the investor's accreditation and the asset's tokenization eligibility. The customer's browser generates ZK proofs; the VRID attestation engine issues a tamper-evident artifact for each check; both VRIDs are then anchored on Base L2 — written to the VRID registry and recorded in the Master FCR Audit log.

STACK · L1 → L4 4 LAYERS · LIVE
L4AnchorBase Sepolia · CB95 registry + FCR Audit · Keccak-256
L3AttestationVRID · NIST SHA-3-256 receipt · vrid.js v2.3
L2ZK ProofNoir UltraHONK · WASM · Poseidon2 in-circuit hash
L1CredentialW3C VC · MATTR VII EU01
CLASS I
Investor / Accredited
Proves the redeeming party meets accredited-investor and KYC requirements without exposing identity attributes.
● Live · CR-05 KYC clearance
CLASS T
Tokenized Asset
Proves the underlying tokenized instrument meets eligibility, custody, and jurisdiction constraints for the redemption.
○ Design-target · circuit wires next
01

Customer presents credential

W3C Verifiable Credential issued via MATTR VII · JWT-VC · ES256 / P-256 · held in customer's keypair

L1 · CREDENTIAL
02

Zero-knowledge proof generated in browser

Noir / UltraHONK · WASM · Poseidon2 in-circuit hash · ~14.6 KB proof · ~33 ms verify · attribute proven without revealing data

L2 · ZK PROOF
03

VRID attestation issued

vrid.js v2.3 · NIST SHA-3-256 receipt hash of the proof bundle · records that a specific check passed at a specific time, without recording underlying data

L3 · ATTESTATION
04

VRID anchored to registry on Base L2

CB95 registry on Base Sepolia · Keccak-256 commitment · independently verifiable by auditor, regulator, or counterparty

L4 · ANCHOR
05

Master FCR Audit log entry written

Per-customer chained sequence · on-chain Keccak-256 hash of [prevVridHash · commitment · payload · timestamp] · class metadata (I, T, K, M, E) · tamper-evident

L4 · ANCHOR
FCR audit entry · class I
FCR-I.301.2026-007-A7F3
FCR audit entry · class T
FCR-T.301.2026-008-B819
Run live proofs

Designed to sit alongside interbank settlement rails and tokenized-asset routing layers — not to replace them. Receipt portability across counterparties is architectural intent; live counterparty integrations are not yet shipped. Currently active circuit: CR-05 (KYC clearance) backing FCR-I entries. Class-T attestation circuit wires in at the next milestone.