Ethereum Bertaruh Besar pada zkVM: Verifikasi Formal dan Analisis Kriptografi dalam Fokus

• Ethereum Foundation menginvestasikan puluhan juta di zkVM.
• Yayasan mengundang kontributor untuk pengembangan zkVMS.
• Investasi besar-besaran menyoroti komitmen Ethereum Foundation terhadap zkVM.

Peneliti Ethereum Foundation terkenal Justin Drake mengatakan bahwa Ethereum Foundation menginvestasikan puluhan juta dolar ke dalam Zero Knowledge Virtual Machines (zkVM). Dalam posting baru-baru ini di X, Drake mengidentifikasi tiga protokol—verifikasi formal zkRISC-V, kriptoanalisis Poseidon, dan L2beat untuk zkVM—sebagai fokus Ethereum Foundation saat ini.

Inisiatif zkVM Ethereum Foundation

Sementara itu, Drake mengundang mereka yang bersedia berkontribusi pada barang publik zkVM untuk menghubunginya, menyoroti target dan tujuan Ethereum Foundation untuk berbagai zkVM. Misalnya, proyek verifikasi formal zkEVM berfokus pada percepatan penerapan metode verifikasi formal ke zkEVM.

Rincian lebih lanjut oleh Ethereum Foundation menunjukkan bahwa proyek verifikasi formal bertujuan untuk mencapai tingkat jaminan tertinggi untuk zkEVM. Yayasan berencana untuk menampilkan beberapa hibah dan hadiah bagi mereka yang berkontribusi pada proyek dalam 18-24 bulan ke depan dari pengembangannya.

Sementara itu, Ethereum Foundation sedang mengeksplorasi kandidat Poseidon Cryptanalysis untuk menggunakan Ethereum L1 untuk berbagai protokol yang menggunakan bukti ZK. Protokol Ethereum menggunakan fungsi hash Poseidon dalam berbagai aplikasi yang melibatkan komputasi yang dapat diverifikasi. Yayasan menilainya di antara yang berkinerja terbaik pada tolok ukur STARK baru-baru ini oleh StarkNet.

Baca juga: Plonky3 Raih 2 Juta Hash Per Detik, Vitalik Buterin Terkesan

Protokol ETH Proofs Masih Tidak Aktif

Sementara Ethereum Foundation menjalankan proyek Verifikasi Formal dan Poseidon Cryptanalysis, protokol ETH Proofs belum aktif. Namun, Drake sedang mencari pengembang yang tertarik yang bersedia berkontribusi pada proyek tersebut. Beberapa responden atas permintaan Drake menyarankan agar dia menjangkau para ahli dengan rekam jejak yang terbukti daripada menunggu sukarelawan.

Investasi ini menegaskan komitmen Ethereum Foundation untuk meningkatkan skalabilitas dan keamanan ekosistem Ethereum. Analis blockchain mengharapkan zkVM memainkan peran penting dalam meningkatkan efisiensi transaksi dan privasi di jaringan Ethereum, memastikan keandalan dan kebenaran mesin virtual.