Mendemokratisasi Komputasi Tanpa Pengetahuan: Kekuatan Jaringan Bonsai RISC Zero - Blockchain Capital

Mendemokratisasi Komputasi Tanpa Pengetahuan: Kekuatan Jaringan Bonsai RISC Zero – Blockchain Capital

Node Sumber: 2773838

By Bart Stephens, Ryan Sproul, dan Yuan Hanli

Bayangkan sebuah dunia di mana privasi data, keamanan, dan kepercayaan tidak lagi menjadi perhatian, di mana rantai pasokan perangkat lunak transparan dan dapat diverifikasi, dan di mana aplikasi generasi baru dapat memanfaatkan kekuatan komputasi tanpa pengetahuan untuk menyelesaikan beberapa tantangan paling mendesak dari era digital. Ini adalah janji komputasi tanpa pengetahuan (ZK) dan alasan kami berinvestasi RISC Nol, sebuah perusahaan inovatif yang bertujuan untuk mendemokratisasi akses ke ZK melalui jaringan Bonsainya.

Komputasi tanpa pengetahuan (ZK) adalah primitif revolusioner yang memungkinkan aplikasi dan protokol memanfaatkan tiga sifat utama dari ringkas, benar, dan tanpa pengetahuan. Artinya, dengan memverifikasi bukti ZK (kebenaran), pemverifikasi mengetahui—dengan jaminan matematis—bahwa perhitungan dilakukan dengan benar.

Selain itu, bukti yang diverifikasi akan jauh lebih kecil (keringkasan) daripada perhitungan asli, dan properti pengetahuan nol bukti juga dapat dimanfaatkan untuk memastikan pemverifikasi tidak mempelajari apa pun tentang perhitungan itu sendiri. Perpaduan unik dari properti ini memiliki implikasi yang luas dan menyediakan cara baru untuk memverifikasi informasi. Bersama-sama, properti menyeimbangkan kebutuhan privasi, keamanan, dan kepercayaan, menawarkan potensi dunia digital yang lebih aman dan pribadi. Namun masih ada beberapa kendala sebelum ZK dapat mencapai potensi penuhnya.

Pertama, menjalankan komputasi di ZK memakan waktu terlalu lama dan terlalu mahal. Membuktikan waktu dan biaya harus turun secara drastis sebelum perhitungan kompleks di ZK dapat dilakukan. Kabar baiknya adalah bahwa ini menurun secara drastis: lintasan ZK membuktikan waktu dan biaya telah mengikuti tren yang sudah dikenal dalam sejarah teknologi—apakah itu Hukum Moore di mana biaya komputasi dibelah dua setiap dua tahun, Hukum Flatley di mana biaya untuk mengurutkan genom manusia turun pada tingkat yang bahkan lebih signifikan, atau hukum Kryder di mana kepadatan cakram magnetik berlipat ganda kira-kira setiap 13 bulan. Kemajuan arsitektur terbaru dalam sistem pembuktian (Plonky2, Hyperplonk, STARKs) bersama dengan kemajuan dalam kriptografi yang mendasari (Poseidon) telah menurunkan jumlah overhead yang ada untuk membuat bukti ZK dari perhitungan apa pun. Sementara kemajuan di bidang ini akan terus terjadi dengan kecepatan yang sama (terutama dengan masuknya bakat baru-baru ini ke ZK), membuktikan bahwa overhead juga akan mendapat manfaat dari kemajuan akselerasi perangkat keras (MSM, NTT), sesuatu yang sejauh ini belum dieksplorasi. .

Hambatan besar lainnya untuk adopsi massal ZK adalah matematika dan kriptografi yang sangat rumit yang melekat dalam sistem ZK. Tingkat kedalaman dan keahlian yang dibutuhkan untuk mendorong inovasi ZK sangat terbatas pada sekelompok kecil pengembang teknis yang sangat terampil.

Idealnya, pengembang memiliki kebebasan untuk menulis program dalam bahasa pilihan mereka sambil tetap memiliki kemampuan untuk membuktikan perhitungan tanpa pengetahuan, tanpa perlu menulis tangan dan merancang sirkuit dalam bahasa pemrograman khusus ZK tingkat rendah. Di sinilah platform Bonsai RISC Zero menjadi pengubah permainan bagi pengembang di seluruh dunia, dan itulah alasan kami berinvestasi di RISC Zero.

Dengan membuat mesin virtual tanpa pengetahuan (zkVM) yang meniru arsitektur set instruksi RISC-V (ISA), RISC Zero telah membangun sistem yang mampu membuktikan eksekusi kode tingkat rendah. Karena ISA adalah jembatan antara kode yang dapat dibaca manusia dan instruksi yang dapat ditafsirkan mesin, pencapaian ini menunjukkan bahwa jaringan Bonsai dapat membuktikan program tingkat tinggi apa pun yang dapat dikompilasi ke arsitektur ini. Dengan sebagian besar bahasa pemrograman modern kompatibel dengan RISC-V, Bonsai RISC Zero memungkinkan pelaksanaan hampir semua program komputer arbitrer tanpa pengetahuan.

Di masa depan di mana komputasi zero-knowledge (ZK) menjadi hal biasa, banyak aplikasi yang sebelumnya tidak mungkin akan diaktifkan. Ini tidak hanya mencakup aplikasi berbasis Ethereum yang memanfaatkan jaringan Bonsai RISC Zero sebagai co-processor—melakukan pekerjaan intensif sumber daya secara off-chain sebelum memverifikasi hasil secara on-chain—tetapi juga meluas ke aplikasi di luar crypto. Misalnya, Bonsai dapat memungkinkan peretas topi putih untuk membuktikan adanya kerentanan keamanan dan bug tanpa secara langsung mengungkapkan eksploit tersebut. Itu juga dapat mencegah serangan rantai pasokan di masa depan pada perangkat lunak dengan memungkinkan pengguna mengunduh dan memverifikasi bukti ZK untuk memastikan mereka menjalankan kode yang telah diaudit sebelumnya di Bonsai. Yang paling menarik, adopsi Bonsai yang meluas dapat mengarah pada kasus penggunaan yang sepenuhnya baru yang belum terbayangkan.

Menambah terobosan teknologi yang mengesankan dari RISC Zero adalah tim yang sangat kuat dan unik di belakangnya. Tiga pendiri—Brian Retford, Jeremy Bruestle, dan Frank Laub—telah saling kenal selama lebih dari 20 tahun. Sejarah bersama mereka termasuk membangun beberapa perusahaan bersama, yang terbaru adalah di ruang optimasi dan kompilasi AI dan akhirnya diakuisisi oleh Intel.

Setiap anggota dari ketiganya membawa banyak pengalaman ke RISC Zero—Brian mengasah keterampilannya di Google Cloud Platform, tempat dia mengerjakan sistem penetapan harga dan pengukuran; Jeremy, penggemar matematika seumur hidup, mengerjakan akselerasi GPU untuk pengurutan gen dan memiliki latar belakang kriptografi, HPC, dan keamanan; dan Frank, yang memiliki latar belakang yang kuat dalam kompiler dan telah merancang banyak basis kode. Dengan sejarah bersama dan keahlian yang beragam, the RISC Nol tim secara unik siap untuk memberikan komputasi tanpa pengetahuan kepada massa dan, berpotensi, membentuk kembali lanskap digital dalam prosesnya.

Saat kita melihat ke masa depan di mana komputasi tanpa pengetahuan tersebar luas, kemungkinan inovasi tidak terbatas. Jaringan Bonsai RISC Zero, dengan kemampuannya untuk mendukung berbagai bahasa pemrograman, akan mendemokratisasi perhitungan ZK dan memberdayakan pengembang untuk membuat aplikasi yang aman, pribadi, dan tidak dapat dipercaya di berbagai domain. Dari memperkuat langkah-langkah keamanan siber hingga meningkatkan kepercayaan pada rantai pasokan perangkat lunak dan secara drastis meningkatkan daya komputasi yang tersedia untuk aplikasi on-chain, potensi dampak komputasi tanpa pengetahuan sangatlah besar. Kombinasi waktu dan biaya pembuktian ZK yang menurun dengan cepat, tim yang berkomitmen di RISC Zero, dan kemunculan Bonsai sebagai platform komputasi serbaguna, menandai era baru dalam komputasi—di mana privasi, keamanan, dan kepercayaan dibangun di dalam strukturnya. dari dunia digital kita.


Pengungkapan: Blockchain Capital adalah investor di beberapa protokol yang disebutkan di atas.

Pandangan yang diungkapkan dalam setiap posting blog mungkin merupakan pandangan pribadi masing-masing penulis dan tidak mencerminkan pandangan Blockchain Capital dan afiliasinya. Baik Blockchain Capital maupun penulis tidak menjamin keakuratan, kecukupan atau kelengkapan informasi yang diberikan di setiap posting blog. Tidak ada representasi atau jaminan, tersurat maupun tersirat, dibuat atau diberikan oleh atau atas nama Blockchain Capital, penulis atau orang lain mengenai keakuratan dan kelengkapan atau keadilan informasi yang terkandung dalam setiap posting blog dan tidak ada tanggung jawab atau kewajiban yang diterima untuk informasi semacam itu. Tidak ada yang terkandung dalam setiap posting blog yang merupakan investasi, peraturan, hukum, kepatuhan atau pajak atau saran lainnya juga tidak dapat diandalkan dalam membuat keputusan investasi. Posting blog tidak boleh dilihat sebagai rekomendasi saat ini atau sebelumnya atau permintaan penawaran untuk membeli atau menjual sekuritas apa pun atau untuk mengadopsi strategi investasi apa pun. Posting blog mungkin berisi proyeksi atau pernyataan berwawasan ke depan lainnya, yang didasarkan pada keyakinan, asumsi, dan ekspektasi yang dapat berubah sebagai akibat dari banyak peristiwa atau faktor yang mungkin terjadi. Jika terjadi perubahan, hasil aktual dapat berbeda secara material dari yang diungkapkan dalam pernyataan berwawasan ke depan. Semua pernyataan berwawasan ke depan hanya berbicara pada tanggal pernyataan tersebut dibuat, dan baik Blockchain Capital maupun masing-masing penulis tidak bertanggung jawab untuk memperbarui pernyataan tersebut kecuali sebagaimana diwajibkan oleh hukum. Sejauh dokumen, presentasi, atau materi lain apa pun yang diproduksi, diterbitkan, atau didistribusikan oleh Blockchain Capital direferensikan dalam entri blog apa pun, materi tersebut harus dibaca dengan hati-hati untuk setiap penafian yang disediakan di dalamnya.

Stempel Waktu:

Lebih dari Modal Blockchain