앱토스, AI 공격 대비 '공식 검증' 시스템 도입

APT0%

2026-05-14 01:43

앱토스(APT)가 주요 레이어1 중 처음으로 공식 검증(formal verification) 시스템을 도입했다고 공식 X를 통해 전했다. 공식 검증은 AI 공격에 대비할 수 있는 검증 방식으로, AI와 무브 언어로 작성된 증명 도구인 무브 프로버(Move Prover)를 통해 구현됐다.

ソース：CoinNess

免責事項：現在のコンテンツは第三者の視点に基づくもの、または第三者の視点からAIが直接翻訳したものです。CoinExはコンテンツの信頼性、正確性、独創性を保証するものではなく、CoinExからの投資アドバイスを構成するものではありません。暗号資産の価格変動は急激に変動します。潜在的なリスクにご注意ください。