Web3安全公司 Certora получила финансирование от Фонда Ethereum

2026-02-05 14:13:05

Odaily Planet Daily News Компания по безопасности Web3 Certora объявила, что получила финансирование от Ethereum Foundation, точная сумма не раскрывается, и соответствующие средства будут использованы для проверки правильности автоматической предкомпиляции — ключевой технологии оптимизации в вычислениях с нулевым уровнем знания, разработанной Powdr Labs для проекта zkEVM Ethereum Foundation; сообщается, что Certora планирует открыть исходный код разработанную ими фреймворк спецификации, доказательства и верификации. (Цепная проволока)

ETH-13,35%

Посмотреть Оригинал

На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .