Niujorkas, Niujorkas, 2026 m. vasario 5 d., „Chainwire“
„Certora“, visapusiška saugumo užtikrinimo platforma, kuria pasitiki pažangiausios „Web3“ komandos, gavo „Ethereum Foundation“ mokslinių tyrimų dotaciją, skirtą automatinių išankstinių kompiliavimų teisingumui patikrinti. Automatiniai išankstiniai kompiliavimai yra pagrindinė ZK skaičiavimo optimizacija, sukurta „Powdr Labs“ „Ethereum Foundation“ zkEVM iniciatyvai.
zkEVM atrakins didžiulę „Ethereum“ tinklo mastelio optimizaciją, pakeisdamas dabartinį išmaniųjų sutarčių vykdymo modelį optimizuota, ZK įgalinta alternatyva. Užtikrinti zkEVM vykdymo variklio teisingumą yra gyvybiškai svarbu šios iniciatyvos sėkmei.
Automatiniai išankstiniai kompiliavimai yra automatiškai nustatomi žemo lygio ZK grandinės komponentai, kurie yra pakartotinai naudojami siekiant optimizuoti našumą ir įgalinti greitesnes kriptografines ir aritmetines operacijas zkEVM. Ši optimizacija yra būtina kuriant našų zkEVM, o per šią dotaciją „Certora“ ir „Powdr Labs“ bendradarbiauja kurdamos naujus patikrinimo metodus, kad garantuotų šios optimizavimo technikos teisingumą.
zkEVM yra EVM nulinės žinios ateities pagrindas, su mažesnėmis dujomis, didesniu greičiu, didesniu saugumu ir didžiuliu mastelio keitimu. Tikslas yra sukurti žymiai efektyvesnį modelį, kuris būtų naudingas visai ekosistemai.
„Automatiniai išankstiniai kompiliavimai padaro zkEVM vykdymo lygmenį gyvybiškai svarbiu, tačiau jie taip pat padidina viso įrankių rinkinio teisingumo patikrinimo svarbą“, – sakė Sethas Hallemas, „Certora“ generalinis direktorius. „Esame dėkingi „Ethereum Foundation“ už paramą šiam darbui, kuris matematinį patikrinimą perkelia į patį ZK skaičiavimo pagrindą. „Certora“ patirtis ZK srityje ir mūsų bendradarbiavimas su „Powdr Labs“ padės užtikrinti, kad ši optimizavimo technika atliktų pagrindinį vaidmenį zkEVM įrankių rinkinyje neprarandant saugos ar teisingumo.“
„Certora“ atvers savo specifikacijas, įrodymus ir patikrinimo sistemas, sukurtas per šią iniciatyvą, prisidėdama prie pakartotinai naudojamos infrastruktūros visoms zkEVM implementacijoms, apibendrinimo kūrėjams ir ZK protokolo tyrinėtojams.
„Išankstiniai kompiliavimai buvo raktas į zkEVM našumą, o automatiniai išankstiniai kompiliavimai gali tai dar labiau patobulinti automatiškai patikrindami šias optimizacijas, kai jos generuojamos“, – sakė Alexanderis Hicksas, „Ethereum Foundation“ tyrėjas. „Taip pat sumažinsime poreikį tikrinti rankinius išankstinius kompiliavimus ir, tikiuosi, sukursime bendrai naudingus patikrinimo metodus, kurie bus pritaikomi kitiems naudojimo atvejams.“
Apie „Certora“
„Certora“ yra saugumo užtikrinimo partneris, kuriuo pasitiki pažangiausios „Web3“ komandos. „Certora“, įkurta 2018 m. programavimo kalbų ir formalių metodų pradininkų, padeda pirmaujantiems protokolams, tokiems kaip „Lido“, „Aave“, „Uniswap“ ir „Compound“, užtikrintai apsaugoti milijardus dolerių.
Apie „Ethereum Foundation“
„Ethereum Foundation“ yra ne pelno organizacija, skirta remti „Ethereum“ ir susijusias technologijas. Per dotacijas ir mokslinių tyrimų iniciatyvas EF skatina atvirojo kodo decentralizuotos infrastruktūros plėtrą.
Apie „Powdr Labs“
„Powdr Labs“ kuria kompiliatorių technologijas, skirtas efektyviems aukšto lygio programų nulinės žinios įrodymams. Specializuodama kompiliavimo ir optimizavimo vamzdynus, „Powdr“ sumažina atotrūkį tarp pasirinktinių ZK grandinių ir zkVM našumo, neprarandant naudojimo paprastumo.
