Según DeepChao TechFlow, recientemente, MoveBit, el primer contribuyente al ecosistema Move, y Wolfgang Grieskamp, director de Aptos Move, publicaron conjuntamente el artículo académico FMBC-24 (Formal Methods for Blockchains). El documento señala que la seguridad de los contratos de la cadena Aptos se garantiza mediante métodos de verificación formales, lo que le permite garantizar el rendimiento de la seguridad en una variedad de escenarios de aplicaciones.
Los desarrolladores principales de MoveBit, Luis Loh y Zorrot Chen, estuvieron profundamente involucrados en la construcción e hicieron contribuciones significativas para garantizar la seguridad de Aptos Framework. Vale la pena mencionar que Wolfgang también demostrará en las conferencias ETAPS el trabajo de verificación formal de Aptos en el que MoveBit está profundamente involucrado.
