Aptos revendique la première vérification formelle de planification dynamique pour une blockchain de couche 1
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.
GateNews·Il y a 42m

