[논문 리뷰] Nonlinearity Computation for Sparse Boolean Functions

Çağdaş Çalık|arXiv (Cornell University)|2013. 05. 03.

Coding theory and cryptography참고 문헌 3인용 수 3

한 줄 요약

이 논문은 스퍼스 부울 함수의 비선형성 계산을 위한 새로운 알고리즘을 제안한다. 비선형성은 함수의 대수적 정규형(ANF) 계수를 이용해 선형 함수와의 거리를 재구성함으로써 계산되며, 이는 이진 정수 프로그래밍 문제로 환원된다. 이 방법은 푸리에 변환 기반의 빠른 월리스 변환(Fast Walsh Transform)이 비가능해지는 40개 이상의 변수를 가진 함수에 대해서도 비선형성 계산이 가능하게 하여 암호학적 응용 분야에서 확장 가능한 대안을 제공한다.

ABSTRACT

An algorithm for computing the nonlinearity of a Boolean function from its algebraic normal form (ANF) is proposed. By generalizing the expression of the weight of a Boolean function in terms of its ANF coefficients, a formulation of the distances to linear functions is obtained. The special structure of these distances can be exploited to reduce the task of nonlinearity computation to solving an associated binary integer programming problem. The proposed algorithm can be used in cases where applying the Fast Walsh transform is infeasible, typically when the number of input variables exceeds 40.

연구 동기 및 목표

• 40개 이상의 변수를 가진 부울 함수의 비선형성 계산이 계산적으로 불가능한 문제를 해결하기 위해.
• 고차원에서 비현실적이게 되는 빠른 월리스 변환(Fast Walsh Transform)을 회피할 수 있는 방법을 개발하기 위해.
• ANF 계수의 구조적 특성을 활용하여 비선형성 계산 문제를 이진 정수 프로그래밍 문제로 재구성하기 위해.
• 특히 스퍼스 함수에 적합한 확장 가능한 비선형성 평가 솔루션을 암호학적 설계에 제공하기 위해.

제안 방법

• 비선형성은 부울 함수의 ANF 계수를 이용해 각 선형 함수와의 해밍 거리를 표현함으로써 계산된다.
• 이 표현 방식은 거리 식에 특수한 구조를 드러내며, 최적화 기법의 적용을 가능하게 한다.
• 문제는 가장 가까운 선형 함수와의 거리를 최소화하는 이진 정수 프로그래밍 문제로 환원된다.
• 알고리즘은 ANF 내의 희소성 특성을 활용하여 정수 프로그래밍 문제의 변수 수와 제약 조건 수를 제한한다.
• 전체 조합을 탐색하는 대신 ANF 내의 관련 있는 단항식들에만 집중함으로써 전체 순열을 피한다.
• 정수 프로그래밍의 해는 최소 거리를 직접 제공하며, 이는 함수의 비선형성과 정확히 일치한다.

실험 결과

연구 질문

• RQ1 40개 이상의 변수를 가진 부울 함수에 대해 빠른 월리스 변환이 비가능한 상황에서 비선형성을 효율적으로 계산할 수 있는가?
• RQ2 대수적 정규형(ANF) 계수를 어떻게 활용하여 선형 함수와의 거리를 표현할 수 있으며, 이로써 이용 가능한 구조적 특성을 드러낼 수 있는가?
• RQ3 비선형성 계산 문제를 이진 정수 프로그래밍 문제로 재구성할 수 있는가?
• RQ4 ANF 계수의 어떤 구조적 특성이 스퍼스 함수의 계산 복잡도를 감소시키는 데 기여하는가?
• RQ5 제안된 방법은 고차원 스퍼스 부울 함수에 대해 기존 방법보다 확장성 면에서 뛰어나게 성능을 발휘할 수 있는가?

주요 결과

• 비선형성 계산 문제는 ANF 계수를 이용해 성공적으로 재구성되었으며, 새로운 계산 경로를 제공한다.
• 이 방법은 비선형성 계산을 이진 정수 프로그래밍 문제로 환원하여 40개 이상의 변수를 가진 함수에 대해서도 해결 가능하게 한다.
• 희소 부울 함수에 특히 효과적이며, 제한된 단항식 항의 수로 인해 문제 크기가 감소하기 때문이다.
• 빠른 월리스 변환의 O(n·2^n) 복잡도를 피함으로써 고차원 케이스에서도 적용 가능하게 된다.
• 해결 방법은 히ュ리스틱 또는 근사 기반 접근 방식과 달리 정확한 비선형성 계산을 제공한다.
• 암호학적 응용에서 큰 크기의 스퍼스 함수의 비선형성 평가가 실제로 가능하다는 점에서 실용성이 입증되었다.