MoveBit, проект компании BitsLab, представил Belobog — фреймворк для фуззинга, разработанный для улучшения тестирования смарт-контрактов на языке Move. В статье, опубликованной на arXiv, подробно описано, как Belobog использует систему типов языка Move для генерации корректных последовательностей транзакций, что значительно повышает эффективность обнаружения ошибок. В тестах на 109 проектах фреймворк выявил 100% критических ошибок и 79% серьёзных ошибок. В настоящее время Belobog является проектом с открытым исходным кодом и находится на рассмотрении для конференции Programming Language Design and Implementation (PLDI) 2026 года.
MoveBit представляет фреймворк Belobog для фуззинга смарт-контрактов Move
Отказ от ответственности: Контент, представленный на сайте Phemex News, предназначен исключительно для информационных целей.Мы не гарантируем качество, точность и полноту информации, полученной из статей третьих лиц.Содержание этой страницы не является финансовым или инвестиционным советом.Мы настоятельно рекомендуем вам провести собственное исследование и проконсультироваться с квалифицированным финансовым консультантом, прежде чем принимать какие-либо инвестиционные решения.
