Vitalik Buterin mengusulkan model transaksi Ethereum jangka panjang yang intinya memisahkan pemrosesan "tindakan" dan "ketergantungan" dalam transaksi. Tindakan bertanggung jawab atas perubahan status di rantai, sementara ketergantungan digunakan untuk membuktikan bahwa transaksi telah memenuhi syarat tanda tangan, bukti status, dan validitas sebelum dieksekusi. Menurut pendekatan ini, sebagian pekerjaan verifikasi dapat diselesaikan sebelum masuk ke blok, sehingga ruang pemrosesan paralel juga menjadi lebih besar.
Verifikasi dan eksekusi perdagangan akan diproses secara terpisah
Proses perdagangan Ethereum saat ini biasanya menggabungkan otorisasi, pembayaran biaya transaksi, dan eksekusi kontrak dalam satu jalur pemrosesan. Node perlu memeriksa secara bersamaan apakah tanda tangan valid, apakah pengirim mampu membayar biaya, dan apakah eksekusi transaksi berhasil.
Buterin percaya bahwa sebagian pemeriksaan tersebut tidak bergantung pada perubahan status akhir, dan secara teori dapat ditangani terlebih dahulu secara terpisah. Misalnya, tanda tangan digital, bukti pengetahuan nol, atau bukti validitas tertentu yang tidak bergantung pada perubahan status di rantai, dapat diklasifikasikan sebagai bagian "bergantung".
Jika transaksi dapat secara jelas menyatakan status mana yang akan diakses, mempool juga lebih mudah menentukan kondisi mana yang akan dipengaruhi oleh transaksi sebelumnya dan pemeriksaan mana yang dapat diselesaikan lebih awal. Ini berarti transaksi yang lebih dapat diprediksi mungkin mendapatkan efisiensi verifikasi yang lebih tinggi.
EIP-8141 masih dalam tahap draf
Sejalan dengan ide ini, terdapat rancangan usulan bernama EIP-8141. Usulan ini memperkenalkan jenis transaksi baru, disebut Frame Transaction. Transaksi ini membagi satu transaksi menjadi beberapa frame pemanggilan untuk menangani otorisasi verifikasi, pembayaran biaya transaksi, dan eksekusi operasi pengguna secara terpisah.
Berdasarkan rancangan, validitas transaksi dan pembayaran biaya tidak lagi sepenuhnya bergantung pada tanda tangan standar luar. Kode akun dapat menentukan cara otorisasi dan aturan pembayaran sendiri. Frame verifikasi bertanggung jawab untuk memastikan apakah kondisi terpenuhi, sedangkan frame pengiriman bertanggung jawab untuk benar-benar mengubah status.
Struktur ini juga dianggap membantu mendekatkan format transaksi dasar antar jaringan EVM. Namun, EIP-8141 saat ini masih merupakan draf inti, belum dimasukkan ke dalam pembaruan jaringan utama Ethereum, dan tidak memiliki waktu peluncuran yang jelas.
Dalam diskusi pengembang, beberapa masalah teknis juga diangkat, termasuk risiko penolakan layanan, aturan penggantian transaksi, adaptasi dompet dan pembangun blok, serta batasan jumlah transaksi yang tertunda dari pengirim yang sama pada public mempool. Masalah-masalah ini masih perlu dikonsolidasikan lebih lanjut.
Recursive STARK or reducing redundant verification
Arah jangka panjang yang diusulkan Buterin tidak hanya terbatas pada EIP-8141. Ia juga membayangkan bahwa untuk "ketergantungan murni" yang tidak memerlukan akses ke status rantai, pemeriksaan dapat dilakukan terlebih dahulu di tingkat mempool, bukan oleh setiap validator yang menjalankan ulang.
Dalam model ini, jaringan dapat mengompresi beberapa pekerjaan verifikasi yang telah selesai menjadi bukti STARK rekursif, yang kemudian diverifikasi secara terpadu oleh pemeriksa. Tujuannya adalah mengurangi perhitungan berulang dan meringankan sebagian beban verifikasi.
Dia juga menyebutkan bahwa cara ini di masa depan dapat membantu Ethereum beradaptasi dengan skema kriptografi pasca-kuantum. Alasannya adalah tanda tangan anti-kuantum biasanya lebih besar dan memiliki biaya verifikasi yang lebih tinggi. Jika akun dapat menyesuaikan cara otorisasi, dikombinasikan dengan agregasi bukti rekursif, biaya verifikasi terkait berpotensi turun.
Namun, bagian ini saat ini masih berada pada tahap penelitian dan tidak termasuk dalam spesifikasi eksisting EIP-8141. Untuk diimplementasikan secara nyata, masih perlu menyelesaikan masalah seperti generasi bukti, koordinasi mempool, ketersediaan data, serta perlindungan terhadap agregasi kesalahan.