#sxt $SXT @SpaceandTime
Setiap kali saya mencoba mengecek berapa banyak uang yang saya habiskan untuk kopi tahun lalu, aplikasi perbankan saya macet jika saya menggulir melewati data sembilan puluh hari terakhir. Untuk data yang lebih lama, aplikasi itu memaksa saya meminta laporan rekening bulanan dalam PDF dan menunggu. Begitulah cara sebagian besar sistem state tetap berjalan cepat. Data terbaru yang sering diakses disimpan di bagian depan, sementara riwayatnya disimpan jauh di tempat yang jarang diakses, dengan asumsi tak ada yang perlu menghitung catatan selama tiga tahun saat transaksi sedang berlangsung.
Kontrak pintar memiliki keterbatasan yang sama persis. Protokol pinjaman atau hook Uniswap hanya melihat variabel state saat ini, bukan aktivitas sebuah wallet enam bulan lalu. Jika agen otomatis atau dana yang ditokenisasi membutuhkan volume perdagangan historis dari beberapa pool, biasanya mereka harus menunggu pengindeks offchain menghitung angkanya dan mengirimkan kembali angka yang belum diverifikasi ke onchain.
Space and Time berupaya mengatasi hambatan itu dengan Proof of SQL. Saat sebuah kontrak atau aplikasi meminta kueri atas catatan historis, prover offchain menjalankan perhitungan SQL terhadap metadata tabel yang telah dikomitmenkan, lalu menghasilkan bukti zero-knowledge menggunakan perangkat keras GPU. Hasil dan bukti kriptografisnya dikirim kembali ke kontrak verifier onchain. Jika prover melewatkan satu baris atau memalsukan perhitungannya, pemeriksaan verifikasi akan gagal dan kontrak menolak hasilnya.
Awalnya saya mengira ini memberi kontrak pintar memori instan dan gratis. Namun, setelah melihat alurnya, ternyata ini mengubah masalah penyimpanan state menjadi kompromi antara koordinasi dan latensi. Kontrak verifier memeriksa bukti dengan cepat, tetapi pemanggil tetap harus menunggu callback asinkron sementara prover offchain menyusun perhitungan polinomial, dan seseorang harus membayar gas untuk memverifikasi bukti itu di chain tujuan. Biaya membaca riwayat tidak dihilangkan, hanya dialihkan dari penyimpanan onchain permanen ke komputasi per kueri dan penundaan callback. Saya masih bertanya-tanya seberapa sempit jendela blok yang bisa dicapai sebelum swap DeFi berlangsung lebih cepat daripada proses pembuatan bukti.
Penafian: Membeli SXT berisiko. Anda disarankan untuk melakukan riset sendiri (DYOR) dan meminta saran profesional sebelum membeli SXT atau mata uang kripto lainnya.
Setiap kali saya mencoba mengecek berapa banyak uang yang saya habiskan untuk kopi tahun lalu, aplikasi perbankan saya macet jika saya menggulir melewati data sembilan puluh hari terakhir. Untuk data yang lebih lama, aplikasi itu memaksa saya meminta laporan rekening bulanan dalam PDF dan menunggu. Begitulah cara sebagian besar sistem state tetap berjalan cepat. Data terbaru yang sering diakses disimpan di bagian depan, sementara riwayatnya disimpan jauh di tempat yang jarang diakses, dengan asumsi tak ada yang perlu menghitung catatan selama tiga tahun saat transaksi sedang berlangsung.
Kontrak pintar memiliki keterbatasan yang sama persis. Protokol pinjaman atau hook Uniswap hanya melihat variabel state saat ini, bukan aktivitas sebuah wallet enam bulan lalu. Jika agen otomatis atau dana yang ditokenisasi membutuhkan volume perdagangan historis dari beberapa pool, biasanya mereka harus menunggu pengindeks offchain menghitung angkanya dan mengirimkan kembali angka yang belum diverifikasi ke onchain.
Space and Time berupaya mengatasi hambatan itu dengan Proof of SQL. Saat sebuah kontrak atau aplikasi meminta kueri atas catatan historis, prover offchain menjalankan perhitungan SQL terhadap metadata tabel yang telah dikomitmenkan, lalu menghasilkan bukti zero-knowledge menggunakan perangkat keras GPU. Hasil dan bukti kriptografisnya dikirim kembali ke kontrak verifier onchain. Jika prover melewatkan satu baris atau memalsukan perhitungannya, pemeriksaan verifikasi akan gagal dan kontrak menolak hasilnya.
Awalnya saya mengira ini memberi kontrak pintar memori instan dan gratis. Namun, setelah melihat alurnya, ternyata ini mengubah masalah penyimpanan state menjadi kompromi antara koordinasi dan latensi. Kontrak verifier memeriksa bukti dengan cepat, tetapi pemanggil tetap harus menunggu callback asinkron sementara prover offchain menyusun perhitungan polinomial, dan seseorang harus membayar gas untuk memverifikasi bukti itu di chain tujuan. Biaya membaca riwayat tidak dihilangkan, hanya dialihkan dari penyimpanan onchain permanen ke komputasi per kueri dan penundaan callback. Saya masih bertanya-tanya seberapa sempit jendela blok yang bisa dicapai sebelum swap DeFi berlangsung lebih cepat daripada proses pembuatan bukti.
Penafian: Membeli SXT berisiko. Anda disarankan untuk melakukan riset sendiri (DYOR) dan meminta saran profesional sebelum membeli SXT atau mata uang kripto lainnya.