Satu detail yang menurut saya mudah terlewatkan dalam infrastruktur data adalah perbedaan antara perhitungan yang benar dan jawaban yang dapat dipercaya.

Dasbor dapat menampilkan angka yang dihitung dengan sempurna, tetapi tetap menyesatkan jika data sumbernya tidak lengkap atau telah diubah. Biasanya, pengguna harus memercayai operator basis data sekaligus kode yang menghasilkan jawabannya. Ini merupakan asumsi serius ketika angka tersebut menjadi dasar pemberian pinjaman, pemeriksaan agunan, pembayaran, atau tindakan berikutnya dari agen AI.

Space and Time memisahkan komputasi dari verifikasi. Dokumentasinya menjelaskan komitmen kriptografis untuk tabel data yang diperbarui melalui konsensus validator. Prover dapat menjalankan kueri SQL secara off-chain dan menghasilkan Proof of SQL. Verifier dapat memeriksa apakah data sesuai dengan komitmennya dan apakah komputasi yang diminta telah dilakukan dengan benar. Kontrak pintar dapat memverifikasi bukti ini tanpa perlu menyimpan seluruh kumpulan data.

Batasannya penting. Bukti dapat menunjukkan bahwa suatu hasil berasal dari kumpulan data dan kueri yang telah dikomitmenkan. Namun, bukti itu tidak serta-merta membuktikan bahwa sumber aslinya jujur, lengkap, atau bermakna. Kualitas data dan proses pemasukan data tetap penting.

Perbedaan ini dapat menjadi penting ketika protokol DeFi mengandalkan informasi historis atau lintas rantai, serta ketika sistem AI bertindak berdasarkan catatan eksternal. Alih-alih menerima respons API hanya berdasarkan reputasinya, aplikasi dapat meminta bukti tentang bagaimana jawaban tersebut dihasilkan.

Komputasi yang dapat diverifikasi menawarkan jembatan antara kumpulan data off-chain berukuran besar dan keputusan on-chain. Nilainya akan bergantung pada apakah para pengembang menggunakannya saat pemeriksaan independen dapat mengubah hasil, alih-alih memperlakukan bukti sebagai hiasan.

Saya tertarik melihat bagaimana para pembangun akan menerapkan model ini.

#sxt $SXT @SpaceandTime