Pembukaan
Tim zkEVM dari Ethereum Foundation telah mengusulkan penyertaan EIP-8025 dalam fork Hegota, menurut pembahasan dalam rapat All Core Developers (ACD). EIP-8025 memperkenalkan Optional Execution Proofs, yang memungkinkan node Ethereum memverifikasi bukti zero-knowledge alih-alih mengeksekusi ulang semua transaksi secara langsung. Saat ini, node memvalidasi kebenaran blok dengan mengeksekusi ulang hasil transaksi; EIP-8025 menambahkan alternatif di mana node dapat memverifikasi bukti ZK validitas blok tanpa mengulangi seluruh komputasi. Pada tahap ini, usulan berfungsi sebagai mekanisme opt-in penuh—hanya node yang memilih menggunakan bukti yang terpengaruh, dan aturan konsensus tetap tidak berubah. Ini menandai pergeseran formal Ethereum dari fase eksperimental menuju integrasi teknologi zero-knowledge di tingkat protokol, yang berpotensi menurunkan biaya operasional node dan memungkinkan blok yang lebih besar dengan eksekusi yang lebih kompleks dalam jangka panjang.
Perkembangan Riset
EIP-8025: Infrastruktur Zero-Knowledge Ethereum Masuk Fase Peningkatan Protokol
Mekanisme inti EIP-8025 berpusat pada Optional Execution Proofs. Alih-alih mewajibkan semua node mengeksekusi ulang transaksi untuk memverifikasi validitas blok, node dapat memvalidasi bukti zero-knowledge yang mengonfirmasi kebenaran eksekusi. Usulan ini tidak langsung mengubah Ethereum menjadi chain berbasis ZK; alih-alih, usulan ini membangun dasar untuk transisi dari “direct re-execution chain” ke “proof-verification chain.”
Signifikansinya adalah mengurangi beban operasional node serta membangun infrastruktur untuk blok yang lebih besar dan eksekusi yang lebih kompleks. Dengan memungkinkan node memverifikasi bukti alih-alih meniru komputasi, Ethereum dapat mendukung throughput dan kapasitas pemrosesan yang lebih besar.
Vitalik Buterin tentang AI dan Formal Verification untuk Keamanan Siber
Pendiri Ethereum Vitalik Buterin menerbitkan analisis tentang menggabungkan AI dan formal verification untuk mengubah keamanan siber. Formal verification membuktikan secara matematis bahwa program beroperasi persis seperti yang dimaksud—berbeda dengan audit keamanan tradisional di mana manusia meninjau kode untuk kerentanan.
Buterin mengusulkan bahwa AI dapat menghasilkan kode assembly tingkat rendah sementara formal verification memastikan bahwa kode tersebut menghasilkan perilaku yang identik dengan implementasi tingkat tinggi yang dapat dibaca manusia. Pendekatan ini menjawab trade-off tradisional: kode assembly dieksekusi secara efisien tetapi sulit untuk ditinjau manusia, sedangkan kode tingkat tinggi memprioritaskan keterbacaan dibanding optimasi performa.
Contoh di ekosistem Ethereum yang disebut mencakup Arklib (mengejar STARK yang diverifikasi secara formal untuk membuktikan komputasi kompleks yang benar) dan evm-asm (menulis EVM dalam RISC-V dan membuktikan kesetaraannya dengan implementasi Lean, di mana Lean adalah alat formal verification).
Untuk protokol blockchain dan smart contract, metode verifikasi yang lebih kuat menjadi penting karena kesalahan saat deployment memiliki konsekuensi yang serius.
ZK Summit 14: Fokus Sistem Bukti Pergeser ke Jaminan Sistem Dunia Nyata
ZK Summit 14 diadakan pada 7 Mei di Roma, menampilkan 24 presentasi dari tim ekosistem ZK besar termasuk Ethereum Foundation, Succinct, Aztec, Nethermind, dan Miden.
Tren paling signifikan yang tercermin adalah pergeseran fokus dari metrik performa sistem bukti—kecepatan, ukuran bukti, biaya verifikasi—menuju jaminan sistem dunia nyata. Teknologi zero-knowledge kini terintegrasi ke sistem pembayaran, verifikasi identitas, zkVM, dan aplikasi machine learning. Dalam konteks ini, performa bukti saja tidak cukup untuk:
- Sistem pembayaran perlu melindungi nominal transaksi dan informasi pengguna.
- Sistem identitas harus memungkinkan pengguna membuktikan kredensial yang diperlukan sambil menyembunyikan data pribadi lainnya.
- zkVM harus membuktikan eksekusi program kompleks secara akurat.
- Aplikasi machine learning memerlukan verifikasi bahwa hasil inferensi model tidak dimanipulasi.
Teknologi ZK telah meluas dari “pembuatan bukti yang cepat” menjadi metode untuk merancang jaminan keamanan dan privasi yang disesuaikan dengan kebutuhan masing-masing sistem. ZK Summit 14 menunjukkan kemajuan teknologi zero-knowledge dari riset menuju integrasi mendalam dengan infrastruktur dan aplikasi dunia nyata.
Pembaruan Ekosistem
Kerangka Privasi Kohaku Bakal Diluncurkan, Pengujian Integrasi Wallet Sedang Berjalan
Kerangka privasi modular Ethereum Kohaku mendekati peluncuran dengan pengujian integrasi wallet yang sedang berlangsung. Kohaku menyediakan antarmuka terpadu yang memungkinkan wallet mengeksekusi transaksi privat menggunakan beberapa backend kriptografi tanpa mengimplementasikan fungsi privasi secara langsung.
Wallet, termasuk Ambire, saat ini sedang melakukan pengujian integrasi Kohaku. Secara historis, fitur privasi menghadapi hambatan adopsi di wallet pengguna karena protokol privasi individual memakai arsitektur yang berbeda, sehingga wallet harus mendukung setiap teknologi secara terpisah.
Kohaku mengatasi fragmentasi ini dengan memungkinkan wallet mengakses beberapa backend privasi melalui satu antarmuka. Adopsi yang meningkat dapat memperluas penggunaan Railgun, yang diidentifikasi sebagai mesin privasi fondasional Kohaku. Kerangka kerja ini bertujuan mengubah privasi Ethereum dari “alat khusus untuk pengguna tingkat lanjut” menjadi “fitur wallet yang terintegrasi secara alami.”
L2BEAT Memverifikasi Lighter’s Zero-Knowledge Exit Hatch
Platform analisis Layer 2, L2BEAT, memverifikasi sirkuit ZK Lighter, sebuah DEX perpetual futures di Layer 2. Lighter memungkinkan perdagangan derivatif perpetual—kontrak tanpa tanggal kedaluwarsa.
L2BEAT menyusun semua sirkuit ZK Lighter langsung dari kode sumber dan mengonfirmasi kesesuaian dengan kontrak verifier yang dideploy (smart contract yang memvalidasi bukti ZK yang dikirimkan). Verifikasi ini menanggapi fungsionalitas exit hatch—mekanisme darurat yang memungkinkan pengguna menarik aset jika sequencer atau operator Layer 2 berhenti.
Sebelumnya, Lighter menahan sebagian kode sumber verifier, sehingga mencegah pengguna menghasilkan exit proofs (data yang membuktikan hak penarikan) secara independen saat terjadi kegagalan sequencer. Setelah verifikasi L2BEAT, pengguna kini dapat menghasilkan exit proofs secara independen, sehingga meningkatkan kemampuan untuk menarik aset tanpa bergantung pada tim Lighter saat kondisi darurat.
Kasus ini menunjukkan bahwa untuk keamanan Layer 2, memverifikasi kode yang dideploy cocok dengan kode yang tersedia secara publik sama pentingnya dengan ketersediaan kode itu sendiri.
ETHGlobal Merevisi Format Hackathon
ETHGlobal telah merestrukturisasi format hackathon-nya. Hackathon tradisional mengharuskan peserta memilih ide dan membangun produk minimum viable (MVP—versi awal yang mendemonstrasikan fungsi inti) dalam jangka waktu singkat.
Dimulai dari hackathon New York, jalur baru memungkinkan peserta menyumbangkan fitur ke repositori open-source yang sudah ada atau menambahkan fungsionalitas ke produk yang sudah mapan, lalu merilis peningkatan tersebut secara publik sebagai open source. Perubahan ini meningkatkan kemungkinan keluaran hackathon berubah menjadi kontribusi ekosistem yang nyata. Sebelumnya, MVP dalam jangka waktu singkat sering berhenti dikembangkan setelah acara. Berkontribusi pada proyek open-source yang aktif langsung memberi manfaat bagi pengguna dan pengembang yang sudah ada.
ETHGlobal sedang memperluas dari “memamerkan ide-ide baru dengan cepat” menjadi “meningkatkan infrastruktur ekosistem yang sudah ada secara bermakna.” Seiring Ethereum semakin matang, memperkuat public goods dan alat pengembang yang sudah ada menjadi sama pentingnya dengan menciptakan aplikasi baru sepenuhnya.
Pembaruan Komunitas
Kontributor Senior Ethereum Foundation Keluar
Dua peneliti senior Ethereum Foundation telah mengundurkan diri: Carl Bewick dan Julian Ma. Ini membawa total pemberhentian kontributor senior menjadi tujuh selama dua bulan.
Carl Bewick berkontribusi sekitar tujuh tahun untuk Ethereum Foundation, ikut dalam riset konsensus, desain awal Beacon Chain, dan upacara KZG (prosedur setup kriptografis yang terkait dengan penskalaan ketersediaan data Ethereum).
Julian Ma berkontribusi sekitar empat tahun, menjadi co-author EIP-7805 FOCIL dan berpartisipasi dalam FCR GTM (diskusi tentang ketahanan terhadap sensor dan jaminan inklusi transaksi, serta aturan konfirmasi cepat yang memungkinkan persepsi finalitas transaksi yang lebih cepat).
Kepergian terbaru personel riset protokol inti dan koordinasi peningkatan memunculkan pertanyaan tentang pemeliharaan koordinasi pengembangan protokol dan kesinambungan riset.
Railgun Mendapat Perhatian di Tengah Ekspektasi Adopsi Kohaku
Protokol privasi Railgun mendapat perhatian berdasarkan prospek adopsi Kohaku. Analisis menyarankan bahwa meningkatnya integrasi wallet Kohaku dapat memperluas penggunaan Railgun. Railgun memungkinkan interaksi Ethereum DeFi sambil menjaga privasi—transaksi on-chain standar mengekspos alamat wallet, nominal transaksi, dan protokol yang diakses, sementara Railgun menyembunyikan informasi tersebut.
Railgun mengenakan biaya 0,25% untuk Shield actions (memindahkan aset ke zona yang dilindungi privasi) dan unShield actions (penarikan ke area publik). Adopsi wallet yang meningkat melalui Kohaku dan volume transaksi privat yang lebih tinggi akan memperluas pendapatan biaya Railgun.
Analisis mencatat bahwa Railgun tampaknya undervalued dibandingkan koin privasi seperti ZEC dan DASH, dengan pembeda berupa interaksi langsung Ethereum DeFi. Sementara ZEC dan DASH berfungsi sebagai koin privasi terpisah, Railgun beroperasi sebagai alat privasi dalam Ethereum DeFi. Jika Kohaku mencapai adopsi wallet yang substansial, Railgun berpotensi menjadi penerima utama infrastruktur privasi Ethereum.
Metrik Ethereum Mingguan
- Tingkat inflasi tahunan: 0,833%
- Pasokan neto mingguan: 19.422,04 ETH
- Rasio staking: 31,50%
- Kapitalisasi pasar stablecoin: $163,019 miliar
- US Ethereum spot ETF net outflows: $255,02 juta
Data bersumber dari Ultrasound Money, DeFi Llama, Dune, dan Parsec Investors.
