Центр вознаграждений Компания Certora, специализирующаяся на безопасности Web3, получила исследовательское финансирование от Ethereum Foundation для продвижения формальной верификации в сотрудничестве с Powdr Labs. Финансирование поддержит усилия по улучшению "автоматической предварительной компиляции" — ключевой технологии оптимизации в рамках инициативы zkEVM от Ethereum Foundation. Эта технология, разработанная Powdr Labs, направлена на повышение криптографической и арифметической эффективности zkEVM за счёт автоматического вывода низкоуровневых компонентов ZK-схем.
Certora получает финансирование от Ethereum Foundation для исследований zkEVM
Отказ от ответственности: Контент, представленный на сайте Phemex News, предназначен исключительно для информационных целей.Мы не гарантируем качество, точность и полноту информации, полученной из статей третьих лиц.Содержание этой страницы не является финансовым или инвестиционным советом.Мы настоятельно рекомендуем вам провести собственное исследование и проконсультироваться с квалифицированным финансовым консультантом, прежде чем принимать какие-либо инвестиционные решения.