오데일리에 따르면 앱토스는 X를 통해 동적 스케줄링 형식 검증을 지원하는 첫 L1이라고 밝혔다.
앱토스는 이 기능이 네트워크가 설계대로 작동한다는 점을 수학적으로 증명할 수 있게 한다고 설명했다. 또 AI가 명세를 작성하고 Move Prover가 정확성을 검증하는 구조라고 덧붙였다.
글자크기
가
가
가
가
카테고리 기사
댓글
0
추천
0
스크랩
데일리 스탬프
0
매일 스탬프를 찍을 수 있어요!
데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!
댓글 0개