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

APT0%

2026-05-14 01:43

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

출처:CoinNess

면책 조항: 현재 콘텐츠는 제3자 관점에서 제공되거나 제3자 관점에서 AI가 직접 번역한 것입니다. CoinEx는 콘텐츠의 진위성, 정확성, 독창성을 보장하지 않으며 CoinEx의 투자 조언으로 간주하지 않습니다. 암호화폐 가격은 변동성이 크므로 잠재적인 위험에 유의하시기 바랍니다.