Teks asli: Bart Stephens, Ryan Sproule, dan Yuan Han Li,
《Mendemokratisasi Komputasi Tanpa Pengetahuan: Kekuatan Jaringan Bonsai RISC Zero》
Editor: Zen, PANews
Pada 19 Juli, RISC Zero, sebuah perusahaan infrastruktur yang dirancang untuk membantu pengembang mengembangkan perangkat lunak tanpa bukti, mengumumkan penyelesaian putaran pembiayaan Seri A senilai $40 juta, dipimpin oleh Blockchain Capital, dengan partisipasi dari Galaxy Digital, IOSG, dan lainnya. Sebagai investor utama, Blockchain Capital menulis sebuah artikel yang menganalisis perkembangan komputasi tanpa pengetahuan, karakteristik dan keunggulan RISC Zero, dan PANews menyusunnya.
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 yang paling mendesak. dari era digital. Ini adalah janji komputasi zero-knowledge (ZK) dan mengapa kami berinvestasi di RISC Zero, sebuah perusahaan perintis yang bertujuan untuk mendemokratisasi akses ke ZK melalui jaringan Bonsai-nya.
Komputasi tanpa pengetahuan adalah primitif revolusioner yang memungkinkan aplikasi dan protokol mengeksploitasi tiga sifat utama kesederhanaan, kebenaran, dan pengetahuan nol. Ini berarti bahwa dengan memverifikasi bukti ZK (kebenaran), pemverifikasi dapat mengetahui dengan jaminan hampir pasti bahwa perhitungan dilakukan dengan benar.
Selain itu, bukti yang diverifikasi akan jauh lebih ringkas daripada perhitungan aslinya, dan properti tanpa pengetahuan dari bukti tersebut juga dapat dimanfaatkan untuk memastikan bahwa pemverifikasi tidak mengetahui apa pun tentang perhitungan itu sendiri. Kombinasi unik dari properti ini memiliki implikasi yang luas dan memberikan cara baru untuk memverifikasi informasi. Bersama-sama, properti ini menyeimbangkan kebutuhan akan privasi, keamanan, dan kepercayaan, menawarkan potensi dunia digital yang lebih aman dan lebih privat. Namun masih ada beberapa rintangan sebelum ZK dapat mencapai potensi penuhnya.
Pertama, menjalankan perhitungan di ZK terlalu memakan waktu dan mahal. Waktu pembuktian dan biaya harus turun secara dramatis untuk mengaktifkan komputasi kompleks di ZK. Kabar baiknya adalah bahwa ini menurun secara dramatis: lintasan waktu dan biaya bukti ZK telah mengikuti tren yang sudah dikenal dalam sejarah teknologi — apakah itu Hukum Moore (biaya komputasi dibelah dua setiap dua tahun), Hukum Flatley (biaya mengurutkan laju penurunan lambat manusia) atau Hukum Clyde (kepadatan disk berlipat ganda kira-kira setiap 13 bulan). Kemajuan arsitektur terkini dalam sistem bukti (Plonky2, Hyperplonk, STARK) dan kemajuan dalam kriptografi dasar (Poseidon) mengurangi biaya tambahan yang diperlukan untuk membuat bukti ZK dari perhitungan apa pun. Dan kemajuan di bidang ini akan terus terjadi dengan kecepatan yang sama (terutama 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 kurang dimanfaatkan.
Hambatan besar lainnya untuk adopsi massal ZK adalah matematika dan kriptografi yang sangat kompleks yang melekat dalam sistem ZK. Kedalaman dan tingkat keahlian yang dibutuhkan untuk mendorong inovasi ZK hanya tersedia untuk sekelompok kecil pengembang teknologi yang sangat terampil.
Idealnya, pengembang akan bebas untuk menulis program dalam bahasa favorit mereka sambil tetap dapat membuktikan perhitungan dengan pengetahuan nol tanpa harus menulis input 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 mengapa kami berinvestasi di RISC Zero.
Dengan membuat mesin virtual tanpa pengetahuan (zkVM) yang mengemulasi arsitektur set instruksi RISC-V (ISA), RISC Zero 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 berarti bahwa jaringan Bonsai dapat membuktikan bahwa program tingkat tinggi apa pun dapat dikompilasi ke arsitektur ini. Karena sebagian besar bahasa pemrograman modern kompatibel dengan RISC-V, Bonsai RISC Zero mampu mengeksekusi hampir semua program komputer sewenang-wenang tanpa pengetahuan.
Di masa depan di mana komputasi zero-knowledge (ZK) menjadi umum, banyak aplikasi yang sebelumnya mustahil akan menjadi mungkin. Ini tidak hanya mencakup aplikasi berbasis Ethereum yang menggunakan jaringan Bonsai RISC Zero sebagai koprosesor (melakukan pekerjaan off-chain intensif sumber daya sebelum memvalidasi hasil on-chain), tetapi juga akan melampaui cryptocurrency. Bonsai, misalnya, memungkinkan peretas topi putih membuktikan keberadaan lubang keamanan dan bug tanpa mengungkapkannya secara langsung. Itu juga dapat mencegah serangan rantai pasokan di masa depan pada perangkat lunak dengan memungkinkan pengguna mengunduh dan memverifikasi bukti ZK untuk memastikan kode yang mereka jalankan telah diaudit sebelumnya di Bonsai. Yang paling menarik, adopsi Bonsai yang meluas dapat menyebabkan kasus penggunaan yang sama sekali baru yang belum terbayangkan.
Selain terobosan teknologi yang mengesankan, terdapat tim yang kuat dan unik di balik RISC Zero. **Tiga pendiri, Brian Retford, Jeremy Bruestle, dan Frank Laub, telah saling kenal selama lebih dari 20 tahun. Pengalaman bersama mereka termasuk mendirikan beberapa perusahaan, yang terakhir adalah usaha pengoptimalan dan kompilasi AI yang akhirnya diakuisisi oleh Intel. **
Setiap anggota trio membawa banyak pengalaman ke RISC Zero: Brian telah mengerjakan sistem penetapan harga dan pengukuran di Google Cloud Platform; Jeremy adalah penggemar matematika seumur hidup yang mengerjakan akselerasi GPU untuk pengurutan genetik, dan Dengan latar belakang kriptografi, performa tinggi komputasi (HPC), dan keamanan; Frank memiliki latar belakang yang kuat dalam kompiler dan telah membangun banyak basis kode. Dengan sejarah bersama dan keahlian yang beragam, tim RISC Zero diposisikan secara unik untuk menghadirkan komputasi tanpa pengetahuan kepada massa, berpotensi membentuk kembali lanskap digital dalam prosesnya.
Saat kita melihat ke masa depan di mana komputasi tanpa pengetahuan tersedia secara luas, kemungkinan inovasi tidak terbatas. Mampu mendukung berbagai bahasa pemrograman, jaringan Bonsai RISC Zero akan mendemokratisasi komputasi ZK dan memungkinkan pengembang membuat aplikasi yang aman, pribadi, dan tanpa kepercayaan di berbagai domain. Dari memperkuat langkah-langkah keamanan siber hingga meningkatkan kepercayaan pada rantai pasokan perangkat lunak hingga secara dramatis meningkatkan daya komputasi yang tersedia untuk aplikasi on-chain, potensi dampak komputasi tanpa pengetahuan sangatlah besar. Waktu dan biaya bukti ZK yang menurun dengan cepat, tim setia RISC Zero, dan kemunculan Bonsai sebagai platform komputasi serbaguna menandai era baru komputasi—dengan privasi, keamanan, dan kepercayaan yang tertanam dalam jalinan dunia digital kita.
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Blockchain Capital: Mengapa kami memimpin putaran pendanaan $40 juta perusahaan infrastruktur ZK RISC Zero?
Teks asli: Bart Stephens, Ryan Sproule, dan Yuan Han Li,
《Mendemokratisasi Komputasi Tanpa Pengetahuan: Kekuatan Jaringan Bonsai RISC Zero》
Editor: Zen, PANews
Pada 19 Juli, RISC Zero, sebuah perusahaan infrastruktur yang dirancang untuk membantu pengembang mengembangkan perangkat lunak tanpa bukti, mengumumkan penyelesaian putaran pembiayaan Seri A senilai $40 juta, dipimpin oleh Blockchain Capital, dengan partisipasi dari Galaxy Digital, IOSG, dan lainnya. Sebagai investor utama, Blockchain Capital menulis sebuah artikel yang menganalisis perkembangan komputasi tanpa pengetahuan, karakteristik dan keunggulan RISC Zero, dan PANews menyusunnya.
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 yang paling mendesak. dari era digital. Ini adalah janji komputasi zero-knowledge (ZK) dan mengapa kami berinvestasi di RISC Zero, sebuah perusahaan perintis yang bertujuan untuk mendemokratisasi akses ke ZK melalui jaringan Bonsai-nya.
Komputasi tanpa pengetahuan adalah primitif revolusioner yang memungkinkan aplikasi dan protokol mengeksploitasi tiga sifat utama kesederhanaan, kebenaran, dan pengetahuan nol. Ini berarti bahwa dengan memverifikasi bukti ZK (kebenaran), pemverifikasi dapat mengetahui dengan jaminan hampir pasti bahwa perhitungan dilakukan dengan benar.
Selain itu, bukti yang diverifikasi akan jauh lebih ringkas daripada perhitungan aslinya, dan properti tanpa pengetahuan dari bukti tersebut juga dapat dimanfaatkan untuk memastikan bahwa pemverifikasi tidak mengetahui apa pun tentang perhitungan itu sendiri. Kombinasi unik dari properti ini memiliki implikasi yang luas dan memberikan cara baru untuk memverifikasi informasi. Bersama-sama, properti ini menyeimbangkan kebutuhan akan privasi, keamanan, dan kepercayaan, menawarkan potensi dunia digital yang lebih aman dan lebih privat. Namun masih ada beberapa rintangan sebelum ZK dapat mencapai potensi penuhnya.
Pertama, menjalankan perhitungan di ZK terlalu memakan waktu dan mahal. Waktu pembuktian dan biaya harus turun secara dramatis untuk mengaktifkan komputasi kompleks di ZK. Kabar baiknya adalah bahwa ini menurun secara dramatis: lintasan waktu dan biaya bukti ZK telah mengikuti tren yang sudah dikenal dalam sejarah teknologi — apakah itu Hukum Moore (biaya komputasi dibelah dua setiap dua tahun), Hukum Flatley (biaya mengurutkan laju penurunan lambat manusia) atau Hukum Clyde (kepadatan disk berlipat ganda kira-kira setiap 13 bulan). Kemajuan arsitektur terkini dalam sistem bukti (Plonky2, Hyperplonk, STARK) dan kemajuan dalam kriptografi dasar (Poseidon) mengurangi biaya tambahan yang diperlukan untuk membuat bukti ZK dari perhitungan apa pun. Dan kemajuan di bidang ini akan terus terjadi dengan kecepatan yang sama (terutama 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 kurang dimanfaatkan.
Hambatan besar lainnya untuk adopsi massal ZK adalah matematika dan kriptografi yang sangat kompleks yang melekat dalam sistem ZK. Kedalaman dan tingkat keahlian yang dibutuhkan untuk mendorong inovasi ZK hanya tersedia untuk sekelompok kecil pengembang teknologi yang sangat terampil.
Idealnya, pengembang akan bebas untuk menulis program dalam bahasa favorit mereka sambil tetap dapat membuktikan perhitungan dengan pengetahuan nol tanpa harus menulis input 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 mengapa kami berinvestasi di RISC Zero.
Dengan membuat mesin virtual tanpa pengetahuan (zkVM) yang mengemulasi arsitektur set instruksi RISC-V (ISA), RISC Zero 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 berarti bahwa jaringan Bonsai dapat membuktikan bahwa program tingkat tinggi apa pun dapat dikompilasi ke arsitektur ini. Karena sebagian besar bahasa pemrograman modern kompatibel dengan RISC-V, Bonsai RISC Zero mampu mengeksekusi hampir semua program komputer sewenang-wenang tanpa pengetahuan.
Di masa depan di mana komputasi zero-knowledge (ZK) menjadi umum, banyak aplikasi yang sebelumnya mustahil akan menjadi mungkin. Ini tidak hanya mencakup aplikasi berbasis Ethereum yang menggunakan jaringan Bonsai RISC Zero sebagai koprosesor (melakukan pekerjaan off-chain intensif sumber daya sebelum memvalidasi hasil on-chain), tetapi juga akan melampaui cryptocurrency. Bonsai, misalnya, memungkinkan peretas topi putih membuktikan keberadaan lubang keamanan dan bug tanpa mengungkapkannya secara langsung. Itu juga dapat mencegah serangan rantai pasokan di masa depan pada perangkat lunak dengan memungkinkan pengguna mengunduh dan memverifikasi bukti ZK untuk memastikan kode yang mereka jalankan telah diaudit sebelumnya di Bonsai. Yang paling menarik, adopsi Bonsai yang meluas dapat menyebabkan kasus penggunaan yang sama sekali baru yang belum terbayangkan.
Selain terobosan teknologi yang mengesankan, terdapat tim yang kuat dan unik di balik RISC Zero. **Tiga pendiri, Brian Retford, Jeremy Bruestle, dan Frank Laub, telah saling kenal selama lebih dari 20 tahun. Pengalaman bersama mereka termasuk mendirikan beberapa perusahaan, yang terakhir adalah usaha pengoptimalan dan kompilasi AI yang akhirnya diakuisisi oleh Intel. **
Setiap anggota trio membawa banyak pengalaman ke RISC Zero: Brian telah mengerjakan sistem penetapan harga dan pengukuran di Google Cloud Platform; Jeremy adalah penggemar matematika seumur hidup yang mengerjakan akselerasi GPU untuk pengurutan genetik, dan Dengan latar belakang kriptografi, performa tinggi komputasi (HPC), dan keamanan; Frank memiliki latar belakang yang kuat dalam kompiler dan telah membangun banyak basis kode. Dengan sejarah bersama dan keahlian yang beragam, tim RISC Zero diposisikan secara unik untuk menghadirkan komputasi tanpa pengetahuan kepada massa, berpotensi membentuk kembali lanskap digital dalam prosesnya.
Saat kita melihat ke masa depan di mana komputasi tanpa pengetahuan tersedia secara luas, kemungkinan inovasi tidak terbatas. Mampu mendukung berbagai bahasa pemrograman, jaringan Bonsai RISC Zero akan mendemokratisasi komputasi ZK dan memungkinkan pengembang membuat aplikasi yang aman, pribadi, dan tanpa kepercayaan di berbagai domain. Dari memperkuat langkah-langkah keamanan siber hingga meningkatkan kepercayaan pada rantai pasokan perangkat lunak hingga secara dramatis meningkatkan daya komputasi yang tersedia untuk aplikasi on-chain, potensi dampak komputasi tanpa pengetahuan sangatlah besar. Waktu dan biaya bukti ZK yang menurun dengan cepat, tim setia RISC Zero, dan kemunculan Bonsai sebagai platform komputasi serbaguna menandai era baru komputasi—dengan privasi, keamanan, dan kepercayaan yang tertanam dalam jalinan dunia digital kita.