Vitalik Buterin menyerukan batas keras biaya pembuktian Ethereum per unit block gas. Buterin mengucapkan selamat kepada tim Airbender ZKsync dalam postingan tanggal 15 Oktober dan mengidentifikasi tiga prioritas verifikasi formal: menyelaraskan representasi matematis eksekusi dengan spesifikasi Ethereum, membatasi biaya prover relatif terhadap block gas, dan mengamankan sistem bukti. Gas mencerminkan pekerjaan eksekusi dan membatasi konsumsi sumber daya block, tetapi batas pembuktian yang berguna harus menghubungkan kuota tersebut dengan sumber daya generasi bukti, termasuk beban kerja yang sengaja sulit. Ethereum Foundation menetapkan fase berfokus pada keamanan pada Desember 2025.
Analisis biaya komputasi saat ini untuk EIP-7904 merekomendasikan tidak ada perubahan biaya gas komputasi dan tidak menetapkan perubahan apa pun pada jadwal gas Ethereum. EIP-7904 adalah proposal Informasional dalam Last Call sejak 18 Oktober, dengan batas waktu 1 November. Analisis EIP-7904 menargetkan 100 juta gas per detik pada klien eksekusi asli yang dioptimalkan. EIP-7904 mengaitkan kesimpulan yang diubahnya dengan optimasi yang dimungkinkan oleh Block-Level Access Lists, termasuk pekerjaan paralel yang mempercepat operasi yang sebelumnya bermasalah. Namun, EIP-7904 mencakup eksekusi pada CPU kosong dan secara eksplisit mengecualikan pertimbangan khusus terhadap generasi bukti ZK-SNARK, yang menimbulkan beban kerja yang berbeda.
ZKsync melaporkan pada 13 Oktober bahwa satu NVIDIA RTX PRO 6000 Blackwell membuktikan 99% dari 7.200 blok ethereum mainnet berturut-turut dalam waktu kurang dari 10 detik setiap blok, termasuk persiapan witness. ZKsync melaporkan bahwa setiap blok yang diambil sampelnya selesai dalam waktu kurang dari 12 detik. ZKsync juga menggambarkan konfigurasi ETHproofs langsung yang menggunakan dua dan empat GPU. Namun, jaminan biaya maksimum harus mencakup setiap beban kerja yang diizinkan dalam asumsi yang dinyatakan, termasuk blok yang sengaja dirancang agar sulit dibuktikan. Sebuah blok biasa mungkin cocok untuk setup kecil, sementara beban kerja yang sulit yang diizinkan menentukan kapasitas cadangan yang dibutuhkan operator untuk menghasilkan bukti tepat waktu.
Lin Oshitani dari Nethermind Research menemukan dalam pengukuran pada 27 Januari bahwa precompiles kriptografis dan beberapa operasi aritmetika modular atau pembagian relatif mahal dalam hal bukti per gas. Pengukuran Oshitani menunjukkan bahwa biaya bervariasi tergantung pada prover, dan jumlah siklus ZK tidak berubah menjadi waktu bukti yang seragam di seluruh operasi. Studi ini memperkirakan waktu bukti marjinal dengan memvariasikan jumlah operasi sambil menjaga konteks eksekusi sekitarnya tetap konstan. Studi ini menguji SP1 v5.2.3 dengan sp1-cluster dan RISC0 v3.0.4, menggunakan reth v1.9.3 dan empat GPU NVIDIA GeForce RTX 4090. RISC0 menggunakan pengaturan RISC0_KECCAK_PO2=15. Pengukuran menggunakan input representatif tetap atau upaya terbaik dalam kasus terburuk, menghilangkan validasi header blok, dan secara tidak sengaja menghilangkan BLOCKHASH. Penyelidikan penuh terhadap biaya yang bergantung pada argumen tetap menjadi pekerjaan masa depan.
Kerangka kerja benchmarking kasus terburuk Januari dari Ethereum Foundation menghubungkan throughput pembuktian yang diperlukan dengan batas gas blok yang dipilih dan batas waktu pembuktian. Kerangka kerja ini mensyaratkan blok yang sulit agar sesuai dengan anggaran perangkat keras dan waktu yang ditargetkan. Kerangka kerja ini menjelaskan bahwa estimasi tingkat operasi memerlukan pemeriksaan end-to-end karena generasi bukti memiliki overhead tetap, agregasi bisa bersifat nonlinier, serta konfigurasi perangkat keras dan parameter keamanan memengaruhi kinerja. Kumpulan klien eksekusi dan sistem bukti yang diharapkan berpartisipasi juga penting.
Meningkatkan sirkuit atau jalur eksekusi yang mahal dapat mengurangi beban pembuktian tanpa mengubah unit gas eksekusi transaksi, memungkinkan operator menggunakan lebih sedikit sumber daya untuk beban kerja yang sama. Studi Nethermind juga menguraikan pengukuran ZK-gas berbobot dengan batas per blok yang dapat membatasi operasi yang memerlukan banyak bukti sebelum kuota gas eksekusi biasa habis. Perlindungan dari pengukuran ZK-gas berbobot akan bergantung pada seberapa akurat bobot tersebut menangkap input yang sulit. Batas sumber daya dapat membatasi pekerjaan yang diizinkan tanpa menentukan pembayaran pengguna aplikasi atau pendapatan pembukti. Pembebanan untuk sumber daya pembuktian memerlukan pilihan desain tambahan. EIP-7999 tetap menjadi proposal draf pasar biaya multidimensi yang memisahkan calldata menjadi sumber daya tersendiri.
Penghargaan ulang Opcode akan memberikan lebih banyak gas untuk operasi mahal, memungkinkan lebih sedikit operasi semacam itu dimasukkan ke dalam satu blok dengan batas gas tetap. Aplikasi yang menggunakan operasi yang dihargai ulang dapat mengonsumsi lebih banyak gas untuk eksekusi sukses yang sama. Mekanisme biaya eksekusi EIP-1559 mengalikan gas yang dibebankan dengan harga gas efektif. Aplikasi yang dibebankan lebih banyak gas untuk transaksi sukses yang sama akan membayar lebih dengan harga gas efektif positif yang tetap.
EIP-8025 tetap merupakan usulan draft opsional bukti eksekusi yang tidak menyediakan insentif bagi pembuktian dan tetap mempertahankan re-eksekusi meskipun bukti tersedia. Prioritas Ethereum Foundation pada bulan September menempatkan bukti wajib di tahap selanjutnya, dengan urutan fork sedang ditinjau. Batas waktu tinjauan 1 November untuk EIP-7904 berkaitan dengan analisis CPU, sementara pembuktian independen memerlukan batas yang terkait dengan beban kerja eksplisit, implementasi, pengaturan keamanan, dan asumsi perangkat keras. Batas semacam itu akan mengubah alokasi gas menjadi batas yang dapat diandalkan atas sumber daya pembuktian yang harus disediakan oleh operator.
Biaya Pembuktian Ethereum Menghadapi Tantangan Batas Keras Vitalik
CryptoSlateBagikan
Ringkasan
Vitalik Buterin mengusulkan batas keras biaya pembuktian Ethereum per unit block gas untuk menyelaraskan generasi bukti dengan batasan gas. EIP-7904, dalam Last Call hingga 1 November, menyoroti optimasi Access List. ZKsync dan Nethermind menunjukkan variasi biaya dan efisiensi menggunakan GPU. Ethereum Foundation sedang membangun kerangka kerja benchmarking untuk skenario pembuktian terburuk. Aset berisiko mendapat perhatian kembali di tengah langkah-langkah CFT.
Sumber:Tampilkan versi asli
Penafian: Informasi pada halaman ini mungkin telah diperoleh dari pihak ketiga dan tidak mencerminkan pandangan atau opini KuCoin. Konten ini disediakan hanya untuk tujuan informasi umum, tanpa representasi atau jaminan apa pun, dan tidak dapat ditafsirkan sebagai saran keuangan atau investasi. KuCoin tidak bertanggung jawab terhadap segala kesalahan atau kelalaian, atau hasil apa pun yang keluar dari penggunaan informasi ini.
Berinvestasi di aset digital dapat berisiko. Harap mengevaluasi risiko produk dan toleransi risiko Anda secara cermat berdasarkan situasi keuangan Anda sendiri. Untuk informasi lebih lanjut, silakan lihat Ketentuan Penggunaan dan Pengungkapan Risiko.