Ben Harack

@benharack.com

147 Followers 304 Following

I study the potential for artificial intelligence to trigger a world war and how to prevent that from happening. Currently I'm finishing my DPhil at Oxford and working with @aigioxfordmartin.bsky.social. benharack.com he/him

A schematic summary of the concept of verifiable confidential computing. A Prover is able to demonstrate something to the Verifier without either of them revealing to the other the entirety of their secrets (e.g., AI model for the Prover and sensitive test content for the Verifier). They arrange for cryptographic commitments to be made about the activities of the Prover. These can then later be used to ensure that the same data and code is provided in a neutral datacenter where verification computations can take place. These verification computations can be privacy-preserving and thus protect everyone's data while demonstrating that these digital objects follow rules.

Cover of the report "Verification for International AI Governance" published by the Oxford Martin AI Governance Initiative. Authors are: Ben Harack, Robert F. Trager, Anka Reuel, David Manheim, Miles Brundage, Onni Aarne, Aaron Scher, Yanliang Pan, Jenny Xiao, Kristy Loke, Sumaya Nur Adan, Guillem Bas, Nicholas A. Caputo, Julia C. Morse, Janvi Ahuja, Isabella Duan, Janet Egan, Ben Bucknall, Brianna Rosen, Renan Araujo, Vincent Boulanin, Ranjit Lall, Fazl Barez, Sanaa Alvira, Corin Katzke, Ahmad Atamli, Amro Awad