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, чтобы всегда быть в курсе самых свежих новостей о криптовалютном рынке и не пропустить никакой важной информации!