Penelitian & Pengembangan

better.codes, sebuah tantangan riset otomatis (autoresearch) terbuka yang dibangun oleh tim verifikasi formal Yayasan Ethereum bekerja sama dengan Yukon dan zkSecurity, kini telah diluncurkan. better.codes mengambil masalah mandiri dari riset Proximity Prize, yang diformalkan di Lean, dan menempatkan batas keandalannya (soundness bound) di papan peringkat publik yang dapat didorong maju oleh siapa saja. Para pemecah mengarahkan agen AI mereka sendiri untuk meningkatkan batas keandalan yang diperiksa mesin dari koalaIRS12, sebuah masalah kedekatan (proximity) Reed–Solomon untuk memajukan sistem bukti non-interaktif ringkas modern (SNARK). Kernel Lean memeriksa setiap kiriman dan setiap bukti yang dipromosikan akan meningkatkan batas menuju target 128-bit yang tetap. Lemma baru, teknik pembuktian, dan hasil ketidakmungkinan dari setiap bukti yang dipromosikan kemudian diunggah ke hulu (upstreamed) untuk memajukan progres bagi semua pemecah dan agen.

Catatan dari tim Keamanan Protokol Yayasan Ethereum tentang menjalankan agen AI yang terkoordinasi terhadap kode protokol nyata, termasuk bagaimana kami mengatur pekerjaan tersebut, apa yang bertahan di bawah pengawasan, dan apa yang dapat dipelajari oleh tim klien dan peneliti keamanan dari hal ini. Tulisan ini berdiri sendiri; tulisan-tulisan berikutnya akan membahas lebih dalam mengenai masing-masing klien.

Pertemuan semi-rutin para pengembang inti Ethereum dari berbagai tim klien, atau interop, baru-baru ini berlangsung di Svalbard, Norwegia. Selama acara yang berlangsung selama seminggu tersebut, tim-tim berfokus pada penguatan dan persiapan untuk peningkatan berikutnya, Glamsterdam. Beberapa pencapaian penting dihasilkan pada minggu tersebut, termasuk: Batas bawah batas gas 200M ditetapkan: Target pasca-Glamsterdam yang kredibel yang berasal dari konvergensi ePBS, pengoptimalan BAL, dan penetapan harga ulang EIP-8037 ePBS distabilkan: Glamsterdam-devnet multi-klien yang berjalan dengan alur pembangun eksternal telah diuji secara menyeluruh di hampir semua klien EIP-8037 difinalisasi: cost\per\state\_byte tetap diadopsi; angka penetapan harga ulang penuh disampaikan pada hari Jumat di bal-devnet-6 Dasar-dasar Hegotá diletakkan: Prototipe FOCIL telah fungsional; persyaratan AA bawaan telah dicakup; devnet multi-klien adalah langkah selanjutnya yang

Minggu lalu, lebih dari 100 kontributor inti Ethereum berkumpul di atas Lingkaran Arktik — di Longyearbyen, Svalbard — untuk Interop Soldøgn: satu minggu kerja intensif pada peningkatan jaringan Glamsterdam. Soldøgn mengikuti Berlinterop tahun lalu, tetapi kembali ke format yang digunakan oleh Amphora 🏺, Edelweiss 🏔️, dan Nyota ✨: satu minggu jalur tunggal yang berfokus pada kemajuan multi-klien menuju peningkatan spesifik — dalam hal ini, memperkuat Glamsterdam. Menjelang hari Jumat, kelompok tersebut telah mencapai tiga tujuan intinya: penyelarasan pada batas bawah batas gas pasca-Glamsterdam sebesar 200M, implementasi ePBS yang stabil berjalan dengan pembangun eksternal, dan angka penetapan harga ulang EIP-8037 akhir yang telah dikunci. Kemajuan yang berarti juga dicapai pada fitur-fitur Hegotá seperti FOCIL dan abstraksi akun bawaan, serta berbagai topik lainnya.

Gumpalan jaringan utama akan segera hadir .oO: Dua tahun setelah peluncuran ETHDenver, setelah puluhan kali pengujian dan devnet, protodanksharding akhirnya ditayangkan langsung di jaringan utama! Dencun akan aktif di jaringan utama Ethereum pada jangka waktu 269568, yang terjadi pada 13 Maret 2024 pukul 13:55 UTC. Operator simpul & penaruh harus meningkatkan perangkat lunak mereka ke rilis yang tercantum dalam pengumuman ini. Untuk menerima peringatan email untuk pengumuman peningkatan jaringan di masa mendatang, berlanggananlah di sini. Peningkatan jaringan Dencun telah berhasil diaktifkan di semua testnet. Sekarang diatur untuk penyebaran di jaringan utama Ethereum dan akan aktif di jaringan pada jangka waktu 269568, yang terjadi pada 13 Maret 2024 pukul 13:55 UTC. Peningkatan ini, yang mengikuti peningkatan Shapella tahun lalu, mencakup beberapa perubahan, terutama pengenalan gumpalan data sementara

Bolb Goerli ada di sini: Dencun ditayangkan langsung di Goerli pada pukul 6:32 UTC pada 17 Januari 2024. Anda sekarang dapat menggunakan blob di sana! Sepolia dan Holesky akan melakukan peningkatan dalam dua minggu ke depan. Dencun akan diaktifkan di Sepolia pada jangka waktu 132608 (30 Januari, 22:51 UTC), dan di Holesky pada jangka waktu 29696 (7 Februari, 11:35 UTC). Rilis klien dalam pengumuman ini cocok untuk kedua peningkatan jaringan percobaan. Dengan asumsi peningkatan Sepolia dan Holesky berjalan dengan baik, Dencun akan dijadwalkan di jaringan utama Ethereum selanjutnya. Guna menerima peringatan email untuk pengumuman peningkatan jaringan, termasuk jaringan utama Dencun, berlanggananlah di sini. Peningkatan jaringan Dencun telah berhasil diaktifkan di testnet Goerli pada tanggal 17 Januari 2024. Sekarang dijadwalkan untuk dua testnet yang tersisa, Sepolia