Согласно последнему отчету, в первом квартале 2025 года Организация Ethereum предоставила два исследовательских гранта компании CertiK, известной в области безопасности блокчейна. Эти проекты сосредоточены на инструментах разработки и формальных методах для верификации zkVM.
Оценка инструмента Verus: CertiK оценит Verus, инструмент верификации на Rust, для проверки цепей, написанных на Rust, и модулей компиляции EVM.
Упрощение верификации zkVM: Этот проект разрабатывает стратегию для упрощения верификации zkVM, сосредотачиваясь на модульной арифметике и случаях множественных значений, упакованных в один элемент области.
Официальная технология верификации CertiK была широко применена в таких ведущих проектах Web3, как zkWasm, основной контракт TON, Cosmos SDK и HyperEnclave TEE группы Ant. Содержимое носит исключительно информационный характер и не является инвестиционной рекомендацией.
Спасибо, что прочитали эту статью!
Пожалуйста, ставьте лайки, комментируйте и подписывайтесь на TinTucBitcoin, чтобы всегда быть в курсе самых свежих новостей о криптовалютном рынке и не пропустить никакой важной информации!
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
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, чтобы всегда быть в курсе самых свежих новостей о криптовалютном рынке и не пропустить никакой важной информации!