Develops cryptographic solutions using zero-knowledge proofs to enhance security and trust in AI/ML systems, facilitating model verification and performance monitoring. Focuses on open-source development to foster accountability and robust standards in AI safety.