Zeroth Research Non-profit making intelligent systems safe, with mathematical certainty. Privacy-preserving AI Safety Verification ARIA-funded project developing mathematical foundations for verifying AI safety guarantees without revealing sensitive model or data details. Identifying Money Laundering on the Blockchain InnovateUK CyberASAP funded project developing modern blockchain AML techniques with low false-positive rates. ZK Attestation for AI Security Foresight Institute grant exploring zero-knowledge attestation mechanisms for AI security and integrity. Nimiq Blockchain Research Lead & Consultant since 2017. Recursive zk-SNARKs and consensus protocols — the origin of my zero-knowledge work. Proving Model Equality in Zero-Knowledge SPAR Spring 2026: Using ZKPs and challenge-response protocols to prove a deployed model matches a reference without revealing weights. Proving Safety Properties of Guardrail Models SPAR Spring 2026: Formal verification of constitutional classifiers and guardrail models for AI safety.