Ia mengklaim bahwa pekerjaan terbaru tentang abstraksi akun, desain status, dan agregasi bukti kriptografi berkontribusi pada pemisahan yang lebih jelas antara apa yang dilakukan transaksi dan apa yang harus dibuktikan sebelum transaksi itu dapat dilakukan.
Buterin mengatakan penelitian terbaru seputar EIP-8141, model status alternatif, keyed nonce, dan mempool berbasis STARK rekursif telah menghasilkan model konseptual transaksi yang lebih eksplisit.
Kuncinya adalah membedakan antara dua komponen: "aksi" dan "dependensi".
"Aksi adalah efek yang dihasilkan oleh sebuah transaksi," jelas Buterin.
Pembedaan ini mungkin terdengar sangat konseptual. Namun, Buterin berpendapat bahwa secara eksplisit memisahkan keduanya dapat memungkinkan para pengembang Ethereum untuk mengoptimalkannya dengan cara yang sangat berbeda.
Mengapa ini penting
Validasi dan eksekusi biasanya saling terkait. Node menerima transaksi, memvalidasi informasi yang diperlukan, dan pada akhirnya mengeksekusinya.
Buterin berpendapat bahwa dependensi memiliki sifat-sifat yang membuatnya sangat cocok untuk dioptimalkan.
Banyak dependensi dapat diperiksa secara paralel. Beberapa dapat diteliti oleh mempool sebelum transaksi mencapai blok. Lainnya bahkan tidak memerlukan akses ke status Ethereum sama sekali.
Dependensi yang disebut "murni" tersebut berpotensi dapat diperiksa satu kali saja oleh mempool dan kemudian tidak pernah dieksekusi ulang oleh setiap validator.
Menurut Buterin, kumpulan besar dari pemeriksaan seperti itu pada akhirnya dapat digantikan oleh satu bukti STARK yang membuktikan semuanya dilakukan dengan benar.
"Dependensi dapat diproses secara paralel," tulisnya.
