Aptos devient la première L1 à prendre en charge la vérification formelle de la planification dynamique

Odaily Planet Daily rapporte qu’Aptos a publié sur la plateforme X que Aptos est la première couche de base (L1) à prendre en charge la vérification formelle de l’allocation dynamique, pouvant être prouvée mathématiquement conforme à sa conception. Aptos affirme qu’une norme écrite par l’IA, avec une preuve mathématique de sa correction, Move Prover est en fait une oracle, c’est-à-dire une couche de confiance entre le marché et la machine.

APT-1,55%
Voir l'original
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.
  • Récompense
  • Commentaire
  • Reposter
  • Partager
Commentaire
Ajouter un commentaire
Ajouter un commentaire
Aucun commentaire
  • Épinglé