Mengapa membuktikan bahwa model berjalan dengan benar masih membutuhkan waktu lebih lama daripada menjalankannya?

Bukti zero-knowledge dari inferensi ML dapat memverifikasi bahwa sebuah model menghasilkan output tertentu dari input tertentu tanpa mengungkapkan bobotnya. Ini memungkinkan aplikasi kripto menggunakan output AI tanpa harus mempercayai pihak mana pun, tanpa bergantung pada TEE atau reputasi operator. Masalahnya terletak pada performa: menghasilkan bukti ZK untuk model berskala GPT-2 membutuhkan puluhan menit; pada skala GPT-3 diukur dalam hitungan jam. Aritmetika titik-apung dalam transformer dikompilasi secara tidak efisien ke dalam sirkuit aritmetika, dan mekanisme attention sangat mahal untuk dibuktikan. Atestasi berbasis TEE menutup celah ini tetapi memerlukan kepercayaan pada firmware vendor perangkat keras, bukan pada matematika. Hingga waktu pembuatan bukti turun dua hingga tiga orde besaran, setiap primitif AI yang dapat diverifikasi dalam kripto pada dasarnya hanya menukar satu asumsi kepercayaan dengan yang lain.