Simulasi memprediksi hasil transaksi. EIP-7906 mengusulkan cara untuk membatasi hasil yang benar-benar terjadi.

Draf ini memperkenalkan introspeksi perbedaan transaksi dan rangkaian asersi POST_TX yang menyusul. Logika asersi dapat memeriksa saldo bersih ETH, perubahan penyimpanan, hash kode, penyebaran, serta data peristiwa setelah isi transaksi dijalankan.

Jika sebuah asersi yang diperlukan gagal:

• Isi eksekusi melakukan revert

• Transaksi masih dapat tetap valid dalam blok dengan status gagal

• Gas tetap dibayarkan untuk pekerjaan yang dilakukan

• Status prefiks validasi tidak di-rollback

Asersi bersifat lokal terhadap transaksi. Asersi tidak membuat koneksi wallet, izin (allowance), kunci sesi, atau izin yang dapat digunakan kembali.

Risiko keamanan utama adalah cakupan yang tidak lengkap. Sebuah transaksi dapat memenuhi kondisi yang sempit sambil melakukan perubahan berbahaya lainnya yang tidak pernah diperiksa oleh asersi tersebut. Wallet juga harus memastikan asersi akhir yang diperlukan tidak dapat dihilangkan, diganti, ditingkatkan secara tak terduga, atau dirampas cukup gas agar pemeriksaannya dapat dilakukan.

Panduan lengkap:

https://tokentoolhub.com/eip-7906-transaction-assertions/

#Ethereum #SmartContracts #Web3Security #cryptowallets #blockchain