Aptos revendique la première vérification formelle de planification dynamique pour une blockchain de couche 1

APT2,81%
MOVE-0,3%
ORCL-0,26%
TRUST1,5%

D’après Aptos, la blockchain est devenue la première blockchain de couche 1 à prendre en charge la vérification formelle de planification dynamique, permettant d’apporter une preuve mathématique que son système fonctionne comme prévu. Aptos a déclaré que des spécifications générées par l’IA, combinées à Move Prover comme mécanisme d’oracle, créent une couche de confiance entre les acteurs du marché et le protocole.

Avertissement : Les informations figurant sur cette page peuvent provenir de sources tierces et sont fournies à titre indicatif uniquement. Elles ne reflètent pas les points de vue ou opinions de Gate et ne constituent pas un conseil financier, d’investissement ou juridique. Le trading des actifs virtuels comporte des risques élevés. Veuillez ne pas vous fonder uniquement sur les informations de cette page pour prendre vos décisions. Pour en savoir plus, consultez l’avertissement.
Commentaire
0/400
Aucun commentaire