Aptos는 동적 스케줄링 형식 검증을 지원하는 첫 번째 L1이 되었습니다

Aptos는 X 플랫폼에서 발표하며, Aptos는 동적 스케줄링 형식 검증을 지원하는 최초의 L1으로, 설계대로 작동함을 수학적으로 증명할 수 있다고 밝혔습니다. Aptos는 AI가 규격을 작성하고, 그 정확성을 수학적으로 증명하며, Move Prover가 바로 시장과 기계의 신뢰 계층이라고 말했습니다.