Judul asli: "Memperkenalkan Baja"
Disusun oleh: Chris, Techub News
Baja, menghubungkan RISC Zero dan Ethereum
Keberhasilan jaringan Ethereum telah mendorong perkembangan pesat ekosistem DApp, namun hal ini juga menimbulkan tantangan skalabilitas yang semakin berat. Pengembang menghadapi dilema: membatasi fungsionalitas dan kekayaan data aplikasi mereka, atau menanggung biaya bahan bakar yang tinggi dan pembatasan penggunaan. Lalu bagaimana jika pengembang dapat menemukan jalan keluar dari pembatasan ini?
RISC Zero adalah salah satu pengembang zkVM. Anda mungkin sudah sering mendengar tentang zkEVM, namun Anda mungkin belum familiar dengan konsep turunannya, zkVM. RISC Zero baru-baru ini meluncurkan teknologi baru yang disebut Steel, perpustakaan bukti panggilan tampilan berbasis Paduan yang akan merevolusi cara pengembang berinteraksi dengan Ethereum L1 atau rantai lain yang kompatibel dengan EVM. Dengan memanfaatkan bukti tanpa pengetahuan dan teknologi zkVM RISC Zero, Steel memberi pengembang cara yang terukur, aman, dan hemat biaya untuk melakukan panggilan tampilan dan membaca serta menghitung status Ethereum secara terverifikasi.
Kenyamanan Soliditas, dengan kekuatan ZK
Steel membangun jembatan antara pengembangan aplikasi Ethereum dan teknologi zero-knowledge proof, sangat memfasilitasi proses pengembang dalam menerapkan teknologi zero-knowledge proof (ZK) dalam kontrak pintar. Dengan mengintegrasikan kemampuan zkVM RISC Zero, Steel memberi pengembang alat untuk membangun aplikasi yang lebih aman, terukur, dan efisien pada Ethereum L1 atau rantai apa pun yang kompatibel dengan EVM.
Dengan menggunakan Steel, pengembang dapat mencapai peningkatan signifikan dalam:
Jalankan logika on-chain yang kompleks secara langsung: Jalankan kontrak pintar Solidity langsung di zkVM untuk mendukung logika on-chain yang lebih kompleks.
Akses status historis: Akses status historis Ethereum di zkVM, menyediakan sumber daya yang lebih luas untuk analisis dan verifikasi data.
Menembus batas komputasi: Gunakan kelanjutan untuk melakukan penghitungan tanpa dibatasi oleh ukuran blok atau ukuran data transaksi.
Pastikan keamanan penghitungan off-chain: Pastikan keamanan penghitungan off-chain dapat diandalkan seperti eksekusi on-chain.
ZkVM yang terbukti: Manfaatkan zkVM pertama yang diuji secara ketat oleh banyak mitra dan digunakan dalam lingkungan produksi.
Perhitungan pribadi: Lakukan perhitungan pribadi status Ethereum untuk meningkatkan perlindungan data.
Fleksibilitas sumber terbuka: Diaktifkan melalui basis kode sumber terbuka, memastikan fleksibilitas dan kebebasan dari batasan vendor.
Pengenalan Steel memberi pengembang alat yang ampuh untuk mengintegrasikan teknologi canggih tanpa bukti pengetahuan ke dalam teknologi blockchain yang ada, mendorong inovasi lebih lanjut dalam pengembangan aplikasi blockchain.
Integrasi yang mulus dan penghematan biaya
Dengan Steel, melakukan panggilan tampilan semudah menentukan metode Soliditas yang diperlukan. Baik itu mengambil saldo token ERC-20 (contoh) atau mengakses semuanya dari status Ethereum, Steel menyederhanakan proses dengan berintegrasi secara mulus dengan RISC Zero zkVM sambil memastikan keamanan dan efisiensi. Pengujian telah menunjukkan bahwa Steel mampu menangani lebih dari 100 ribu operasi SLOAD dalam satu panggilan tampilan, menghemat biaya bahan bakar ribuan dolar di mainnet. Kita bisa membuktikannya dalam waktu sekitar 15 menit dengan menggunakan Bonsai yang membutuhkan Gas minimal 210M, yaitu 7x melebihi batas blok.
Contoh: saldo ERC20
Cuplikan kode di bawah ini menunjukkan proses penggunaan Steel untuk membuktikan keseimbangan alamat tertentu untuk kontrak ERC-20 yang diterapkan di Ethereum. Contoh ini menunjukkan bagaimana pengembang dapat memanfaatkan Steel untuk berinteraksi dengan data on-chain Ethereum dalam zkVM. Kode selengkapnya dapat dilihat di sini.
Tentukan tanda tangan fungsi tampilan
Pertama, gunakan makro sol! untuk menentukan tanda tangan fungsi balanceOf ERC-20. Ini akan mengurai sintaks Soliditas untuk menghasilkan struct Rust terkait yang mengimplementasikan sifat SolCall dan dapat digunakan untuk memanggil metode balanceOf, yang menerima alamat akun dan mengembalikan saldo token ERC-20 terkait.
siap menelepon
Selanjutnya, atur panggilan dengan membuat instance struktur balanceOfCall dengan alamat akun target. Pada saat yang sama, tentukan konstanta untuk alamat kontrak yang ingin Anda tanyakan dan alamat pemanggil.
Jalankan panggilan di Utama
Fungsi utama dijalankan di zkVM dan menghasilkan bukti tanpa pengetahuan. Pertama-tama ia membaca lingkungan masukan dan kemudian membuat objek ViewCallEnv, memastikan bahwa keadaan saat ini cocok dengan akar keadaan yang diharapkan. Setelah mengirimkan hash dan nomor blok yang relevan, lakukan panggilan tampilan dan cetak saldo.
prinsip
Steel menyederhanakan proses eksekusi kode Soliditas di RISC Zero zkVM, memungkinkan pemeriksaan kode dalam tiga langkah jelas:
Fase pra-penerbangan: Fase ini dimulai dengan mengeluarkan panggilan tampilan ke node Ethereum RPC. Proses ini menyimpan cache slot penyimpanan yang diperlukan dan mengisi database EVM berdasarkan persyaratan kueri. Semua slot penyimpanan secara otomatis ditemukan dan diperoleh melalui eksekusi panggilan tampilan.
Verifikasi penyimpanan: Langkah ini melibatkan pemeriksaan integritas penyimpanan untuk memastikan bahwa data dalam database EVM konsisten dengan akar status blockchain, sehingga memverifikasi keabsahan data.
Eksekusi soliditas: Jalankan fungsi Soliditas yang ditentukan pada EVM di dalam RISC Zero zkVM untuk memastikan kode berjalan sesuai harapan.
Dengan tiga langkah ini, Steel menyediakan cara yang efisien dan andal untuk membuktikan dan mengeksekusi kode Soliditas di RISC Zero zkVM, sehingga sangat menyederhanakan seluruh proses.
Apa bedanya dengan bukti penyimpanan?
Dengan bukti penyimpanan tradisional, pengembang harus secara manual memilih slot penyimpanan yang digunakan oleh kontrak pintar mereka dan menerapkan kembali logika kontrak pintar. Dengan Steel, semua slot penyimpanan secara otomatis ditemukan dan diambil berdasarkan panggilan tampilan. Hal ini menghemat banyak waktu pengembang dan mengurangi kemungkinan kesalahan implementasi, sehingga mengurangi kemungkinan kerentanan keamanan.
Dapatkan hash blok terverifikasi
Saat memvalidasi menggunakan opcode blockhash dalam kontrak pintar Ethereum, komitmen validasi harus merujuk pada hash blok yang berumur tidak lebih dari 256 blok. Mengingat waktu blok rata-rata adalah 12 detik, hal ini menetapkan kerangka waktu sempit sekitar 50 menit untuk pembuatan bukti lengkap dan konfirmasi bahwa transaksi yang divalidasi telah dimasukkan dalam blok.
Saat Anda perlu mendapatkan hash blok terverifikasi pada rantai yang lebih tua dari 256 blok, Anda dapat menggunakan salah satu dari beberapa strategi:
Ketika hash blok yang diperlukan telah diketahui sebelumnya (misalnya, saat meluncurkan proposal tata kelola), hash blok ini dapat disimpan ke dalam status kontrak.
Pendekatan lain adalah dengan menggunakan RISC Zero untuk membuktikan rantai hash dari blok yang ditanyakan ke salah satu dari 256 blok terbaru.
Masa depan aplikasi on-chain
Bayangkan masa depan di mana komputasi off-chain akan terintegrasi secara mulus dengan verifikasi on-chain. Steel berkontribusi pada visi ini dengan memungkinkan pengembang mengakses dan menghitung riwayat lengkap Ethereum secara andal dalam zkVM, memungkinkan mereka menciptakan aplikasi on-chain generasi berikutnya yang kaya data dan lebih kuat.
Penulis: TechubNews; dari "DeDehao", platform konten terbuka ChainDD. Artikel ini hanya mewakili pendapat penulis dan tidak mewakili posisi resmi ChainDD. Untuk artikel "DeHao", orisinalitas dan keaslian konten dijamin oleh kontributor. Jika naskah dijiplak, dipalsukan, dan lain-lain, akibat hukum menjadi tanggung jawab kontributor itu sendiri. Jika ada pelanggaran, pelanggaran peraturan, atau konten ucapan tidak pantas lainnya, pembaca diminta untuk mengawasinya , platform akan segera offline. Jika Anda mengalami masalah dengan konten artikel, silakan hubungi WeChat: chaindd123