앱토스, 동적 스케줄링 형식 검증 지원 L1 주장
오데일리에 따르면 앱토스는 X를 통해 동적 스케줄링 형식 검증을 지원하는 첫 L1이라고 밝혔다.
앱토스는 이 기능이 네트워크가 설계대로 작동한다는 점을 수학적으로 증명할 수 있게 한다고 설명했다. 또 AI가 명세를 작성하고 Move Prover가 정확성을 검증하는 구조라고 덧붙였다.
본 기사는 시장 데이터 및 차트 분석을 바탕으로 작성되었으며, 특정 종목에 대한 투자 권유가 아닙니다.
<저작권자 ⓒ TokenPost, 무단전재 및 재배포 금지>
많이 본 기사
