Ethereum mempunyai had gas. Tetapi, adakah kita boleh membuktikan secara matematik kerja pengkomputeran maksimum yang diperlukan untuk mengesahkan mana-mana blok yang sah? Secara mengejutkan, kita belum mempunyai sempadan atas finit yang disahkan untuk model cabaran penuh. Itulah masalah yang sedang ditangani oleh @yukonresearch, @zksecurityXYZ, dan @Veritylab melalui https://t.co/w9Ti86Tqsj. Saat ini, validator Ethereum menjalankan transaksi secara berasingan untuk mengesahkan blok. Semasa Ethereum bergerak ke arah pengesahan berdasarkan zkEVM, cabaran ini melampaui sekadar menjalankan transaksi dengan betul. Kita juga perlu memahami kos pengkomputeran kes terburuk. Mengapa ini penting? Sebuah blok Ethereum boleh sah tetapi masih memerlukan pengkomputeran yang sangat mahal. Jika kos pembuktian menjadi tidak boleh diramalkan, pembuktian ZK secara masa nyata boleh menjadi halangan kepada penskalaan Ethereum. https://t.co/w9Ti86Tqsj memperkenalkan satu pertandingan terbuka untuk menetapkan sempadan atas yang disahkan secara matematik terhadap pengkomputeran pengesahan blok. Implikasinya adalah signifikan: → Beban kerja pelaksanaan dan pembuktian yang lebih boleh diramalkan. → Asas yang lebih kukuh untuk pembuktian ZK secara masa nyata. → Keyakinan yang lebih tinggi dalam meningkatkan had gas Ethereum. → Jalan menuju pengesahan pada peranti yang lebih mudah diakses. Tentu saja, menetapkan batasan langkah pelaksanaan tidak secara automatik menjamin pembuktian ZK yang pantas. Tetapi ia merupakan asas yang penting. Cabaran penskalaan seterusnya Ethereum bukan sekadar membuat pelaksanaan lebih pantas. Ia adalah membuat kos pengkomputeran kes terburuk boleh diramalkan dan boleh dibuktikan. Dan seiring rollup Ethereum seperti @puffer_unifi bergerak ke arah latensi lebih rendah dan komposabiliti sinkron, penyelidikan sebegini menjadi semakin relevan. https://t.co/SwPS2w3ic1