Sebagai lapisan komputasi verifikasi untuk AI dan blockchain, Space and Time (SxT) hari ini merilis prover SQL di GitHub, ini adalah prover ZK high-performance untuk pemrosesan data.
SQL prover adalah jenis prover ZK yang dikembangkan oleh SxT, yang memastikan kalkulasi yang akurat dari kueri database SQL pada data yang tidak terpengaruh oleh perubahan melalui kriptografi. Dengan menggunakan prover SQL, pengembang dapat menghitung dataset on-chain dan off-chain tanpa perlu kepercayaan, dan secara tepat waktu membuktikan hasilnya kepada smart contract selama proses transaksi, untuk mendukung protokol DeFi yang lebih kompleks berbasis data.
SxT Co-Founder and Research Director, Dr. Jay White, inventor of the SQL Prover Protocol, said, “Space and Time is pleased to lead Web3 into a new era of data-driven smart contracts and next-generation DeFi. Our team has pioneered sub-second ZK Provers so that smart contracts and AI agents can query chain activity and off-chain data during transactions and receive trustless SQL query results on-chain without waiting for 30 minutes of proof time.”
Prover SQL telah dirilis dalam versi alpha kepada sekelompok klien SxT yang dipilih pada bulan Agustus. Dengan peluncuran hari ini di GitHub, protokol ini sekarang terbuka untuk umum. Anggota komunitas dapat menjalankan kueri tanpa kepercayaan di SxT di Space and Time Studio, pengembang dapat mengunduh repositori langsung dari GitHub.
SQL Prover adalah prover ZK pertama yang berjalan dalam hitungan detik. Dalam uji benchmark terbaru dari tim kriptografi SxT, protokol ini dapat menjalankan query analisis lebih dari 100 ribu baris pada satu GPU dalam waktu kurang dari satu detik, dan dapat menggabungkan data indeks jutaan baris dalam waktu blok Ethereum pada satu perangkat NVIDIA T4.
Dibandingkan dengan zkVM umum dan coprocessor, SQL prover menyediakan arsitektur dengan performa yang lebih tinggi untuk pemrosesan data dalam jumlah besar. Meskipun zkVM umum menyediakan solusi yang skalabel untuk perhitungan apa pun, kecepatan bukti pemrosesan data sangat lambat.
Pembuktian SQL dapat diintegrasikan dengan zkVM ini untuk memberikan sumber data yang diverifikasi sehingga kode apa pun dapat dieksekusi. Space and Time mendorong dan mengundang anggota komunitas serta tim teknik ZKP lain untuk berkolaborasi di repo. Pembuktian dapat diintegrasikan ke dalam database SQL apa pun (seperti Google BigQuery), baik terpusat maupun terdesentralisasi, dan telah digunakan di beberapa aplikasi Web3 terkenal, institusi keuangan, dan perusahaan.
Space and Time adalah lapisan komputasi yang dapat diverifikasi untuk kecerdasan buatan dan blockchain, menggabungkan data on-chain dan off-chain yang tidak dapat diubah, untuk menyediakan skenario aplikasi perusahaan untuk smart contract dan LLM (Large Language Model). Space and Time telah mengembangkan kriptografi baru yang disebut SQL Prover, yang memungkinkan pengembang untuk langsung menghubungkan hasil analisis ke smart contract, sehingga membuka banyak skenario aplikasi baru yang kuat dan logika bisnis di teknologi blockchain. Space and Time dibangun dari awal sebagai platform data multi-chain yang melayani layanan keuangan, game, DeFi, atau proyek apa pun yang memerlukan validasi data di antara perusahaan, blockchain, dan kecerdasan buatan.
Untuk informasi lebih lanjut, kunjungi: Website | Twitter | Discord | Telegram | LinkedIn | YouTube