[논문 리뷰] Partial-indistinguishability obfuscation using braids

Gorjan Alagic, Stacey Jeffery외 1명|arXiv (Cornell University)|2012. 12. 28.

Cryptography and Data Security참고 문헌 41인용 수 6

한 줄 요약

이 논문은 계산적으로 유니버설한 군과 효율적으로 계산 가능한 정규형을 갖는 군을 기반으로 한 새로운 오비퓨케이션 개념인 부분-구분불가능성 오비퓨케이션을 제안한다. 이는 대칭군 A₅ 내의 브레이드 군 표현을 사용하며, 논리 게이트를 브레이드로 인코딩하여 고전적이고 양자 회로에 대해 다항시간 오비퓨케이터를 구축한다. 이로써 44상의 큐디트를 사용하여 유니버설 계산을 달성하지만, 구성에 따른 암호학적 보안성은 여전히 열려있다.

ABSTRACT

An obfuscator is an algorithm that translates circuits into functionally-equivalent similarly-sized circuits that are hard to understand. Efficient obfuscators would have many applications in cryptography. Until recently, theoretical progress has mainly been limited to no-go results. Recent works have proposed the first efficient obfuscation algorithms for classical logic circuits, based on a notion of indistinguishability against polynomial-time adversaries. In this work, we propose a new notion of obfuscation, which we call partial-indistinguishability. This notion is based on computationally universal groups with efficiently computable normal forms, and appears to be incomparable with existing definitions. We describe universal gate sets for both classical and quantum computation, in which our definition of obfuscation can be met by polynomial-time algorithms. We also discuss some potential applications to testing quantum computers. We stress that the cryptographic security of these obfuscators, especially when composed with translation from other gate sets, remains an open question.

연구 동기 및 목표

• 기능적으로 동일한 회로에 대해 엄격한 구분불가능성 조건을 완화한 새로운, 더 약한 오비퓨케이션 개념인 부분-구분불가능성의 제안.
• A₅ 내의 브레이드 군 표현을 사용하여 고전적 및 양자 회로에 대한 다항시간 오비퓨케이션 체계 개발.
• 44상의 디트에 작용하는 양-바이어스트 솔루션을 기반으로 한 역행성 게이트가 유니버설 고전적 계산을 달성할 수 있음을 보여줌.
• 계산적으로 유니버설한 역행성 양-바이어스트 게이트가 존재하는 최소의 d를 규명하며, d ≤ 44가 충분하고 d ≤ 5는 부족함을 보임.

제안 방법

• 구성은 브레이드 군 B₃와 그 군의 A₅로의 표현을 사용하며, 군의 생성자 σ₁ 및 σ₂가 A₅로의 군 준동형에 의해 어떻게 이미지화되는지 고려한다.
• 역행성 게이트를 A₅의 군 원소로 매핑함으로써 논리 회로를 브레이드로 인코딩하며, 일致성을 확보하기 위해 양-바이어스트 방정식을 사용한다.
• 특정 집합 S가 게이트 R에 의한 코너지션에 의해 생성하는 궤도는 A₅의 44차원 부분공간을 형성하며, 이는 유니버설 고전적 계산을 지원한다.
• 이 방법은 S에 의해 생성된 부분군이 A₅임을 바탕으로 하며, 궤도 O_R는 정확히 44개의 원소(모든 3순환과 두 개의 5순환 공轭류)로 구성된다.
• 브레이드 군 관계로부터 유도된 정규형을 사용하여 회로를 브레이드로 컴iles함으로써 기능적 동치성과 다항시간의 느려짐을 보장한다.
• 특정 게이트 R에 의해 S의 궤도에 제한함으로써 큐디트 차원을 60에서 44로 감소시켜 최적화하였다. 이 궤도는 게이트 작용에 대해 닫혀 있다.

실험 결과

연구 질문

• RQ1 함수적으로 동일한 회로에 대해 모든 경우가 아니라 고정된 게이트 수준의 관계에서만 구분불가능성이 성립하는 더 약한 오비퓨케이션 개념인 부분-구분불가능성은 정의되고 효율적으로 달성될 수 있는가?
• RQ2 A₅ 내의 브레이드 군 표현을 사용하여 큐디트 차원을 줄인 상태에서 고전적 계산을 위한 유니버설 게이트 세트를 구성할 수 있는가?
• RQ3 양-바이어스트 방정식을 만족하는 d상 큳티트에 작용하는 역행성 게이트가 유니버설 고전적 계산을 달성할 수 있는 최소의 d는 얼마인가?
• RQ4 d < 44인 경우에도 계산적으로 유니버설한 양-바이어스트 솔루션이 존재하는가? 이러한 솔루션은 체계적으로 찾을 수 있는가?
• RQ5 제안된 오비퓨케이션 체계는 다른 게이트 세트로의 번역과 조합될 때도 보안성을 유지하는가? 특히 양자 회로 오비퓨케이션에서 그러한 조합이 안전한가?

주요 결과

• 게이트 R에 의해 S의 궤도는 정확히 44개의 원소를 가지며, 이는 A₅의 44차원 부분공간을 형성하며 게이트 작용에 대해 닫혀 있다.
• 이 44차원 부분공간에 제한된 브레이드 게이트 R은 양-바이어스트 방정식을 만족하는 치환행렬을 생성하며, 이는 유니버설 고전적 계산을 가능하게 한다.
• 컴퓨터를 이용한 체계적 검색 결과, d ≤ 5인 경우 계산적으로 유니버설한 역행성 양-바이어스트 게이트는 존재하지 않음이 입증됨.
• 유니버설한 게이트가 존재하는 최소의 d는 5와 44 사이이며, d = 44가 충분함을 보임.
• 궤도 구조를 활용함으로써 큐디트 차원을 60에서 44로 감소시켜 효율성을 향상시켰으며, 유니버설리티를 손상시키지 않았다.
• 제안된 부분-구분불가능성 오비퓨케이터는 다항시간에 작동하며 기능적 동치성과 다항시간의 느려짐을 만족하지만, 구성에 따른 암호학적 보안성은 아직 증명되지 않음.