MoveBit, un proyecto de BitsLab, ha presentado Belobog, un marco de fuzzing diseñado para mejorar las pruebas de los contratos inteligentes Move. Detallado en un artículo en arXiv, Belobog aprovecha el sistema de tipos del lenguaje Move para generar secuencias de transacciones válidas, mejorando significativamente la detección de errores. En pruebas realizadas en 109 proyectos, el marco identificó el 100% de los errores críticos y el 79% de los errores mayores. Actualmente, Belobog es de código abierto y está en revisión para la conferencia Programming Language Design and Implementation (PLDI) 2026.