Syarikat teknologi pengetahuan sifar =nil; Foundation telah membangunkan kompilator Ethereum Virtual Machine (zkEVM) jenis-1 pengetahuan sifar baharu untuk menangani kebimbangan keselamatan yang dikenal pasti dalam penyelesaian penskalaan Ethereum yang menggunakan ZK.

Berbicara secara eksklusif kepada Cointelegraph, Ketua Pegawai Eksekutif dan salah seorang pengasas =nil; Foundation, Encik Misha Komarov berkata teknologi ini memberi keutamaan kepada keselamatan dan membolehkan kod program peringkat tinggi disusun secara automatik ke dalam litar Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKS).

zkEVM syarikat ini direka untuk serasi dengan evmone, yang merupakan versi C++ persekitaran pelaksanaan asas Ethereum. Pengajaran pentingnya adalah kod aplikasi diproses dan digulung sebagai bukti yang dikemukakan kepada Ethereum dalam format yang sama dengan EVM.

Berkaitan: Ethereum L2 Starknet bertujuan untuk mendesentralisasikan komponen teras rangkaian penskalaannya

Keserasian ini dianggap dapat meningkatkan keselamatan dan pelaksanaan yang lebih cepat, kerana bytecode adalah sama dan menghapuskan keperluan untuk audit kod yang panjang dan mahal. Pendekatan ini juga menyediakan transaksi dan kontrak pintar yang serasi secara langsung dengan Ethereum Virtual Machine.

Beberapa zkEVM terkenal telah diperkenalkan ke pasaran pada tahun 2023. Protokol lapisan-2 ini bertujuan untuk membantu Ethereum memproses beban transaksi yang besar dan fungsi kontrak pintar. Cointelegraph telah melaporkan perkara ini secara terperinci, dengan syarikat seperti Consensys, Polygon, StarkWare dan Matter Labs yang mengeluarkan penyelesaian ZK-rollup untuk menyediakan keupayaan penghantaran tinggi dan yuran rendah kepada aplikasi terdesentralisasi, perkhidmatan, dan pengguna rangkaian.

Berkaitan: Matter Labs mengundur diri ketika zkSync melancarkan portal ekosistem yang dikendalikan oleh DappRadar

Seperti yang dijelaskan oleh Komarov, penyelesaian =nil; Foundation bergantung pada kompilator automatik yang berbeza dengan rekabentuk zkEVM lain yang menentukan litar secara manual. Beliau menggambarkan pendekatan sedia ada sebagai "memakan masa" dan "terlalu kompleks," yang juga membawa risiko pengenalan kesilapan manusia.

Kebimbangan ini jelas terlihat dalam penemuan bug kesahan dalam litar ZK yang digunakan dalam rangkaian utama zkSync Era oleh Matter Labs. Syarikat keselamatan ChainLight menerima ganjaran 50,000 USD Coin (USDC) daripada syarikat itu kerana mengenal pasti kerentanan pada Sept. 2023.

Berkaitan: Pengasas Polygon: $1B pertaruhan pada ZK-rollups memberi pulangan

Bug ini akan membolehkan penyerang menghasilkan bukti untuk blok yang dijalankan secara tidak sah, yang akan diterima oleh pengesah kontrak pintar di rangkaian utama Ethereum. Matter Labs melaksanakan penyelesaian dan memberikan ganjaran bug kepada ChainLight, yang merupakan ganjaran bug pertama yang diklaim untuk bug litar ZK dalam zkSync Era.

"Vitalik Buterin mula membincangkan kebimbangan keselamatan, seperti apa yang akan berlaku jika litar itu rosak," jelas Komarov.

"Kami mula mengkaji perkara ini. Masalahnya menjadi jelas bahawa litar ini ditulis secara manual. Orang-orang menghabiskan bertahun-tahun membangunnya, tetapi ia pada dasarnya mencipta semula logik yang sama yang EVM lakukan, secara manual dalam representasi litar."

Komarov menambah bahawa kaedah ini menjadikan audit kod sangat sukar. Bug zkSync adalah contoh potensi kesilapan yang terlibat dalam litar yang ditentukan secara manual. Pendekatan =nil; Foundation adalah untuk mengautomatikkan kompilator dari EVM Ethereum menggunakan kompilator litar yang dibangunkan selama dua tahun yang lalu.

"Itulah yang terdekat yang dapat kita lakukan agar litar itu mempunyai keselamatan yang sama dengan pelaksanaan asal Ethereum. Jika itu rosak, maka litar itu rosak."

Penyelesaian ini juga direka untuk boleh menyesuaikan perubahan EVM seiring dengan terusnya perancangan Ethereum, menyediakan kompilator zkEVM yang "future-proof" yang tidak memerlukan sumber dan masa yang signifikan untuk dikemaskini, berdasarkan rekabentuk automatiknya. Ini membolehkan zkEVM mengintegrasikan Cadangan Peningkatan Ethereum terkini seiring dengan berkuat kuasanya.

Foundation ini telah menerbitkan repositori kod prototaip dan spesifikasi pada 12 Disember.

Majalah: Beginilah cara ZK-rollups Ethereum boleh menjadi interoperable