Aptos는 동적 스케줄링의 형식적 검증을 달성한 최초의 레이어 1 블록체인이라고 발표했습니다. 이 개발은 Aptos의 동적 스케줄링 메커니즘이 의도한 대로 작동함이 수학적으로 증명되었음을 의미합니다. 이 진보는 Aptos 네트워크의 운영 신뢰성과 효율성을 향상시켜 블록체인 기술의 새로운 기준을 세울 것으로 기대됩니다.