Dilema “Perpindahan Kepercayaan” untuk AI yang Dapat Diverifikasi
Saat membaca dokumen teknis, saya melihat satu kalimat: setiap kali inferensi memperoleh “bukti yang dapat diverifikasi”, pada akhirnya titik sandaran kepercayaan adalah tanda tangan AWS, bukan matematika.
Kalimat itu membuat saya berhenti sejenak. Ketika node TEE didaftarkan ke blockchain, logika verifikasinya adalah “memeriksa apakah bukti ditandatangani oleh AWS Nitro root CA”. Intinya, ini bukan “tanpa perlu percaya”, melainkan memindahkan kepercayaan dari pihak proyek kepada AWS.
Yang lebih membuat merinding adalah sejarah keamanan TEE itu sendiri. Intel SGX diperkenalkan pada 2015 dan dihentikan Intel pada 2022; selama tujuh tahun, banyak sekali celah hingga disebut “seperti saringan”. L1TF/Foreshadow dapat membaca data di area terisolasi SGX secara langsung lewat side-channel. Plundervolt dapat merusak integritas area terisolasi secara langsung melalui manipulasi tegangan.
Lapisan verifikasi OPG tidak lebih kokoh dibanding para pendahulunya. Namun yang paling membuat pemegangnya tidak merasa aman bukanlah celah perangkat kerasnya semata, melainkan masalah logika yang lebih mendasar: TEE bisa membuktikan “kode berjalan di enclave dan tidak dimodifikasi”, tetapi tidak bisa membuktikan “kode itu sendiri bebas dari bug”. Jika perangkat lunak yang dijalankan node inferensi memiliki celah logika, TEE tetap akan menandatanganinya dan menaikkannya ke rantai.
“Bukti yang dapat diverifikasi” yang Anda terima hanya memverifikasi bahwa “kode tidak disentuh orang”, bukan bahwa “kode menghitung dengan benar”. Begitu TEE berhasil ditembus, privasi dan integritas dari seluruh lapisan verifikasi akan seketika menjadi nol.
Anda tidak percaya pada matematika, melainkan pada sebuah chip yang setiap saat bisa bermasalah.
#OPG $OPG @OpenGradient $BTC
Saat membaca dokumen teknis, saya melihat satu kalimat: setiap kali inferensi memperoleh “bukti yang dapat diverifikasi”, pada akhirnya titik sandaran kepercayaan adalah tanda tangan AWS, bukan matematika.
Kalimat itu membuat saya berhenti sejenak. Ketika node TEE didaftarkan ke blockchain, logika verifikasinya adalah “memeriksa apakah bukti ditandatangani oleh AWS Nitro root CA”. Intinya, ini bukan “tanpa perlu percaya”, melainkan memindahkan kepercayaan dari pihak proyek kepada AWS.
Yang lebih membuat merinding adalah sejarah keamanan TEE itu sendiri. Intel SGX diperkenalkan pada 2015 dan dihentikan Intel pada 2022; selama tujuh tahun, banyak sekali celah hingga disebut “seperti saringan”. L1TF/Foreshadow dapat membaca data di area terisolasi SGX secara langsung lewat side-channel. Plundervolt dapat merusak integritas area terisolasi secara langsung melalui manipulasi tegangan.
Lapisan verifikasi OPG tidak lebih kokoh dibanding para pendahulunya. Namun yang paling membuat pemegangnya tidak merasa aman bukanlah celah perangkat kerasnya semata, melainkan masalah logika yang lebih mendasar: TEE bisa membuktikan “kode berjalan di enclave dan tidak dimodifikasi”, tetapi tidak bisa membuktikan “kode itu sendiri bebas dari bug”. Jika perangkat lunak yang dijalankan node inferensi memiliki celah logika, TEE tetap akan menandatanganinya dan menaikkannya ke rantai.
“Bukti yang dapat diverifikasi” yang Anda terima hanya memverifikasi bahwa “kode tidak disentuh orang”, bukan bahwa “kode menghitung dengan benar”. Begitu TEE berhasil ditembus, privasi dan integritas dari seluruh lapisan verifikasi akan seketika menjadi nol.
Anda tidak percaya pada matematika, melainkan pada sebuah chip yang setiap saat bisa bermasalah.
#OPG $OPG @OpenGradient $BTC