Nowy Jork, Nowy Jork, 5 lutego 2026, Chainwire
Certora, kompleksowa platforma zapewniająca bezpieczeństwo, której ufają najbardziej zaawansowane zespoły Web3, otrzymała grant badawczy od Ethereum Foundation na weryfikację poprawności autoprecompile'ów. Autoprecompile to kluczowa optymalizacja w obliczeniach ZK opracowana przez Powdr Labs dla inicjatywy zkEVM Ethereum Foundation.
zkEVM odblokuje ogromną optymalizację skalowalności sieci Ethereum poprzez zastąpienie obecnego modelu wykonywania smart kontraktów zoptymalizowaną, wspieraną przez ZK alternatywą. Zagwarantowanie poprawności silnika wykonawczego zkEVM jest kluczowe dla powodzenia tej inicjatywy.
Autoprecompile to automatycznie wnioskowane, niskopoziomowe komponenty obwodów ZK, które są ponownie wykorzystywane w celu optymalizacji wydajności i umożliwienia szybszych operacji kryptograficznych oraz arytmetycznych na zkEVM. Ta optymalizacja jest niezbędna do stworzenia wydajnego zkEVM, a dzięki temu grantowi Certora i Powdr Labs współpracują nad opracowaniem nowych technik weryfikacji, które zagwarantują poprawność tej techniki optymalizacji.
zkEVM to fundament przyszłości zero-knowledge dla EVM, z niższymi opłatami za gaz, większą prędkością, większym bezpieczeństwem i ogromną skalowalnością. Celem jest stworzenie znacznie bardziej wydajnego modelu, który przyniesie korzyści całemu ekosystemowi.
„Autoprecompile czynią warstwę wykonawczą zkEVM realną, ale jednocześnie zwiększają wagę weryfikacji poprawności całego łańcucha narzędzi,” powiedział Seth Hallem, CEO Certora. „Jesteśmy wdzięczni Ethereum Foundation za wsparcie tej pracy, która wprowadza matematyczną weryfikację do samego fundamentu obliczeń ZK. Ekspertyza Certora w zakresie ZK oraz nasza współpraca z Powdr Labs pomogą zapewnić, że ta technika optymalizacji odegra kluczową rolę w łańcuchu narzędzi zkEVM bez kompromisów w zakresie bezpieczeństwa czy poprawności.”
Certora udostępni na zasadach open source swoje specyfikacje, dowody i ramy weryfikacyjne opracowane w ramach tej inicjatywy, przyczyniając się do powstania infrastruktury wielokrotnego użytku dla wszystkich implementacji zkEVM, budowniczych rollupów oraz badaczy protokołów ZK.
„Precompile były kluczowe dla wydajności zkEVM, a autoprecompile mogą pójść o krok dalej, automatycznie weryfikując te optymalizacje w momencie ich generowania,” powiedział Alexander Hicks, Researcher w Ethereum Foundation. „Ograniczymy też konieczność weryfikowania ręcznych precompile i mamy nadzieję, że opracujemy ogólnie przydatne techniki weryfikacji, które znajdą zastosowanie w innych przypadkach.”
O Certora
Certora to partner zapewniający bezpieczeństwo, któremu ufają najbardziej zaawansowane zespoły Web3. Założona w 2018 roku przez pionierów języków programowania i metod formalnych, Certora pomaga wiodącym protokołom takim jak Lido, Aave, Uniswap i Compound bezpiecznie zarządzać miliardami wartości.
O Ethereum Foundation
Ethereum Foundation to organizacja non-profit wspierająca Ethereum i powiązane technologie. Poprzez granty i inicjatywy badawcze EF wspiera rozwój otwartoźródłowej zdecentralizowanej infrastruktury.
O Powdr Labs
Powdr Labs rozwija technologie kompilatorów dla efektywnych dowodów zero-knowledge dla programów wysokopoziomowych. Dzięki specjalizacji w zakresie procesów kompilacji i optymalizacji, Powdr zmniejsza różnicę pomiędzy wydajnością niestandardowych obwodów ZK a zkVM, bez kompromisów w zakresie użyteczności.
