BitsLabのMoveBitは、*Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts*（arXiv:2512.02918）という論文を発表しました。このフレームワークは、Moveエコシステムにおけるファジングを、言語の型システムを活用して有効なトランザクションシーケンスを生成することで向上させています。このツールは109のプロジェクトにおいて、クリティカルバグの100%、および主要バグの79%を発見しました。現在、このツールはオープンソースとして開発中であり、PLDI’26での審査を受けています。Belobogとは何か？それは、Moveスマートコントラクト向けの新しいテストツールです。
TechFlow
