Bagaimanakah RISC Zero Steel mempercepatkan penggunaan ZK Ethereum?

Disusun oleh Alex Liu, Foresight News

Ethereum telah berjaya membawa ekosistem aplikasi terdesentralisasi yang berkembang pesat, tetapi cabaran kebolehskalaannya menjadi semakin teruk. Pembangun menghadapi pilihan yang sukar: hadkan fungsi dan kekayaan data aplikasi mereka, atau bertolak ansur dengan bayaran gas yang tinggi dan had penggunaan gas. Bagaimana jika pembangun mempunyai cara untuk memintas sekatan ini?

Steel, menghubungkan RISC Zero dan Ethereum

RISC Zero ialah salah satu pembangun zkVM utama Jika anda sering mendengar zkEVM di telinga anda, tetapi tidak tahu apa itu perkataan zkVM, anda boleh merujuk artikel artikel ini. Pelancaran terbaharu RISC Zero ialah Steel, perpustakaan kalis panggilan paparan berdasarkan Alloy yang membawa perubahan besar kepada cara pembangun berinteraksi dengan Ethereum L1 atau rantaian EVM yang lain. Memanfaatkan bukti pengetahuan sifar dan RISC Zero zkVM, Steel membolehkan pembangun melakukan panggilan lihat dan terbukti membaca dan mengira keadaan Ethereum dalam cara yang boleh skala, selamat dan menjimatkan kos.

Kemudahan Solidity, kuasa ZK

Steel merapatkan jurang antara pembangunan aplikasi Ethereum dan teknologi pengetahuan sifar, memudahkan pembangun memanfaatkan kuasa ZK dalam kontrak pintar mereka. Digabungkan dengan keupayaan RISC Zero zkVM, Steel membolehkan pembangun membina aplikasi yang lebih selamat, berskala dan cekap pada Ethereum L1 atau mana-mana rantaian setara EVM.

Dengan Steel, pembangun boleh:

• Melaksanakan kontrak pintar Solidity secara langsung dalam zkVM, serasi dengan logik rantaian yang lebih kompleks
• Akses keadaan Ethereum sejarah dalam zkVM
• Gunakan sambungan untuk pengiraan dan Had pada urus niaga, bebas daripada data blok saiz
• Memastikan pengiraan luar rantaian adalah selamat dan boleh dipercayai seperti pelaksanaan dalam rantai
• Menggunakan zkVM cekap pengeluaran pertama yang telah diuji dan digunakan dengan teliti oleh berbilang rakan kongsi
• Pengiraan peribadi keadaan Ethereum
• Kekal fleksibel asas kod sumber terbuka dan menjadi vendor-agnostik

Integrasi lancar dan penjimatan kos

Dengan Steel, melaksanakan panggilan paparan semudah menyatakan kaedah Solidity yang diperlukan. Sama ada mengambil baki token ERC-20 (contoh) atau mengakses segala-galanya dari keadaan Ethereum, Steel memudahkan proses dengan menyepadukan dengan lancar dengan RISC Zero zkVM sambil memastikan keselamatan dan kecekapan. Ujian telah menunjukkan bahawa Steel mampu mengendalikan lebih 100K operasi SLOAD dalam satu panggilan paparan, menjimatkan beribu-ribu dolar dalam kos gas pada mainnet. Kita boleh membuktikannya dalam masa kira-kira 15 minit menggunakan Bonsai, yang memerlukan sekurang-kurangnya 210M Gas, iaitu 7x melebihi had blok.

Contoh: ERC20 balanceOf

Coretan kod berikut menunjukkan proses menggunakan Steel untuk membuktikan baki alamat khusus untuk kontrak ERC-20 yang digunakan pada Ethereum. Contoh ini menunjukkan cara pembangun boleh memanfaatkan Steel untuk berinteraksi dengan data dalam rantaian Ethereum dalam zkVM. Kod lengkap boleh dilihat di sini.

Tentukan tandatangan fungsi paparan

Pertama, gunakan makro sol untuk mentakrifkan tandatangan fungsi keseimbangan ERC-20. Ini akan menghuraikan sintaks Solidity untuk menjana struct Rust yang sepadan yang melaksanakan ciri SolCall dan boleh digunakan untuk memanggil kaedah balanceOf, yang menerima alamat akaun dan mengembalikan baki token ERC-20 yang berkaitan.

Sedia untuk memanggil

Seterusnya, sediakan panggilan dengan mewujudkan struktur balanceOfCall dengan alamat akaun sasaran. Pada masa yang sama, tentukan pemalar untuk alamat kontrak yang anda ingin tanyakan dan alamat pemanggil.

Lakukan panggilan dalam Utama

Fungsi utama dilaksanakan dalam zkVM untuk menjana bukti pengetahuan sifar. Ia mula-mula membaca persekitaran input dan kemudian membina objek ViewCallEnv, memastikan bahawa keadaan semasa sepadan dengan akar keadaan yang dijangkakan. Selepas menyerahkan cincang dan nombor blok yang berkaitan, lakukan panggilan lihat dan cetak baki.

Cara ia berfungsi

Steel membuktikan kod Solidity dalam RISC Zero zkVM dalam tiga langkah, memudahkan proses pelaksanaan:

1. Fasa pra-penerbangan: Mulakan pra-penerbangan dengan membuat panggilan node ke Ethereum RPC slot storan yang diperlukan dicache, mengisi pangkalan data EVM dengan hanya data yang diperlukan untuk pertanyaan. Semua slot storan ditemui secara automatik dan diambil berdasarkan panggilan lihat.
2. Pengesahan storan: Lakukan semakan integriti storan untuk memastikan data dalam pangkalan data EVM diselaraskan dengan punca keadaan rantaian blok untuk mengesahkan kesahihannya.
3. Pelaksanaan Soliditi: Menjalankan fungsi Soliditi yang diberikan pada EVM di dalam RISC Zero zkVM.

Bagaimana ini berbeza daripada Proof of Storage?

Dengan bukti storan tradisional, pembangun mesti memilih slot storan yang digunakan oleh kontrak pintar mereka secara manual dan melaksanakan semula logik kontrak pintar. Dengan Steel, semua slot storan ditemui dan diambil secara automatik berdasarkan panggilan lihat. Ini menjimatkan banyak masa pembangun dan mengurangkan kemungkinan ralat pelaksanaan, sekali gus mengurangkan kemungkinan kelemahan keselamatan.

Dapatkan cincang blok yang disahkan

Apabila mengesahkan menggunakan opcode blok cincang dalam kontrak pintar Ethereum, komitmen yang disahkan mesti merujuk cincang blok yang tidak lebih daripada 256 blok lama. Memandangkan purata masa blok ialah 12 saat, ini menetapkan tempoh masa yang sempit kira-kira 50 minit untuk penjanaan bukti lengkap dan pengesahan bahawa transaksi yang disahkan telah dimasukkan ke dalam blok.

Apabila perlu untuk mendapatkan cincangan blok yang disahkan pada rantaian yang lebih lama daripada 256 blok, salah satu daripada beberapa strategi boleh digunakan:

• Apabila cincang blok yang diperlukan diketahui terlebih dahulu (cth. , semasa melancarkan cadangan tadbir urus), cincang blok boleh disimpan ke keadaan kontrak.
• Pendekatan lain ialah menggunakan RISC Zero untuk membuktikan rantaian cincang daripada blok yang ditanya kepada salah satu daripada 256 blok yang paling terkini.

Masa depan aplikasi dalam rantai

membayangkan masa depan di mana pengiraan luar rantaian akan disepadukan dengan lancar dengan pengesahan dalam rantaian. Steel menyumbang kepada visi ini dengan membolehkan pembangun mengakses dan mengira sejarah lengkap Ethereum dalam zkVM dengan pasti, membolehkan mereka mencipta aplikasi dalam rantaian yang kaya data dan lebih berkuasa generasi seterusnya.

Atas ialah kandungan terperinci Bagaimanakah RISC Zero Steel mempercepatkan penggunaan ZK Ethereum?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!