Aptos가 동적 스케줄링 형식 검증을 완료했다고 발표했습니다.

Techub News 소식, Cointelegraph 보도에 따르면, Aptos는 자체 동적 스케줄링 메커니즘에 대한 형식 검증(Formal Verification)을 완료했으며, 수학적 방법을 통해 해당 시스템이 설계된 대로 작동함을 증명했다고 발표했습니다. 이 프로젝트는 해당 기술을 최초로 구현한 Layer 1 블록체인이라고 주장했습니다. 형식 검증은 수학적 방법을 활용해 시스템의 정확성을 증명하며, 블록체인 프로토콜이 버그 없이 예상대로 작동하도록 보장합니다. 이번 조치는 블록체인 인프라에 더 높은 보안성과 신뢰성을 제공하기 위한 것입니다.