최초의 형식적 검증을 거친 AES-XTS 알고리즘이 s2n-bignum에 통합되었습니다. 핵심 연산에 대한 어셈블리 코드를 단순화하고 명확하게 작성하여 자동 최적화 및 검증을 가능하게 했습니다.