Komputasi yang dapat diverifikasi dan kebenaran yang terverifikasi bukanlah hal yang sama, dan perbedaan itu lebih penting daripada yang disadari kebanyakan orang.
Space and Time mengembangkan Proof of SQL, sebuah sistem pembuktian tanpa pengetahuan di mana seorang prover mengeksekusi kueri SQL terhadap data yang telah di-commit secara kriptografis dan menghasilkan bukti. Seorang verifier, baik itu kontrak pintar on-chain maupun klien off-chain, kemudian dapat memeriksa bahwa hasilnya cocok dengan kueri yang ditentukan dan dataset yang di-commit tanpa menjalankannya ulang. Itu menutup celah kepercayaan yang nyata di lapisan komputasi.
Berikut sebuah hipotesis untuk menggambarkan batasnya: bayangkan sebuah dana real estat yang ditokenisasi menyimpan angka cadangan di tabel Space and Time. Dalam contoh ini, Proof of SQL dapat memverifikasi kueri yang menjumlahkan cadangan yang tercatat untuk dana tersebut. Itu tidak dapat memastikan apakah entri-entri tersebut cocok dengan aset nyata yang disimpan off-chain. Bukti tersebut mencakup integritas komputasi, bukan apakah input eksternal mencerminkan kenyataan.
Hal ini penting di seluruh AI, tokenisasi, dan DeFi karena ketiganya bergantung pada pengambilan data dalam skala besar. Agen AI yang mengkueri analitik on-chain memperoleh jaminan bahwa hasilnya tidak dimanipulasi antara basis data dan pengiriman. Protokol DeFi yang memeriksa rasio agunan mendapatkan hal yang sama. Lapisan entri data tetap menjadi tantangan terpisah yang harus ditangani oleh oracle, audit, atau mekanisme lainnya. Memahami di mana batas pembuktian dimulai dan berakhir adalah yang membedakan analisis yang terinformasi dari sensasi.
#sxt $SXT @SpaceandTime
Space and Time mengembangkan Proof of SQL, sebuah sistem pembuktian tanpa pengetahuan di mana seorang prover mengeksekusi kueri SQL terhadap data yang telah di-commit secara kriptografis dan menghasilkan bukti. Seorang verifier, baik itu kontrak pintar on-chain maupun klien off-chain, kemudian dapat memeriksa bahwa hasilnya cocok dengan kueri yang ditentukan dan dataset yang di-commit tanpa menjalankannya ulang. Itu menutup celah kepercayaan yang nyata di lapisan komputasi.
Berikut sebuah hipotesis untuk menggambarkan batasnya: bayangkan sebuah dana real estat yang ditokenisasi menyimpan angka cadangan di tabel Space and Time. Dalam contoh ini, Proof of SQL dapat memverifikasi kueri yang menjumlahkan cadangan yang tercatat untuk dana tersebut. Itu tidak dapat memastikan apakah entri-entri tersebut cocok dengan aset nyata yang disimpan off-chain. Bukti tersebut mencakup integritas komputasi, bukan apakah input eksternal mencerminkan kenyataan.
Hal ini penting di seluruh AI, tokenisasi, dan DeFi karena ketiganya bergantung pada pengambilan data dalam skala besar. Agen AI yang mengkueri analitik on-chain memperoleh jaminan bahwa hasilnya tidak dimanipulasi antara basis data dan pengiriman. Protokol DeFi yang memeriksa rasio agunan mendapatkan hal yang sama. Lapisan entri data tetap menjadi tantangan terpisah yang harus ditangani oleh oracle, audit, atau mekanisme lainnya. Memahami di mana batas pembuktian dimulai dan berakhir adalah yang membedakan analisis yang terinformasi dari sensasi.
#sxt $SXT @SpaceandTime
