Yayasan Ethereum Berinvestasi ‘Puluhan Juta’ dalam Teknologi Baru Ini

Yayasan Ethereum Berinvestasi ‘Puluhan Juta’ dalam Teknologi Baru Ini – Ethereum Foundation (EF) telah mengumumkan komitmen finansial yang substansial, menginvestasikan “puluhan juta” dolar untuk memajukan Mesin Virtual tanpa pengetahuan (zkVM), teknologi canggih yang siap meningkatkan skalabilitas dan keamanan dalam ekosistem Ethereum.

Justin Ðrake, seorang peneliti di Ethereum Foundation, mengungkapkan investasi tersebut melalui sebuah posting di X: “EF menginvestasikan puluhan juta dolar ke zkVM: verified-zkevm.org—verifikasi formal zkRISC-V poseidon-initiative.info—Poseidon cryptanalysis ethproofs.org—L2beat untuk zkVM, segera™ DM saya tentang kontribusi untuk barang publik zkVM :)”

Ethereum Foundation Berinvestasi Jutaan Dolar dalam Penelitian zkEVM
Landasan investasi ini adalah Proyek Verifikasi Formal zkEVM, yang dirinci di verified-zkevm.org. Inisiatif ini bertujuan untuk menerapkan metode verifikasi formal ke zkEVM, memastikan keandalan dan keamanannya. Menurut ikhtisar proyek, EF berupaya mencapai “zkEVM bebas bug” dengan mendistribusikan hibah dan hadiah selama periode 18-24 bulan di beberapa tahap.

“Proyek ini akan meningkatkan kesadaran akan metode verifikasi formal yang diterapkan pada zkEVM, mendokumentasikan aplikasinya, dan meningkatkan penggunaannya,” demikian pernyataan ikhtisar proyek. Selain itu, proyek ini bertujuan untuk meningkatkan koordinasi di antara berbagai tim dalam ekosistem, mengembangkan perkakas dan standar untuk pemeliharaan dan perluasan, serta menyelidiki integrasi yang lebih baik dari metode verifikasi formal ke dalam proses pengembangan dan pemeliharaan perangkat lunak.
Ruang lingkup proyek terbatas pada zkVM RISC-V yang mampu menjalankan EVM yang dikompilasi ke RISC-V, sehingga menghasilkan zkEVM. Proyek ini terstruktur menjadi tiga jalur utama:

Jalur zkVM RISC-V: Berfokus pada verifikasi implementasi CPU RISC-V, aritmetika, dan sirkuit yang benar. Proyek ini menekankan pada upaya memastikan bahwa sirkuit tidak dibatasi terlalu ketat atau terlalu ketat dan bahwa perhitungannya akurat. Verifikasi formal prakompilasi juga disertakan.

Jalur EVM: Bertujuan untuk menunjukkan bahwa EVM yang berjalan pada RISC-V mematuhi spesifikasi EVM. Kandidat untuk verifikasi harus menyajikan implementasi EVM yang berkinerja dan dapat dikompilasi pada zkVM RISC-V, seperti revm/Reth.

Jalur Kriptografi: Berusaha untuk memverifikasi spesifikasi, bukti keamanan, dan implementasi primitif dan protokol kriptografi yang digunakan oleh zkVM, dengan fokus pada integrasi FRI dan Circle STARK.

Proyek ini menekankan fleksibilitas dalam pendekatan untuk memanfaatkan keahlian komunitas dan memfasilitasi perbandingan berbagai metodologi. “Kami akan mendukung berbagai pendekatan jika memungkinkan untuk mendapatkan manfaat dari berbagai keahlian dalam komunitas,” proyek tersebut menguraikan, menambahkan bahwa metodologi yang berhasil dapat diprioritaskan pada tahap berikutnya.

Aplikasi untuk Tahap 1, yang berfokus pada pembentukan kerangka kerja yang dapat dipelihara dan diperluas, saat ini terbuka. Proposal harus mencakup ikhtisar terperinci, pendekatan teknis, rencana manajemen proyek, dan informasi tim.

Yayasan Ethereum Berinvestasi ‘Puluhan Juta’ dalam Teknologi Baru Ini

Komponen penting lain dari investasi EF adalah Poseidon Initiative, seperti yang dijelaskan di poseidon-initiative.info. Poseidon dan Poseidon2 adalah fungsi hash yang dioptimalkan untuk protokol komputasi yang dapat diverifikasi, yang secara khusus dirancang untuk meminimalkan ukuran sirkuit pada medan prima. Fungsi hash ini merupakan bagian integral dari berbagai aplikasi Ethereum yang memanfaatkan bukti tanpa pengetahuan.

Inisiatif ini bertujuan untuk meningkatkan analisis keamanan instans Poseidon, menentukan kesesuaiannya untuk aplikasi bernilai tinggi dalam Ethereum. Fase 1 proyek berlangsung hingga Desember 2025, dengan Fase 2 dijadwalkan pada pertengahan 2025 dan berakhir pada Desember 2026. Proyek ini dikelola oleh Ethereum Foundation Poseidon Group (EFPG), yang terdiri dari para ahli seperti George Kadianakis, Dmitry Khovratovich, dan Antonio Sanso, dan diawasi oleh dewan penasihat yang mencakup tokoh-tokoh terkenal seperti Eli Ben-Sasson dari StarkNet dan Daira-Emma Hopwood dari ZCash.

Fitur utama dari Poseidon Initiative adalah program hadiah yang komprehensif, yang menawarkan total hadiah sebesar $130.000 untuk terobosan dalam kriptoanalisis. Hadiah tersedia untuk berbagai tingkat keamanan di berbagai instansi Poseidon, yang memberi insentif kepada peneliti untuk menemukan kerentanan atau memvalidasi asumsi keamanan. Misalnya, memecahkan serangan preimage 32-bit pada Poseidon-256 dapat memberi peneliti $10.000, sementara tingkat keamanan yang lebih tinggi menawarkan hingga $15.000.

Selain itu, inisiatif ini mendukung lokakarya, retret, dan sekolah yang berfokus pada kriptoanalisis Poseidon, yang mendorong kolaborasi dan berbagi pengetahuan dalam komunitas kriptografi. Hibah jangka pendek mulai dari $20.000 hingga $40.000 juga tersedia untuk penelitian yang membahas pertanyaan keamanan penting terkait varian Poseidon, serangan basis Groebner, dan vektor serangan non-aljabar.

Meskipun ethproofs.org masih dalam tahap pengembangan, situs ini diharapkan dapat berfungsi sebagai platform untuk integrasi L2beat bagi zkVM, yang selanjutnya meningkatkan transparansi dan akuntabilitas dalam metrik keamanan dan kinerja zkVM.

Pada saat berita ini ditulis, ETH diperdagangkan pada harga $3.590.