Movement는 Aptos Core 내의 Move VM 값 코덱 비대칭성을 해결하는 중요한 버그 수정을 병합했습니다. 이 문제로 인해 직렬화 중에는 범위를 벗어난 variant 태그가 허용되었지만 역직렬화 중에는 거부되어 위험한 불일치가 발생했습니다.
문제점
RuntimeVariants 값은 u16 variant 태그를 가집니다. enum 업그레이드가 variant를 도입하기 전에 캐시된 레이아웃과 같이 해당 태그를 설명하지 않는 레이아웃에 대해 값을 직렬화하면 결과 바이트는 역직렬화 중에 거부됩니다. 이러한 비대칭성은 상태를 고착시키거나(쓰기는 가능하지만 읽을 수 없는 리소스) 블록 수준의 오류를 발생시킬 수 있습니다.
구체적인 간격은 0-필드 범위 외 태그였습니다. 비어 있지 않은 페이로드가 있는 태그는 이미 기존 필드 카운트 검사로 캐치되었지만 0-필드 태그는 통과되어 유효한 variant로 자동으로 직렬화되었습니다.
수정 사항
seanyoung이 작성한 PR #411은 직렬화 중에 범위를 벗어난 variant 태그를 거부하도록 업데이트하여 코덱의 양쪽이 일치하도록 합니다. 테스트에는 0-필드 범위 외 태그(3, 4, 100, u16::MAX)가 직렬화에 실패하고 정규 unit variant는 계속 왕복하는 것을 확인하는 단위 테스트가 포함됩니다. 엔드투엔드 테스트는 수정이 enum 업그레이드 및 variant 변경을 올바르게 처리함을 확인합니다.
이 수정은 Movement 네트워크의 핵심 VM의 복원력을 강화하고 미묘하지만 잠재적으로 치명적인 직렬화 취약점을 제거합니다.