Aptos a fait la une en devenant la première blockchain de couche 1 à prendre en charge la vérification formelle assistée par IA pour les contrats Move programmés dynamiquement. L'outil Move Prover est prêt à révolutionner l'interaction entre les marchés et les agents machine sur le réseau Aptos.

Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.