2025 04 Aria

Awarded ARIA funding for our project on privacy-preserving AI safety verification using zero-knowledge proofs (with Mirco Giacobbe and Yang Zhang).