BitsLabのプロジェクトであるMoveBitは、Moveスマートコントラクトのテストを強化するために設計されたファジングフレームワーク「Belobog」を発表しました。arXivに掲載された論文で詳述されているように、BelobogはMove言語の型システムを活用して有効なトランザクションシーケンスを生成し、バグの検出を大幅に向上させています。109のプロジェクトでのテストでは、このフレームワークは重大なバグの100％と主要なバグの79％を特定しました。現在、Belobogはオープンソースであり、2026年のプログラミング言語設計と実装（PLDI）会議での審査中です。