앱토스, AI 공격 대비 '공식 검증' 시스템 도입
- APT0%
앱토스(APT)가 주요 레이어1 중 처음으로 공식 검증(formal verification) 시스템을 도입했다고 공식 X를 통해 전했다. 공식 검증은 AI 공격에 대비할 수 있는 검증 방식으로, AI와 무브 언어로 작성된 증명 도구인 무브 프로버(Move Prover)를 통해 구현됐다.
Источник: CoinNess
Отказ от ответственности: текущее содержание основано на мнениях третьих лиц или напрямую переведено искусственным интеллектом из сторонних источников. Мы не гарантируем его подлинность, точность или оригинальность, а также эта информация не содержит инвестиционных рекомендаций со стороны CoinEx. Криптоактивы подвержены сильной волатильности, поэтому всегда учитывайте потенциальные риски.
Топ запросов
- МонетыЦенаИзм. за 24 ч.