Ethereum memiliki batas gas. Tetapi bisakah kita membuktikan secara matematis pekerjaan komputasi maksimum yang diperlukan untuk memverifikasi blok valid apa pun? Secara mengejutkan, kita belum memiliki batas atas terbatas yang bersertifikat untuk model tantangan penuh. Itulah masalah yang sedang ditangani oleh @yukonresearch, @zksecurityXYZ, dan @Veritylab melalui https://t.co/w9Ti86Tqsj. Saat ini, validator Ethereum menjalankan transaksi secara independen untuk memverifikasi blok. Seiring Ethereum bergerak menuju validasi berbasis zkEVM, tantangannya melampaui sekadar menjalankan transaksi dengan benar. Kita juga perlu memahami biaya komputasi kasus terburuk. Mengapa ini penting? Sebuah blok Ethereum bisa saja valid tetapi memerlukan komputasi yang sangat mahal. Jika biaya pembuktian menjadi tidak dapat diprediksi, pembuktian ZK real-time bisa menjadi hambatan bagi skalabilitas Ethereum. https://t.co/w9Ti86Tqsj memperkenalkan kompetisi terbuka untuk menetapkan batas atas yang dibuktikan secara matematis terhadap komputasi validasi blok. Dampaknya signifikan: → Beban eksekusi dan pembuktian yang lebih dapat diprediksi. → Fondasi yang lebih kuat untuk pembuktian ZK real-time. → Kepercayaan lebih besar dalam meningkatkan batas gas Ethereum. → Jalur menuju validasi pada perangkat keras yang lebih mudah diakses. Tentu saja, membatasi langkah eksekusi tidak secara otomatis menjamin pembuktian ZK yang cepat. Tetapi ini merupakan fondasi penting. Tantangan skalabilitas Ethereum berikutnya bukan hanya membuat eksekusi lebih cepat. Tetapi membuat biaya komputasi kasus terburuk dapat diprediksi dan dibuktikan. Dan seiring rollup Ethereum seperti @puffer_unifi bergerak menuju latensi lebih rendah dan komposabilitas sinkron, penelitian semacam ini menjadi semakin relevan. https://t.co/SwPS2w3ic1