앱토스, AI 공격 대비 '공식 검증' 시스템 도입
2026-05-14 01:43
- APT 0%
앱토스(APT)가 주요 레이어1 중 처음으로 공식 검증(formal verification) 시스템을 도입했다고 공식 X를 통해 전했다. 공식 검증은 AI 공격에 대비할 수 있는 검증 방식으로, AI와 무브 언어로 작성된 증명 도구인 무브 프로버(Move Prover)를 통해 구현됐다.
Sumber: CoinNess
Kabar Terkait
비댁스, 앱토스와 원화 스테이블코인 사용 확대 협력
2026-05-13 00:21
5월 둘째 주 주요 토큰 언락 일정...$1795만 CONX 등
2026-05-11 00:28
앱토스, 日 QR코드 결제 서비스 업체와 앱 개발 협력 체결
2026-05-08 13:31
klik ···, buka dokumen di browser dan unduh
