오데일리에 따르면 앱토스는 X를 통해 동적 스케줄링 형식 검증을 지원하는 첫 L1이라고 밝혔다.
앱토스는 이 기능이 네트워크가 설계대로 작동한다는 점을 수학적으로 증명할 수 있게 한다고 설명했다. 또 AI가 명세를 작성하고 Move Prover가 정확성을 검증하는 구조라고 덧붙였다.
글자크기
가
가
가
가
토큰포스트가 새로워졌어요!
앱 출시 기념 이벤트에 참여하고 선물도 함께 받아가세요!
디센트 S 지갑 카드형 하드웨어 월렛
커피 쿠폰 모바일 쿠폰 1매
카테고리 기사
댓글
1
추천
1
스크랩
데일리 스탬프
0
매일 스탬프를 찍을 수 있어요!
데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!
댓글 1개
릴라당
2026.05.15 05:54:55
좋은기사 감사해요