#sxt $SXT @SpaceandTime Ada sesuatu yang terasa janggal saat saya membaca dokumentasi Proof of SQL... bukti diverifikasi secara on-chain dengan biaya sekitar 150 ribu gas, dan prosesnya tidak terlalu memedulikan seberapa besar tabelnya.

Verifikasi bisa hanya menghabiskan sekitar 150 ribu gas, sementara kueri agregat atas lebih dari 1 juta baris dapat dibuktikan dalam waktu kurang dari satu detik pada satu GPU T4. Tolok ukur sebelumnya adalah 3,2 detik untuk sejuta baris, jadi prover-nya kini jauh lebih cepat. Tugas kontrak tetap sederhana. Kontrak hanya memeriksa bukti ringkas dan tidak pernah menyentuh datanya.

Menurut saya, pembagian tugas itulah inti ceritanya. Protokol pinjaman dapat mengandalkan rata-rata utilisasi selama 90 hari tanpa harus memercayai pihak yang menghitungnya. Agen AI dapat menunjukkan asal angka-angkanya. Angka cadangan dana tokenisasi dapat diperiksa berdasarkan tabel yang mendasarinya. Mekanismenya sama setiap kali, itulah sebabnya @SpaceandTime lebih menarik bagi saya daripada yang tersirat dari label "data terverifikasi".

Keraguan saya ada di sisi pembuktian. Memeriksa bukti itu murah, tetapi waktu pembuktian bertambah seiring ukuran tabel. Jika skalanya bertambah secara linear (perkiraan kasar saya sendiri, bukan tolok ukur yang dipublikasikan), tabel berisi 100 juta baris akan mengubah hitungan dari detik menjadi menit untuk setiap kueri pada satu GPU. Permintaan sebesar itu akan menjadikan akses GPU sebagai hambatan, lalu muncul pertanyaan: siapa yang akhirnya menjalankan para prover?

Mungkin di situlah $SXT diuji, karena fungsinya adalah menyelaraskan pihak yang membuat bukti dengan pihak yang membayar. #SXT

Jika permintaan pembuktian suatu saat meningkat tajam, apakah jaringan tetap terbuka bagi operator baru, atau justru bergeser ke beberapa farm GPU besar?