Zgodnie z informacjami Foresight News, firma audytorska ds. bezpieczeństwa CertiK ogłosiła, że otrzymała dwa granty badawcze od Fundacji Ethereum na pierwszy kwartał 2025 roku. Granty te koncentrują się głównie na formalnej weryfikacji zkEVM, technologii mającej na celu zwiększenie skalowalności Ethereum poprzez dowody zerowej wiedzy.
Zaawansowana technologia formalnej weryfikacji CertiK, zaprojektowana do obsługi złożonych systemów dowodów zerowej wiedzy, zapewnia solidne wsparcie dla strategii skalowania Ethereum. Ta technologia została już zastosowana w różnych projektach Web3, w tym zkWasm, kontraktach głównej sieci TON, Cosmos SDK, TEE HyperEnclave grupy Ant oraz Asterinas OS.
zkEVM, czyli maszyna wirtualna Ethereum z zerową wiedzą, reprezentuje innowację w technologii blockchain, wykorzystując dowody zerowej wiedzy do osiągnięcia skalowalności dla Ethereum.
