Buy Crypto
Markets
Spot
Futures
Earn
Promotion
More
reward-centerNewcomer Zone
Feed HomeFlash details
앱토스, AI 공격 대비 '공식 검증' 시스템 도입
  • APT0%
2026-05-14 01:43

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

Source: CoinNess

Disclaimer: The current content is sourced from third-party perspectives or directly translated by AI from third-party perspectives. CoinEx does not guarantee the authenticity, accuracy, and originality of the content, and it does not constitute any investment advice from CoinEx. The prices of cryptocurrencies are highly volatile, please be aware of the potential risks.

Hot
  • Coins
    Price
    24H Change