Компания Certora, занимающаяся аудитом безопасности в сфере Web3, получила грант от Ethereum Foundation для проверки корректности "autoprecompiles" — технологии, разработанной Powdr Labs для проекта zkEVM фонда. Эта инициатива направлена на повышение производительности вычислений с нулевым разглашением (ZK) и улучшение масштабируемости сети Ethereum. Certora будет сотрудничать с Powdr Labs для разработки новых технологий верификации, чтобы обеспечить безопасность движка исполнения zkEVM. В рамках проекта планируется открыть исходные спецификации, доказательства и фреймворки верификации для использования всеми разработчиками zkEVM и исследователями протоколов ZK.