Selamat sebesar-besarnya kepada tim airbender @zksync atas pencapaian ini.
Pada titik ini, menurut saya persaingan dalam hal kecepatan sudah benar-benar dimenangkan, dan prioritas utama zkEVM seharusnya sepenuhnya beralih ke keamanan.
Bagi saya, itu berarti memverifikasi secara formal:
(i) kesetaraan aritmetisasi dengan spesifikasi ethereum
(ii) batas maksimum yang ketat untuk (biaya prover) / (jumlah gas dalam blok)
(iii) keamanan sistem pembuktian itu sendiri
https://firefly.social/post/x/2110011544360607842
Pada titik ini, menurut saya persaingan dalam hal kecepatan sudah benar-benar dimenangkan, dan prioritas utama zkEVM seharusnya sepenuhnya beralih ke keamanan.
Bagi saya, itu berarti memverifikasi secara formal:
(i) kesetaraan aritmetisasi dengan spesifikasi ethereum
(ii) batas maksimum yang ketat untuk (biaya prover) / (jumlah gas dalam blok)
(iii) keamanan sistem pembuktian itu sendiri
https://firefly.social/post/x/2110011544360607842