Built on Midnight · Hackathon submission, May 2026
Sign an output policy once. Every AI call afterward mints a zero-knowledge receipt proving the response satisfied that policy — without revealing the response itself. You control selective disclosure for audits, regulators, or court.
High-risk AI mandates per-inference audit logs that an independent party can verify. Self-attested logs don’t qualify.
Audit trails cannot leak PII or session content. Hashes and ZK proofs on-chain; plaintext stays with the user.
US courts treat cryptographically signed records as self-authenticating. Centralised logs require forensic experts.
Plain text logs satisfy none of these. ZK proofs satisfy all three.
React UI + Lace wallet
TypeScript
Compact contract
Each primitive is its own auditable circuit. Add more by writing a new Compact policy + a deterministic feature extractor.
Constrain a deterministic risk score to stay at or below a threshold. Today: financial-advice risk.
risk_score ≤ 50
AI output must not contain any keyword in a list. PII redaction, jailbreak detection, brand-safe replies.
response ∩ [“SSN”, “bitcoin”] = ∅
AI output must stay on a configured topic. Classifier-based; Phase 6.
topic ∈ { finance, support }