Pengembang Ethereum meminta tinjauan aplikasi atas usulan perubahan gas Glamsterdam

Pengembang inti Ethereum meminta tinjauan dari tim aplikasi untuk menentukan apakah aturan gas Glamsterdam yang diusulkan perlu diubah. Audit internal pengembang tidak dapat memeriksa kontrak dan layanan off-chain setiap proyek. Marius van der Wijden meminta pemeriksaan atas delapan asumsi gas dalam unggahan blog Ethereum Foundation pada 6 November. ChainSecurity dan Dedaub melakukan investigasi bersama audit internal, sementara proyek diminta menjelaskan kemungkinan perbaikan.

Aktivasi Hoodi yang direncanakan pada 26 Oktober, bersama kenaikan batas gas 200 juta yang menyertainya, ditunda pada 22 Oktober. Seruan pada 6 November mempertahankan penundaan hingga masalah diselesaikan, dan pemberitahuan tersebut tidak menetapkan tanggal aktivasi mainnet. EIP-8037 akan menaikkan biaya pembuatan data blockchain yang persisten dan memperhitungkan pertumbuhan state secara terpisah dari eksekusi. EIP-8038 akan mengubah biaya untuk mengakses dan menulis state yang sudah ada. Usulan tersebut bertujuan meningkatkan throughput sekaligus membatasi data yang harus disimpan oleh node Ethereum. Kerangka tinjauan mencakup tiga asumsi penetapan harga terkait anggaran dan cadangan tetap, serta lima asumsi akuntansi terkait gas yang dikembalikan, kegagalan, penagihan, dan delegasi.

Bagian INV-5 dalam kerangka tersebut mengkaji perhitungan penggantian biaya yang digunakan relayer, yang membayar biaya transaksi bagi pengguna lain. EIP-8037 pada awalnya akan mengalokasikan gas ke cadangan gas state terpisah untuk transaksi dengan batas gas di atas 16.777.216. Pembuatan state akan menggunakan cadangan itu sebelum mengambil gas eksekusi. Fungsi gasleft() Solidity tidak mencakup cadangan tersebut, sehingga perbandingan antar-pembacaan dapat mengabaikan biaya yang dibayar relayer. Pembacaan berikutnya yang lebih tinggi daripada pembacaan awal akan menyebabkan pengurangan yang diperiksa memicu revert dan menghentikan operasi. Sebaliknya, pengurangan tanpa pemeriksaan dapat meluap menjadi nilai besar dan berpotensi menyebabkan penggantian biaya berlebihan, bergantung pada perhitungan lain dan perlindungan pembayaran. Pengeluaran dari cadangan yang tidak terukur juga dapat membuat pengguna membayar terlalu sedikit dan menyebabkan operator menanggung selisihnya.

Panduan penagihan menyarankan penghitungan biaya berdasarkan aturan yang diusulkan dan memperoleh persetujuan biaya yang ditandatangani pengguna. Untuk sistem yang tetap menggunakan pengukuran, panduan tersebut menyarankan pembatasan hasil pengurangan dan penerapan batas pembayaran yang ditandatangani, meskipun biaya yang dibayar dari cadangan tetap tidak terukur. Usulan spesifikasi terbuka PR #12581 akan mencegah pembacaan gas meningkat, menyelesaikan masalah pengurangan tanpa menghilangkan biaya cadangan yang tidak terukur.

INV-8 mengkaji EIP-7702, yang memungkinkan akun mengotorisasi kode kontrak yang didelegasikan. Berdasarkan aturan yang diusulkan, gas praeksekusi yang tidak mencukupi dapat membuat transaksi tercatat dalam blok, sementara delegasi dan pembaruan nonce terkait otorisasi dibatalkan. Otorisasi yang terekspos kemudian dapat digunakan kembali jika tetap lolos pemeriksaan validitas, termasuk pemeriksaan nonce akun yang memberikan otorisasi. Penyerang dapat menerapkan otorisasi itu dan mengklaim kepemilikan dalam satu transaksi jika inisialisasi kontrak yang didelegasikan memungkinkan pemanggil pertama memilih pemiliknya. Pengajuan otorisasi lebih dulu oleh pihak lain sudah terjadi di mempool publik, tetapi kegagalan ini dapat mengekspos otorisasi yang dapat digunakan kembali setelah transaksi ditambang, bahkan jika transaksi dikirim secara privat. Delegasi yang diterapkan sebelum frame eksekusi tingkat atas akan tetap berlaku jika frame berikutnya gagal, sehingga tanda terima transaksi yang gagal perlu diperiksa untuk mengetahui kode akun dan nonce yang dihasilkan. Perlindungan dompet yang disarankan mencakup kewajiban adanya tanda tangan akun atau pemanggilan mandiri untuk inisialisasi, serta pembatalan otorisasi yang terekspos. Perubahan protokol yang disarankan akan membebankan biaya otorisasi maksimum di muka, tetapi perubahan itu belum diadopsi.

Pembuatan slot penyimpanan dingin akan menghabiskan total 110.020 gas berdasarkan usulan tersebut, dibandingkan dengan 22.100 pada Osaka. Total yang diusulkan terdiri atas 12.100 gas eksekusi dan 97.920 gas state, dengan cadangan menentukan saldo mana yang membayar komponen gas state. Riset ChainSecurity pada 13 Oktober menunjukkan bahwa perubahan biaya dan gas yang dikembalikan dapat memungkinkan kontrak mencatat secara permanen operasi yang kekurangan dana sebagai tidak berhasil. Operasi valid dapat menjadi mustahil untuk diulangi jika catatan tersebut menghilangkan kesempatan mencoba lagi. Memeriksa ulang anggaran, meneruskan kegagalan, dan mempertahankan opsi untuk mencoba lagi menangani aspek risiko yang berbeda.

Repositori tersebut menanyakan kepada proyek terdampak apakah perubahan konfigurasi, peningkatan, atau migrasi dapat mengatasi masalah dan kira-kira kapan perbaikan dapat diselesaikan. Tanggapan proyek akan membantu pengembang menilai seberapa banyak pekerjaan kompatibilitas yang dapat ditangani aplikasi dan bagian spesifikasi mana yang dapat direvisi untuk mencegah dampak buruk. Uraian spesifik tentang kegagalan dan perbaikan yang tersedia akan memandu pembahasan spesifikasi berikutnya.