Согласно последнему отчету, в первом квартале 2025 года Организация Ethereum предоставила два исследовательских гранта компании CertiK, известной в области безопасности блокчейна. Эти проекты сосредоточены на инструментах разработки и формальных методах для верификации zkVM.
Оценка инструмента Verus: CertiK оценит Verus, инструмент верификации на Rust, для проверки цепей, написанных на Rust, и модулей компиляции EVM.
Упрощение верификации zkVM: Этот проект разрабатывает стратегию для упрощения верификации zkVM, сосредотачиваясь на модульной арифметике и случаях множественных значений, упакованных в один элемент области.
Официальная технология верификации CertiK была широко применена в таких ведущих проектах Web3, как zkWasm, основной контракт TON, Cosmos SDK и HyperEnclave TEE группы Ant. Содержимое носит исключительно информационный характер и не является инвестиционной рекомендацией.
Спасибо, что прочитали эту статью!
Пожалуйста, ставьте лайки, комментируйте и подписывайтесь на TinTucBitcoin, чтобы всегда быть в курсе самых свежих новостей о криптовалютном рынке и не пропустить никакой важной информации!
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
CertiK получил 2 гранта от Ethereum Foundation
Согласно последнему отчету, в первом квартале 2025 года Организация Ethereum предоставила два исследовательских гранта компании CertiK, известной в области безопасности блокчейна. Эти проекты сосредоточены на инструментах разработки и формальных методах для верификации zkVM.
Оценка инструмента Verus: CertiK оценит Verus, инструмент верификации на Rust, для проверки цепей, написанных на Rust, и модулей компиляции EVM.
Упрощение верификации zkVM: Этот проект разрабатывает стратегию для упрощения верификации zkVM, сосредотачиваясь на модульной арифметике и случаях множественных значений, упакованных в один элемент области.
Официальная технология верификации CertiK была широко применена в таких ведущих проектах Web3, как zkWasm, основной контракт TON, Cosmos SDK и HyperEnclave TEE группы Ant. Содержимое носит исключительно информационный характер и не является инвестиционной рекомендацией.
Спасибо, что прочитали эту статью!
Пожалуйста, ставьте лайки, комментируйте и подписывайтесь на TinTucBitcoin, чтобы всегда быть в курсе самых свежих новостей о криптовалютном рынке и не пропустить никакой важной информации!