FoldNTT는 NTT 가속기에서 나비당 하드웨어 승수기를 3개에서 1개로 줄이고 트위들 롬을 절반으로 줄이면서 성능을 유지합니다. 형식 검증을 통해 이전 CFNTT 설계의 역변환 버그를 발견하고 수정했으며, 이는 엄격한 수학적 검증의 가치를 보여줍니다...

#양자내성암호 #하드웨어검증 #연구