Aptos : le premier réseau L1 prenant en charge un contrat de planification dynamique assistée par IA

Le site Web de Coinjie annonce qu’Aptos a déclaré que son réseau devient le premier réseau L1 à prendre en charge des contrats dynamiques assistés par l’IA, affirmant que son Move Prover peut servir d’« oracle » entre le marché et les agents machine. Aptos souligne que sa pile de contrats intelligents Move peut prouver mathématiquement que son comportement est conforme à la conception, même si les contrats utilisent des fonctions de haut niveau et une planification dynamique. Aptos Labs a déclaré sur les réseaux sociaux que l’IA rédige des spécifications, que la preuve mathématique garantit leur exactitude, et que Move Prover, en tant que couche de confiance, assure la confiance entre le marché et la machine. L’équipe a également indiqué que Move est le seul langage de contrats intelligents doté d’une vérification formelle intégrée native, tout en étendant la prise en charge de la planification dynamique. Selon la documentation de Move Prover d’Aptos, le vérificateur est déjà utilisé au niveau du protocole pour valider la logique centrale, y compris le staking, la métrique, le déploiement de code et le support des structures de données. Des recherches récentes montrent que la planification dynamique augmente considérablement la complexité de l’espace d’états, obligeant les ingénieurs d’Aptos à repenser la génération et la vérification des conditions. Cette avancée dans la vérification assistée par l’IA s’accompagne d’un plan de financement de 50 millions de dollars pour Aptos, visant à soutenir les marchés en chaîne et les systèmes d’IA.