앱토스, AI 공격 대비 '공식 검증' 시스템 도입
- APT0%
2026-05-14 01:43
앱토스(APT)가 주요 레이어1 중 처음으로 공식 검증(formal verification) 시스템을 도입했다고 공식 X를 통해 전했다. 공식 검증은 AI 공격에 대비할 수 있는 검증 방식으로, AI와 무브 언어로 작성된 증명 도구인 무브 프로버(Move Prover)를 통해 구현됐다.
المصدر：CoinNess
إخلاء المسؤولية: يتم الحصول على المحتوى الحالي من وجهات نظر خارجية أو تتم ترجمته مباشرة بواسطة الذكاء الاصطناعي من وجهات نظر خارجية. لا تضمن CoinEx صحة المحتوى ودقته وأصالته، ولا تشكل أي نصيحة استثمارية من CoinEx. أسعار العملات المشفرة متقلبة للغاية، يرجى الانتباه إلى المخاطر المحتملة.
اخبار ذات صلةالمزيد
비댁스, 앱토스와 원화 스테이블코인 사용 확대 협력
2026-05-13 00:21
5월 둘째 주 주요 토큰 언락 일정...$1795만 CONX 등
2026-05-11 00:28
앱토스, 日 QR코드 결제 서비스 업체와 앱 개발 협력 체결
2026-05-08 13:31
عمليات البحث الساخنة
- العملاتالسعرالتغيرات في 24 ساعة