Aptos Labs a annoncé une collaboration avec Wingtecher Labs, un groupe de sécurité des systèmes logiciels de l’Université Tsinghua, pour développer un outil de test de pointe pour la mise en œuvre d’algorithmes de consensus. L’outil combine les tests automatisés, l’exploration de l’espace d’état du protocole et la détection des erreurs logiques pour aider à établir une base solide pour la stabilité et la sécurité du protocole de consensus de nouvelle génération d’Aptos, Raptr. Le projet est attendu en 2026
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.
16 J'aime
Récompense
16
3
Reposter
Partager
Commentaire
0/400
MoneyBurnerSociety
· 06-13 07:54
Oui, collaborer avec Tsinghua.
Voir l'originalRépondre0
BlockchainThinkTank
· 06-12 13:15
La validation doit encore être examinée davantage.
Voir l'originalRépondre0
TommyTeacher1
· 06-10 11:25
J'attends avec impatience les progrès de la coopération.
Aptos Labs a annoncé une collaboration avec Wingtecher Labs, un groupe de sécurité des systèmes logiciels de l’Université Tsinghua, pour développer un outil de test de pointe pour la mise en œuvre d’algorithmes de consensus. L’outil combine les tests automatisés, l’exploration de l’espace d’état du protocole et la détection des erreurs logiques pour aider à établir une base solide pour la stabilité et la sécurité du protocole de consensus de nouvelle génération d’Aptos, Raptr. Le projet est attendu en 2026