Vitalik Buterin telah menyeru agar ditetapkan had tegar bagi kos pembuktian Ethereum setiap unit block gas. Buterin mengucapkan tahniah kepada pasukan Airbender ZKsync dalam posting pada 15 Oktober dan mengenal pasti tiga keutamaan pengesahan formal: menyepadukan perwakilan matematik pelaksanaan dengan spesifikasi Ethereum, menghadkan kos pembuktian berbanding block gas, dan mengukuhkan sistem bukti. Gas mewakili kerja pelaksanaan dan menghadkan penggunaan sumber block, tetapi had pembuktian yang berguna mesti menghubungkan kuasa ini dengan sumber penghasilan bukti, termasuk beban kerja yang sengaja sukar. Yayasan Ethereum telah menetapkan fasa berfokus pada keselamatan pada Disember 2025.
Analisis kos pengiraan semasa EIP-7904 mencadangkan tiada perubahan kos gas pengiraan dan menentukan tiada perubahan kepada jadual gas ethereum. EIP-7904 ialah cadangan Maklumat dalam Last Call sejak 18 Oktober, dengan batas masa 1 November. Analisis EIP-7904 menargetkan 100 juta gas per saat pada klien pelaksanaan asli yang dioptimumkan. EIP-7904 mengaitkan kesimpulan yang berubahnya kepada pengoptimuman yang dimungkinkan oleh Senarai Akses Tahap Blok, termasuk kerja selari yang mempercepat operasi yang sebelumnya bermasalah. Namun, EIP-7904 merangkumi pelaksanaan pada CPU biasa dan secara jelas mengecualikan pertimbangan khusus terhadap penghasilan bukti ZK-SNARK, yang mengenakan beban kerja yang berbeza.
ZKsync melaporkan pada 13 Oktober bahawa satu NVIDIA RTX PRO 6000 Blackwell membuktikan 99% daripada 7,200 blok rangkaian utama ethereum berturut-turut dalam kurang daripada 10 saat setiap satu, termasuk persiapan saksi. ZKsync melaporkan bahawa setiap blok yang diambil sampel selesai dalam kurang daripada 12 saat. ZKsync juga menggambarkan konfigurasi ETHproofs langsung yang berasingan menggunakan dua dan empat GPU. Walau bagaimanapun, jaminan kos maksimum mesti merangkumi setiap beban kerja yang dibenarkan dalam anggapan yang dinyatakan, termasuk blok yang sengaja dirangka untuk sukar dibuktikan. Blok biasa mungkin sesuai dengan setup kecil, manakala beban kerja yang sukar yang dibenarkan menentukan kapasiti simpanan yang diperlukan oleh operator untuk menghasilkan bukti pada masanya.
Lin Oshitani daripada Nethermind Research mendapati dalam pengukuran pada 27 Januari bahawa precompiles kriptografi dan beberapa operasi aritmetik modular atau pembahagian relatif mahal untuk dibuktikan per gas. Pengukuran Oshitani menunjukkan bahawa kos berbeza mengikut prover dan bilangan kitaran ZK tidak berubah menjadi masa pembuktian yang seragam di seluruh operasi. Kajian ini menganggar masa pembuktian marjinal dengan mengubah bilangan operasi sambil mengekalkan konteks pelaksanaan sekeliling tetap. Kajian 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 tetapan RISC0_KECCAK_PO2=15. Pengukuran menggunakan input mewakili tetap atau kes terburuk usaha terbaik, mengabaikan pengesahan header blok dan secara tidak sengaja mengabaikan BLOCKHASH. Penyelidikan penuh mengenai kos yang bergantung kepada argumen masih merupakan kerja masa depan.
Rangka kerja pengujian kes terburuk Januari oleh Ethereum Foundation menghubungkan throughput pembuktian yang diperlukan dengan had gas blok yang dipilih dan batas masa pembuktian. Rangka kerja ini memerlukan blok yang sukar untuk muat dalam peranti dan bajet masa yang ditetapkan. Rangka kerja ini menjelaskan bahawa anggaran pada peringkat operasi memerlukan pemeriksaan end-to-end kerana penghasilan bukti mempunyai overhed tetap, penggabungan boleh menjadi bukan linear, dan konfigurasi peranti serta parameter keselamatan mempengaruhi prestasi. Set klien eksekusi dan sistem bukti yang dijangka menyertai juga penting.
Meningkatkan litar atau laluan eksekusi yang mahal boleh mengurangkan kerja pembuktian tanpa mengubah unit gas eksekusi transaksi, membolehkan operator menggunakan sumber yang lebih sedikit untuk beban kerja yang sama. Kajian Nethermind juga merumuskan pengukuran ZK-gas berbobot dengan had setiap blok yang boleh mengawal operasi yang berat pembuktian sebelum kuasa gas eksekusi biasa habis. Perlindungan daripada pengukuran ZK-gas berbobot bergantung kepada sejauh mana bobot menangkap input yang sukar. Sempadan sumber boleh menghadkan kerja yang diterima tanpa menentukan pembayaran pengguna aplikasi atau pendapatan pembukti. Mengenakan bayaran untuk sumber pembuktian memerlukan pilihan reka bentuk tambahan. EIP-7999 masih merupakan cadangan draf pasaran bayaran multidimensi yang memisahkan calldata sebagai sumber tersendiri.
Penghargaan semula Opcode akan menetapkan lebih banyak gas kepada operasi yang mahal, membenarkan lebih sedikit operasi sedemikian masuk ke dalam blok pada had gas yang tetap. Aplikasi yang menggunakan operasi yang dihargai semula boleh mengkonsumsi lebih banyak gas untuk pelaksanaan berjaya yang sama. Mekanisme bayaran pelaksanaan EIP-1559 mendarabkan gas yang dikenakan dengan harga gas berkesan. Aplikasi yang dikenakan lebih banyak gas untuk transaksi berjaya yang sama akan membayar lebih banyak pada harga gas berkesan positif yang tidak berubah.
EIP-8025 masih merupakan cadangan pilihan bukti eksekusi yang tidak memberikan insentif kepada pembuktian dan mempertahankan pelaksanaan semula walaupun bukti tersedia. Prioriti Yayasan Ethereum pada September menetapkan bukti wajib pada masa yang akan datang, dengan urutan cabang sedang dikaji. Tarikh akhir tinjauan 1 November untuk EIP-7904 berkaitan analisis CPU, manakala pembuktian bebas memerlukan batasan yang dikaitkan dengan beban kerja eksplisit, pelaksanaan, tetapan keselamatan, dan andaian peranti keras. Batasan sedemikian akan mengubah allowance gas menjadi had yang boleh dipercayai terhadap sumber pembuktian yang perlu disediakan oleh operator.
Kos Pengesahan Ethereum Menghadapi Cabaran Had Keras Vitalik
CryptoSlateKongsi
Ringkasan
Vitalik Buterin mencadangkan had keras bagi kos pembuktian Ethereum setiap unit gas blok untuk menyelaraskan penghasilan bukti dengan batasan gas. EIP-7904, dalam Last Call sehingga 1 November, menonjolkan pengoptimuman Senarai Akses. ZKsync dan Nethermind menunjukkan variasi kos dan kecekapan menggunakan GPU. Yayasan Ethereum sedang membina kerangka penilaian prestasi untuk senario pembuktian kes terburuk. Aset berisiko tinggi mendapat perhatian semula seiring dengan langkah-langkah CFT.
Sumber:Tunjukkan artikel asal
Penafian: Maklumat yang terdapat pada halaman ini mungkin telah diperoleh daripada pihak ketiga dan tidak semestinya menggambarkan pandangan atau pendapat KuCoin. Kandungan ini adalah disediakan bagi tujuan maklumat umum sahaja, tanpa sebarang perwakilan atau waranti dalam apa jua bentuk, dan juga tidak boleh ditafsirkan sebagai nasihat kewangan atau pelaburan. KuCoin tidak akan bertanggungjawab untuk sebarang kesilapan atau pengabaian, atau untuk sebarang akibat yang terhasil daripada penggunaan maklumat ini.
Pelaburan dalam aset digital boleh membawa risiko. Sila menilai risiko produk dan toleransi risiko anda dengan teliti berdasarkan keadaan kewangan anda sendiri. Untuk maklumat lanjut, sila rujuk kepada Terma Penggunaan dan Pendedahan Risiko kami.