Bailey의 1989년 4단계 FFT 알고리즘에서 착안해, 이진 확장체의 아핀 부분공간 위 다항식 평가를 위한 가법적 FFT(AFFT) 기법을 개발한 연구다. 부분공간의 소멸 다항식에 대한 테일러 전개가 Bailey의 행렬 정식화에 대응하는 구조적 짝임을 보이고, AFFT를 행렬의 열·행에 대응하는 독립적 하위 AFFT들로 분해한다. 임의의 순서 기저에 적용 가능한 범용 기저 AFFT를 먼저 제시한 뒤, Cantor 특수 기저에 특화해 두 가지 알고리즘을 얻는다. 그중 이항 형태를 보존하는 두 번째 알고리즘은 정확히 (1/2)n log₂n번의 곱셈만 필요하며, 두 하드웨어 플랫폼에서 테스트한 42개 구성 중 37개에서 기존 Cantor 기저 LCH AFFT보다 빨랐다. 완전 재귀 구조 덕분에 메모리 지역성이 우수하고 별도의 기저 변환 단계가 필요 없다는 점이 성능 우위의 핵심이다.
- •Bailey의 4단계 FFT를 이진 확장체 아핀 부분공간의 다항식 평가로 확장한 가법적 FFT(AFFT) 프레임워크
- •부분공간 소멸 다항식의 테일러 전개로 AFFT를 독립적 하위 AFFT들의 행렬 구조로 분해
- •Cantor 특수 기저 특화 알고리즘 중 하나는 (1/2)n log₂n번의 곱셈만으로 동작
- •42개 테스트 구성 중 37개에서 기존 LCH AFFT보다 빠른 성능, 완전 재귀 구조로 메모리 지역성 확보
- •부분 Cantor 특수 기저 개념을 도입해 기존 von zur Gathen-Gerhard, Gao-Mateer 알고리즘과 연산량 비교
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
On the Additive FFT Techniques over Binary Extension Fields
- 1.Bailey의 4단계 FFT(1989)에 착안해 이진 확장체 위 가법적 FFT(AFFT)를 행렬 분해 방식으로 재구성
- 2.Cantor 특수 기저에 특화한 AFFT 2종 제시, 두번째는 정확히 (1/2)n log₂n 회 곱셈만 필요
- 3.두 하드웨어 플랫폼·42개 설정 중 37개에서 기존 LCH AFFT보다 빠른 성능 확인
- 4.완전 재귀 구조로 메모리 지역성을 확보, 별도 기저변환·평가 단계를 없앤 것이 핵심
왜 중요한가?
기저 변환 오버헤드 없이 곱셈 횟수까지 최소화한 새 AFFT 계열을 제시해, 이진체 기반 zkSNARK·다항식 IOP 등에서 프루버 성능을 추가로 끌어올릴 수 있는 실용적 도구를 제공한다.
본문 미리보기
arXiv:2608.20855v1 Announce Type: new Abstract: Motivated by Bailey's four-step FFT algorithm (1989), we develop additive FFT techniques for polynomial evaluation over affine subspaces of binary extension fields. Our key insight is that the Taylor expansion with respect to vanishing polynomials of subspaces provides a structural counterpart to Bailey's matrix formulation. It decomposes an additive FFT (AFFT) into independent sub-AFFTs associated with the columns and rows of a matrix. We first p
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



