Privacy-preserving compliance, enforced on-chain.
of identity records exposed through centralized database breaches
average cost of a single data breach (IBM 2024)
is what most compliance tools demand just to verify a user
revocation is slow โ non-compliant users stay active for days
Groth16-shaped proofs prove set-membership. Your PII is hashed into a commitment โ only the hash touches the chain.
Commitments form a Merkle tree. The root is stored on-chain. Proof = "I'm in the tree" without revealing which leaf.
A monitor agent triggers revoke the instant a risk event fires โ proven by a real on-chain tx. A real Claude officer then writes the file memo, rates severity, and attests its inputs held zero PII.
Inject a sanctions hit and watch one holder's proof flip โโโ while everyone else keeps verifying.
Issuer hashes PII into commitment off-chain
Commitment inserted into on-chain Merkle tree via Odra contract
Holder generates Groth16-shaped proof of set-membership
Verifier checks proof + nullifier โ no PII revealed
Monitor agent watches for risk events (streaming pattern; demo uses a simulated feed)
Risk detected โ nullifier registered โ proof instantly invalidated
| Layer | Technology |
|---|---|
| Frontend | Next.js 16 (App Router), React 19, Tailwind v4 |
| Contract | Odra (Rust) โ Merkle root + nullifier set |
| ZK Engine | Groth16-shaped (SHA-256, snarkjs-API compatible) |
| Signing | casper-js-sdk (PEM key, autonomous revocation) |
| Micropayments | x402 โ pay-to-check; CSPR.cloud facilitator verify/settle in live mode |
| Monitoring | Autonomous monitor agent โ streaming pattern (simulated event feed in demo) |
| AI Officer | Claude Haiku 4.5 โ revocation memos + severity + privacy attestation; keyless fallback |
| Testing | Vitest (106 tests) + Playwright (E2E) + CodeQL |
The ZK proof is Groth16-shaped over SHA-256 โ structured as a drop-in for field-native Poseidon + real snarkjs Groth16 (roadmap). No overclaiming.
Inject a sanctions hit โ watch holder proof flip โโโ โ Merkle root recompute โ pool ejects them.
Valid holders keep verifying while the revoked holder's proof is instantly invalidated.
Visual proof that zero PII exists anywhere in the on-chain data โ only hashes and nullifiers.
CEP-18 micropayment for each compliance check โ data as a service.
| Casper Tool | Integration |
|---|---|
| Odra Framework | Merkle root + nullifier set contract (insert_commitment, revoke) |
| casper-js-sdk | Autonomous signing for revocation + commitment insertion |
| x402 Facilitator | CEP-18 micropayments for pay-to-check compliance queries |
| CSPR.cloud REST | Contract state queries and account lookups |
| Casper Testnet | Live deployed package + confirmed insert_commitment โ revoke lifecycle |
| Item | Value |
|---|---|
| Bastion Contract | hash-d247c7118d240bb339612f176f23816aa7a42e3bce88b132cad9982707c4a2c0 |
| Install TX | 6632ffec189f76cdf4dd8d057642160cac3608b98bd0477e6cc540319c6c0f22 |
| insert_commitment TX (holder admitted) | 1b65887722fa960437e10f1e497ac3837934e645d153e9268d79190b2beebb27 |
| revoke TX (autonomous revocation) | 89db2b3bc80c2e95966e82456ad6f2a3fe6c49a6ce3cc47155f9e44dbf50b7cc |
| CEP-18 Token | hash-541069ed8cad06249f76edb0972932d012badbb256111d3000df06ac1d703be6 |
| Issuer Account | 01b9c7741b3679191aa4f82e5529e3f0908e3d5cbc9c3c352807e17b7c48bffc55 |
| Feature | Traditional KYC | Bastion |
|---|---|---|
| PII exposure | Full identity stored | Zero PII on-chain |
| Breach risk | Central honeypot | Only hashes + nullifiers |
| Revocation | Manual (days) | Autonomous (instant) |
| Verification | Requires PII re-share | ZK proof โ no data revealed |
| Proof system | None | Groth16-shaped (snarkjs-compatible) |
Merkle tree, ZK proofs, autonomous revocation, x402 pay-to-check
Replace SHA-256 commitment with field-native Poseidon hash + real snarkjs verifier
Production-grade compliance gateway with real KYC provider integration
One ZK proof valid across Casper, Ethereum, and Solana ecosystems
Launch plan: MIT open-source ยท live at bastion.edycu.dev ยท public demo video ยท follow the launch on X: @VouchOnCasper.
โ 60+ hackathon projects shipped
โ Full-stack: Rust contracts + Next.js dashboards + AI agents
โ Built the entire Vouch suite (3 projects) for this buildathon
Bastion โ ZK compliance gateway for the Casper ecosystem.