"AI yang mengutamakan privasi" hanyalah setengah dari cerita. Separuh lainnya adalah eksekusi yang dapat dibuktikan: – Model apa yang berjalan? – Masukan apa? – Keluaran apa? Inferensi yang dapat diverifikasi adalah lapisan yang hilang untuk sistem AI yang dapat dipercaya.