Bagaimana jika kontrak pintar dapat memproses data sedemikian rupa sehingga mulus seperti basis data? Lagrange mengubah ide ini menjadi kenyataan dengan bukti nol-pengetahuan berbasis SQL, menawarkan cara yang efisien bagi pengembang untuk menjalankan komputasi yang dapat diverifikasi di on-chain. Inovasi ini membuka pintu untuk kemungkinan baru di DeFi dan skala blockchain.
Kami berbicara dengan Ismael Hishon-Rezaizadeh, Pendiri dan CEO Lagrange, tentang perjalanannya dari investasi Web2 ke pembangunan infrastruktur Web3 modern. Berikut adalah bagaimana timnya membentuk kembali pengalaman pengembangan blockchain.
Bisakah Anda mulai dengan memberikan pengantar kecil tentang perjalanan pribadi Anda ke Web3?
Saya adalah seorang investor Web2 sebelum mendirikan Lagrange. Saya bekerja untuk sebuah dana ventura kecil yang berbasis di San Francisco yang bernama Renegade Partners. Mereka telah mengumpulkan $100 juta dan sedang dalam proses mengumpulkan untuk kedua kalinya, dan akhirnya menjadi sekitar $110 juta. Saya berada di sana selama sekitar dua tahun, terutama melakukan investasi perangkat lunak B2B tahap awal dan infrastruktur pembayaran. Sebelum itu, saya adalah seorang insinyur yang bekerja pada rekayasa DeFi untuk sebuah perusahaan asuransi besar. Setelah meninggalkan ventura, saya mendirikan Lagrange.
Di awal, kami melihat batasan dalam pola pengembang yang dapat dibangun para insinyur dengan on-chain. Salah satu area yang kami identifikasi adalah kurangnya alat nol-pengetahuan yang efisien.
Bagaimana prosesor ZK berbasis SQL Lagrange berbeda dari sistem bukti ZK tradisional dalam hal skala dan fungsionalitas?
Ini adalah cara untuk membuktikan komputasi berbasis SQL atas data blockchain. Jika Anda ingin menjalankan kueri yang ingin Anda konsumsi secara terverifikasi dalam kontrak Anda—seperti rata-rata bergerak dari harga atau volatilitas yang diterapkan atas data historis—Anda akan membutuhkan solusi nol-pengetahuan yang dapat melakukan itu secara efisien dengan pengalaman pengembang yang baik. Kami membiarkan Anda menulis komputasi Anda dalam SQL, yang merupakan bahasa berbasis kueri umum untuk operasi basis data dan komputasi data. Kami dapat membuktikan kueri tersebut dalam nol-pengetahuan sehingga kontrak Anda dapat menggunakannya di on-chain.
Bagaimana antarmuka kueri SQL ini menyederhanakan alur kerja pengembang dibandingkan dengan membuat sirkuit kustom?
Ini memungkinkan Anda untuk menentukan komputasi Anda dalam bahasa yang mudah digunakan dan familiar, daripada menulis sirkuit secara manual. Anda menulis kueri dalam SQL, yang umumnya jauh lebih sederhana digunakan ketika Anda ingin memanipulasi data dibandingkan menulis dalam bahasa lain.
Bisakah Anda menjelaskan lebih lanjut tentang solusi lain yang disediakan oleh Lagrange?
Kami membangun dua hal inti. Yang pertama adalah jaringan pembuktian terdesentralisasi, dan yang kedua adalah koprosesor. Jaringan pembuktian terdesentralisasi adalah jaringan di mana kami dapat menghasilkan bukti nol-pengetahuan secara terpusat dengan menggunakan sejumlah besar operator yang berpartisipasi dalam proses generasi bukti.
Kami memiliki beberapa operator institusi besar seperti Coinbase, Kraken, OKX, P2P, Figment, Luganodes, Infstones, dan Black Sand yang berpartisipasi dengan meminjamkan sumber daya komputasi ke jaringan. Bukti ini kemudian dihasilkan dan disampaikan kepada pengguna akhir.
Pengumuman besar yang kami miliki adalah tentang menggunakan jaringan kami untuk menghasilkan bukti untuk roll-up di platform seperti Caldera dan Altair.
Bagaimana teknologi Lagrange memungkinkan aplikasi untuk skala di berbagai blockchain?
Kami tidak benar-benar terlalu fokus pada pekerjaan lintas rantai. Kami memiliki produk lama yang kami bangun untuk bukti status yang kami jual di berbagai protokol, tetapi itu bukan fokus utama kami di berbagai rantai.
Apa implikasi koprosesor Lagrange terhadap skalabilitas jangka panjang Ethereum?
Ini benar-benar membuka ruang desain bagi pengembang dengan memberikan akses ke komputasi yang dapat diverifikasi dalam skala besar. Ketika Anda dapat melakukan komputasi atas data historis secara luas, itu memungkinkan Anda untuk membangun hal-hal on-chain yang sebelumnya tidak mungkin. Di DeFi, kami bergantung pada umpan harga dan volatilitas, tetapi dengan koprosesor seperti milik kami, Anda dapat menghapus banyak ketergantungan tersebut dan cukup menggunakan data on-chain.
Apa yang menginspirasi fokus pada kueri ultra-skala, dan peluang unik apa yang dibuka?
Apa yang menginspirasinya adalah batasan dalam mengembangkan kontrak pintar on-chain. Tidak ada cara bagi kontrak Anda untuk mengakses data historis. Sebelumnya, pengembang harus menggunakan pola desain yang tidak efisien untuk mengakumulasi hal-hal dalam keadaan, yang mahal, tidak efisien dalam gas, dan tidak selalu aman. Kemampuan untuk secara terverifikasi men-query data historis dari kontrak benar-benar membuka ruang desain tentang apa yang dapat Anda bangun.
Apakah Anda lebih banyak bekerja dengan pengembang di AS, Eropa, atau wilayah APAC?
Kami cukup global. Saya berbasis di AS, dan banyak anggota tim kami berbasis di Eropa, jadi ada bias regional yang jelas terhadap geografi tersebut. Tetapi kami benar-benar berusaha untuk se-global mungkin. Saya menghadiri DevCon di Bangkok, misalnya, yang merupakan konferensi yang hebat.
Bagaimana sistem Anda mengelola masalah latensi potensial dalam generasi bukti terdistribusi?
Kami mampu menghasilkan bukti dengan cara yang sangat dapat diparalelkan. Kami memiliki jaringan operator besar di mana kami dapat secara efektif mendistribusikan komputasi dan kemudian menggabungkannya kembali. Ini memungkinkan kami untuk semakin paralel untuk mengurangi waktu generasi bukti. Selain itu, teknologi ZK semakin cepat, dan pembuktian kami semakin baik, yang secara alami akan mengurangi latensi.
Bisakah Anda berbagi wawasan tentang kemitraan dengan protokol seperti Arbitrum, BASE, dan proyek lainnya?
Kami suka menganggap diri kami sebagai perusahaan yang kredibel netral. Kami tidak menolak orang-orang yang ingin menggunakan bukti yang kami hasilkan. Kami senang bekerja dengan sebanyak mungkin sistem dan produk. Kami telah mengintegrasikan koprosesor kami dengan BASE, Arbitrum, dan lainnya. Kami juga secara aktif bekerja dengan rollup ZK untuk menghasilkan bukti validitas, dan kami akan mengumumkan kemitraan dengan ekosistem layanan rollup Layer 2 Caldera dan Altair.
Apa yang selanjutnya untuk Lagrange setelah peluncuran mainnet, dan bagaimana Anda berencana untuk mempertahankan inovasi?
Kami memiliki tim riset besar yang dipimpin oleh ilmuwan kepala kami, Charalampos (Babis) Papamanthou, yang menjabat sebagai ketua departemen kriptografi di Yale. Peneliti lain, Dimitris Papadopoulo, adalah profesor di HKUST. Kami berencana untuk mengubah sistem pembuktian dasar kami seiring dengan kemajuan teknologi terkini. Kami sedang mengeksplorasi akselerasi perangkat keras, termasuk chip ASIC, GPU, dan VPU Fabric.
Inovasi apa yang Anda antisipasi dalam teknologi bukti ZK dan industri blockchain yang lebih luas?
ZK semakin cepat di semua aspek, dengan perbaikan dalam akselerasi perangkat keras dan sistem pembuktian yang mendasarinya. Kami bersemangat untuk bekerja dengan bidang kecil seperti Mersenne 31 dan Goldilocks, yang telah membuat STARK lebih cepat. Kami melihat penurunan waktu rekursi, kerja akselerasi perangkat keras dengan kelompok seperti Fabric dan Ingonyama, serta inovasi dalam rekursi tingkat lebih tinggi yang memungkinkan lebih banyak komputasi paralel.
Postingan Dari DeFi ke Rollups, Teknologi yang Membuka Komputasi Blockchain yang Dapat Diskalakan dan Dapat Diverifikasi muncul pertama kali di Metaverse Post.