current Verifiable AI Inference Open-source zero-knowledge prover for LLM inference, making international AI agreements verifiable. At the Singapore AI Safety Hub (SASH). Privacy-preserving AI Safety Verification ARIA-funded project developing mathematical foundations for verifying AI safety guarantees without revealing sensitive model or data details. ZK Attestation for AI Security Foresight Institute grant exploring zero-knowledge attestation mechanisms for AI security and integrity. Zeroth Research Co-founded in 2025 (CTO until 2026); now Associate Member. Non-profit making intelligent systems safe, with mathematical certainty. past Nimiq Blockchain Researcher 2017–2026 and Nimiq Foundation board member 2019–2026. Recursive zk-SNARKs and consensus protocols — the origin of my zero-knowledge work. Identifying Money Laundering on the Blockchain Completed InnovateUK CyberASAP project developing modern blockchain AML techniques with low false-positive rates. SPAR Mentoring SPAR Spring 2026: two mentorship projects bridging AI safety and zero-knowledge proofs.