По данным Foresight News, на семинаре, организованном Фондом Ethereum совместно с ZKProof, старший научный сотрудник CertiK доктор Вильгельм Сjöberg выступил с докладом, сосредоточив внимание на результатах верификации zkWasm и планах по расширению Ethereum.
Сjöberg представил прорыв, достигнутый CertiK в формальной верификации первой в мире универсальной zkVM — zkWasm, и обсудил технологии верификации нулевых знаний виртуальной машины, поддерживающие программу zkEVM Фонда Ethereum.
Этот план рассчитан на несколько лет, общий объем инвестиций составляет 20 миллионов долларов, и он является ключом к расширению уровней Ethereum L1 и L2. CertiK будет сотрудничать с Фондом Ethereum и сообществом, стремясь достичь полной верификации zkEVM Ethereum.
