EIP-8250 Ethereum: bagaimana keyed nonces membantu skala privasi

Ringkasan cepat

• Yang diubah adalah cara nonce dipakai pada frame transaction. EIP-8250 mengganti satu urutan nonce per pengirim dengan pasangan (nonce_key, nonce_seq) untuk EIP-8141 frame transaction .
• Key nol menjaga kompatibilitas. Saat nonce_key == 0, transaksi tetap menggunakan jalur nonce akun lama; saat key bukan nol, transaksi memakai urutan nonce independen yang dikelola melalui kontrak sistem NONCE_MANAGER .
• Manfaat privasi utamanya adalah kelancaran, bukan kerahasiaan. ETH Daily menyebut proposal ini berguna bagi protokol privasi yang merutekan banyak pengguna independen melalui satu alamat pengirim bersama .
• Isu yang lebih besar adalah state scaling. Sejumlah laporan tentang komentar Vitalik Buterin mengaitkan keyed nonces dengan penyimpanan khusus untuk nullifier privasi, yaitu catatan yang terus bertambah dan tidak bisa dipangkas setelah masuk sistem .
• Statusnya masih proposal. Sumber teknis utama yang tersedia adalah diskusi Ethereum Magicians yang terhubung ke pull request EIP, sehingga detail implementasi dan waktunya masih dapat berubah .

Apa sebenarnya yang berubah?

Pada model frame transaction saat ini, satu pengirim memakai satu nonce linear. Akibatnya, jika satu frame transaction tertunda, transaksi frame berikutnya dari pengirim yang sama ikut tertahan . EIP-8250 mengusulkan dua field:

• nonce_key: memilih domain perlindungan replay.
• nonce_seq: nomor urut di dalam domain key tersebut.

Bagian pentingnya adalah kompatibilitas. nonce_key == 0 menjadi alias untuk nonce akun lama, sedangkan key selain nol memilih urutan nonce independen yang dikelola protokol dan disimpan di kontrak sistem NONCE_MANAGER .

Jadi, EIP-8250 bukan tombol ajaib untuk menjalankan semua transaksi Ethereum secara paralel. Urutan masih ada di dalam masing-masing key. Bedanya, transaksi pada key non-nol yang berbeda menjadi independen dari sisi replay, sehingga satu lajur tidak harus menunggu lajur lain .

Mengapa protokol privasi memperhatikan ini?

Masalahnya muncul ketika banyak pengguna yang tidak saling terkait diproses melalui satu alamat pengirim. ETH Daily menjelaskan bahwa EIP-8250 terutama bermanfaat untuk protokol privasi karena pola seperti ini dapat terjadi pada sistem yang memakai alamat pengirim bersama . Dengan satu nonce linear, satu transaksi tertunda dapat menahan semua transaksi setelahnya dari pengirim yang sama .

Keyed nonces mengurangi hambatan “kepala antrean” semacam itu. Sebuah protokol dapat menempatkan alur yang berbeda pada nonce_key non-nol yang berbeda, sehingga keterlambatan pada satu alur tidak otomatis membekukan alur lainnya . Tujuan keamanannya tetap sama: mencegah replay. Proposal ini tidak menghapus pengecekan replay, melainkan memberi setiap key urutan pengecekannya sendiri .

Bukan fitur privasi lengkap

Penting untuk tidak salah membaca EIP-8250 sebagai fitur yang otomatis menyembunyikan saldo, penerima, atau jumlah transaksi. Untuk transfer privat, dibutuhkan perangkat yang jauh lebih lengkap.

Sebagai pembanding, EIP-8182—proposal terpisah—menggambarkan transfer privat ETH dan ERC-20 dengan kontrak sistem, precompile verifikasi bukti, notes, deposit, transfer privat, dan penarikan . Dengan kata lain, keyed nonces lebih dekat ke perbaikan infrastruktur antrean dan replay protection, bukan paket privasi siap pakai.

Kaitan dengan nullifier dan state Ethereum

Daya tarik EIP-8250 juga datang dari diskusi yang lebih luas tentang state Ethereum, yakni data yang harus tetap dapat dilacak oleh jaringan. Laporan yang merangkum komentar Buterin menyebut nullifier privasi sebagai contoh beban berat: nullifier terus bertambah seiring waktu dan tidak dapat dipangkas setelah masuk sistem . Dalam sistem privasi, catatan seperti ini diperlukan agar state privat tidak bisa dipakai ulang.

Angka yang sering dikutip cukup besar: jika transaksi privat on-chain berjalan stabil di 2.000 transaksi per detik selama delapan tahun, sistem dapat menghasilkan sekitar 500 miliar nullifier . Angka ini sebaiknya dibaca sebagai ilustrasi uji tekanan, bukan janji bahwa Ethereum pasti akan menyimpan 500 miliar catatan tersebut, dan bukan pula bukti bahwa EIP-8250 sudah dijadwalkan aktif.

Mengapa penyimpanan khusus dianggap menarik?

Argumen state scaling-nya sederhana: tidak semua data Ethereum perlu memakai model penyimpanan umum yang sama. Beberapa laporan menggambarkan keyed nonces sebagai langkah awal menuju tipe penyimpanan khusus untuk beban kerja tertentu, dengan nullifier privasi sebagai contoh utama .

Untuk data yang sempit fungsinya, sering ditambahkan, dan harus bisa dicek seperti nullifier, penyimpanan khusus bisa lebih masuk akal daripada menaruh semuanya di state dinamis umum Ethereum. Beberapa laporan menyebut gagasan nullifier store tersendiri yang memanfaatkan teknik seperti sharding dan Bloom filter agar himpunan data privasi yang besar lebih mudah dikelola node .

Itulah konteks arsitektural yang membuat EIP-8250 mendapat perhatian. Perubahan langsungnya tetap tentang keyed replay protection untuk frame transaction, tetapi arah desainnya dapat membuka jalan bagi struktur yang dikelola protokol untuk beban kerja besar dan lebih mudah diprediksi .

Apa yang bisa diperbaiki EIP-8250?

• Throughput untuk pengirim bersama: Protokol privasi yang merutekan banyak pengguna melalui satu pengirim tidak harus memaksa semua alur masuk ke satu antrean nonce yang sama .
• Isolasi replay: Key non-nol yang berbeda menjadi domain replay protection yang terpisah, sehingga transaksi pada key tersebut independen dari sisi replay .
• Dukungan protokol untuk privasi: Laporan sekunder menyebut Buterin menempatkan keyed nonces sebagai dukungan protokol yang lebih kuat bagi solusi privasi on-chain .
• Arah baru state scaling: Laporan yang sama mengaitkannya dengan strategi penyimpanan khusus untuk use case tertentu, bukan selalu memasukkan semuanya ke state umum .

Apa yang tidak dilakukan EIP-8250?

• Tidak mengganti semua nonce Ethereum. Cakupannya adalah EIP-8141 frame transaction, dan key 0 tetap menjaga jalur nonce akun lama .
• Tidak membuat transaksi privat dengan sendirinya. Desain transfer privat tetap memerlukan notes, verifikasi bukti, deposit, aturan transfer, dan aturan penarikan seperti yang terlihat pada EIP-8182 .
• Tidak membuktikan Ethereum akan menyimpan 500 miliar catatan privasi. Angka itu berasal dari contoh yang dilaporkan: 2.000 transaksi privat per detik selama delapan tahun, menghasilkan kira-kira 500 miliar nullifier .
• Belum menjadi perilaku protokol aktif. Mekaniknya dijelaskan dalam diskusi Ethereum Magicians yang terhubung dengan pull request EIP, sehingga detailnya masih bisa berubah .

Kesimpulan

Cara terbaik membaca EIP-8250 adalah sebagai proposal replay protection yang punya implikasi bagi skala privasi. Perubahan langsungnya sederhana: memecah urutan nonce frame transaction menjadi beberapa lajur berbasis key. Makna yang lebih besar ada pada arah arsitekturnya: jika Ethereum dapat memberi struktur khusus untuk beban kerja yang sempit tetapi sangat besar, protokol privasi mungkin bisa tumbuh tanpa menjejalkan setiap catatan yang tidak bisa dipangkas ke state umum Ethereum .