Согласно новостям Foresight, аудиторская компания CertiK объявила, что получила два исследовательских гранта от Фонда Ethereum на первый квартал 2025 года. Эти гранты в первую очередь сосредоточены на формальной верификации zkEVM, технологии, направленной на повышение масштабируемости Ethereum с помощью доказательств с нулевым разглашением.
Передовая технология формальной верификации CertiK, разработанная для работы со сложными системами доказательства с нулевым разглашением, обеспечивает надежную поддержку безопасности для стратегии масштабируемости Ethereum. Эта технология уже была применена в различных проектах Web3, включая zkWasm, контракты основной цепи TON, Cosmos SDK, HyperEnclave TEE группы Ant и Asterinas OS.
zkEVM, или виртуальная машина Ethereum с нулевым разглашением, представляет собой инновацию в технологии блокчейна, использующую доказательства с нулевым разглашением для достижения масштабируемости Ethereum.
