Zeroth Research Non-profit startup 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 Researcher since 2017. Applied cryptography, zero-knowledge proofs, and consensus protocols. 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.