💻 computer science

zQR: A Verifiable QR-Driven zkSNARK Proof Verification Framework for Mobile Platforms

이 논문은 프라이버시를 보존하는 일상적 상호작용을 위해 검증 가능한 QR 코드, 블록체인, 그리고 거대 언어 모델을 활용하여 실질적인 오프라인 zkSNARK 증명 검증을 가능하게 하는 새로운 모바일 프레임워크인 zQR을 소개한다.

원저자: Goshgar Can Ismayilov

게시일 2026-06-26

📖 4 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Goshgar Can Ismayilov

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신에게는 비밀이 하나 있다고 상상해 보세요. 콘서트의 VIP 패스나 당신이 21세 이상임을 증명하는 것 같은 비밀 말이죠. 보통 이를 보여주기 위해 우리는 신분증을 건네야 하는데, 이때 이름, 주소, 생년월일 등 가드(경비원)에게는 전혀 필요 없는 정보까지 모두 드러나게 됩니다.

이 논문은 당신이 실제 비밀이 무엇인지 밝히지 않고도 그 비밀을 가지고 있다는 것을 증명할 수 있게 해주는 zQR이라는 새로운 시스템을 소개합니다. 이 시스템은 세 가지 첨단 기술인 영지식 증명(수학적 마법), QR 코드(휴대폰에 있는 흑백 사각형), 그리고 블록체인(공공의 변경 불가능한 장부)을 결-합하여 일상적인 도구로 만들어냅니다.

다음은 이 시스템이 어떻게 작동하는지 쉬운 비유를 통해 설명한 내용입니다.

1. 핵심 아이디어: "마법 봉투"

**영지식 증명(Zero-Knowledge Proof)**을 '마법 봉투'라고 생각해 보세요.

문제: 당신은 가드(검증자)에게 자신이 18세 이상임을 증명하고 싶습니다.
기존 방식: 당신은 운전면허증을 건넵니다. 가드는 당신의 이름, 주소, 정확한 나이를 보게 됩니다.
zQR 방식: 당신은 운전면허증을 "마법 봉투"(영지식 증명) 안에 넣습니다. 봉투를 흔들면, 오직 "이 사람은 18세 이상이다"라는 사실만을 증명하는 소리가 납니다. 가드는 그 소리를 듣지만, 봉투 안의 면허증은 절대 볼 수 없습니다. 그들은 사실이 참이라는 것은 알지만, 당신에 대한 다른 어떤 정보도 알 수 없습니다.

2. 전달 방법: "디지털 엽서"

논문은 이러한 "마법 봉투"를 복잡한 컴퓨터 코드로 전송하는 것이 일반 사람들에게는 너무 어렵다고 주장합니다. 그래서 zQR은 이 증명을 QR 코드로 변환합니다.

"마법 봉투"를 축소하여 일반적인 QR 코드, 즉 디지털 엽서에 인쇄한다고 상상해 보세요.
당신은 휴대폰 화면에 이 QR 코드를 보여줍니다.
가드는 자신의 휴대폰으로 이를 스캔합니다. 가드의 휴대폰은 즉시 "마법의 소리"를 확인하고 "검증 완료!"라고 알려줍니다.
주의점: 논문은 이 증명들이 작긴 하지만 아주 작지는 않다고 언급합니다. 수학적 내용을 QR 코드 안에 담기 위해서는 특정 크기(버전 19)가 필요합니다. 이는 마치 소설 한 권을 엽서에 담는 것과 같습니다. 가능은 하지만, 글자가 흐릿해지지 않도록 엽서가 특정 크기를 갖춰야 하는 것과 같습니다.

3. 이야기 속의 세 등장인물

이 시스템에는 세 가지 주요 역할과 두 명의 조력자가 등장합니다.

발행자 (설계자): 시스템을 구축하는 조직(예: 대학교나 은행)입니다. 이들은 게임의 "규칙"을 만듭니다.
- 새로운 기능: 이들은 **AI(거대 언어 모델)**를 사용하여 복잡한 수학 규칙을 작성하는 데 도움을 받을 수 있습니다. 이는 똑똑한 비서에게 "누군가가 18세 이상임을 증명하는 규칙을 써줘"라고 요청하여 코드를 작성하게 하는 것과 같습니다.
증명자 (당신): 당신은 비밀을 가진 사람입니다. 당신은 휴대폰을 사용하여 "마법 봉투"(증명)를 생성하고 이를 QR 코드로 변환합니다.
검증자 (가드): 당신을 확인하는 사람입니다. 이들은 당신의 QR 코드를 스캔하고 수학적 계산을 통해 증명이 유효한지 확인합니다. 이들은 이 확인을 위해 인터넷에 연결될 필요가 없으며, 휴대폰 자체에서 바로 수행됩니다.

4. "공공 장부" (블록체인)

아무도 속임수를 쓰지 못하도록, 발행자는 "검증 키"를 블록체인에 올립니다.

블록체인은 규칙이 돌에 새겨진 듯 기록되는, 유리 벽으로 된 공공 금고라고 생각하세요.
발행자는 이 금고에 "검증 키"를 잠가둡니다.
검증자가 당신의 QR 코드를 스로할 때, 검증자의 휴대폰은 금고에 있는 규칙을 대조하여 당신의 증명이 진짜인지 확인합니다. 이를 통해 발행자가 나중에 사람들을 속이기 위해 규칙을 바꾸는 것을 방지합니다.

5. 두 가지 플레이 방식 (v1 vs v2)

논문은 이 시스템의 두 가지 버전을 설명합니다.

zQR.v1 (풀 팀): 당신(증명자)이 휴대폰에서 증명을 생성하고 QR 코드를 보여준 뒤, 수행 기록을 남기기 위해 블록체인에 디지털 영수증을 보냅니다. 가장 안전하지만 휴대폰의 배터리와 시간이 더 소요됩니다.
zQR.v2 (경량 버전): 발행자가 모든 힘든 일을 대신합니다. 발행자가 증명과 QR 코드를 생성해 줍니다. 당신은 그저 QR 코드를 보여주기만 하면 됩니다. 당신의 휴대폰에는 더 빠르지만, 발행자를 조금 더 신뢰해야 합니다.

6. 실제로 무엇을 테스트했나?

연구진은 프로토타입을 제작하여 다양한 휴대폰(강력한 맥북부터 저가형 안드로이드 폰까지)으로 테스트했습니다. 결과는 다음과 같습니다.

병목 현상: "마법 봉투"를 만드는 것(증명 생성)이 가장 어려운 부분입니다. 느린 휴대폰에서는 복잡한 비밀의 경우 1분 넘게 걸릴 수 있습니다. 빠른 휴대폰에서는 몇 초면 충분합니다.
좋은 소식: 증명을 확인하는 것(QR 코드 스캔)은 매우 빠르고 쉬우며, 어떤 휴대폰에서도 1초 미만이 소요됩니다.
QR 코드: QR 코드는 특정 크기(버전 19)가 필요했습니다. 이는 쉽게 스캔할 수 있을 만큼 작으면서도, 수학적 내용을 담을 수 있을 만큼 충분히 컸습니다.
비용: 규칙을 블록체인에 올리는 것은 설정 시 단 한 번의 작은 비용(몇 달러 정도)이 발생합니다. 이후 증명을 확인하는 것은 무료입니다.

7. 어디에 사용될 수 있을까?

논문은 당신이 신분증을 보여주지 않고도 무언가를 증명하고 싶어 할 구체적인 현실 세계 시나리오를 제안합니다.

출입 통제: 이름을 밝히지 않고 건물이나 캠퍼스 출입 권한을 증명함.
결제: 상점이 당신의 소비 습관을 알지 못하게 익명으로 결제함.
투표: 누구인지 밝히지 않고 투표 자격이 있음을 증명함.
여행: 여권 상세 정보를 건네지 않고 국경에서 유효한 비자가 있거나 질병이 없음을 증명함.

요약

zQR 프레임워크는 "복잡한 프라이버시 수학을 가져와서 간단한 QR 코드로 만들고, 인터넷 연결 없이도 휴대폰에서 누구나 이를 검증할 수 있다"는 개념 증명입니다.

현재는 오래된 휴대폰에서 증명을 생성할 때 약간의 인내심이 필요하고, 신뢰할 수 있는 설정(발행자가 정직해야 함)에 의존하고 있지만, 이는 우리가 비밀을 드러내지 않고도 자신에 대한 사실을 증명할 수 있는 세상으로 가는 유망한 길을 보여줍니다.

기술 요약: zQR – 모바일 플랫폼을 위한 검증 가능한 QR 기반 zkSNARK 증명 검증 프레임워크

1. 문제 정의

프라이버시 보존 기술, 특히 영지식 증명(ZKP)의 실질적인 채택은 기술적 복잡성과 사용자 친화적인 인터페이스의 부재로 인해 어려움을 겪고 있다. ZKP는 강력한 프라이버시 보장(예: 데이터 최소화, 선택적 공개)을 제공하지만, 그 구현에는 특수 하드웨어, 복잡한 설정 절차, 상당한 컴퓨팅 자원이 요구되는 경우가 많아 이론적 발전과 실제 사용성 사이의 간극을 만든다. 반면, 퀵 응답(QR) 코드는 어디에나 존재하며 특수 하드웨어가 필요 없고 오프라인 상호작용을 지원하지만, 본질적으로 검증 가능한 암호학적 증명을 담아낼 수 있는 능력은 없다.

본 논문은 검증 가능한 QR 코드와 zkSNARK(Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge)를 모바일 플랫폼을 위해 통합하는 체계적인 프레임워크가 부족하다는 점을 지적한다. 기존 연구들은 대개 특정 애플리케이션(예: 투표 또는 공급망에 국한됨)에 치중되어 있으며, 표준화가 부족하고, 다양한 모바일 하드웨어 제약 조건에 따른 종합적인 보안 분석 및 성능 평가를 제공하지 못한다.

## 2. 방법론: zQR 프레임워크

저자들은 모바일 기기에서 QR 코드에 인코딩된 zkSNARK 증명의 오프라인 검증을 가능하게 하도록 설계된 새로운 프레임워크인 zQR을 제안한다. 이 프레임워크는 세 가지 능동적 역할(발행자, 증명자, 검증자)과 두 가지 수동 구성 요소(스마트 컨트랙트, 대규모 언어 모델)를 통합한다.

핵심 아키텍처

역할:
- 발행자(Issuer): 증명 회로를 구축하고(수동 또는 LLM을 통해), 증명 키와 검증 키를 생성하기 위한 신뢰할 수 있는 설정을 수행하며, 블록체인에 검증 스마트 컨트랙트를 배포한다.
- 증명자(Prover): 증명 키와 개인 입력을 보유한다. 로컬에서 zkSNARK 증명을 생성하여 QR 코드에 인코딩하며, 선택적으로 블록-체인에 증명을 제출한다.
- 검증자(Verifier): 검증 키를 보유한다. QR 코드를 스캔하여 증명을 디코딩하고, 오프체인에서 이를 검증한다.
통합 요소:
- 대규모 언어 모델(LLMs): 발행자가 제공한 자연어 프롬프트로부터 산술 회로를 자동으로 생성함으로써 기술적 장벽을 낮추는 데 사용된다.
- 블록체인: 감사 가능성, 부인 방지 및 온체인 검증을 위해 사용된다. ZoKrates를 통해 생성된 스마트 컨트랙트는 검증 키를 저장하고 상태가 없는(stateless) 증명 검증을 허용한다.

프레임워크 변형

논문은 두 가지 운영 변형을 정의한다:

zQR.v1 (전체 상호작용형): 증명자가 자신의 기기에서 증명을 생성하고, 이를 QR 코드에 인코딩하며, 검증자가 오프체인 검증을 위해 이를 스캔하는 3자 워크플로우이다. 증명자는 또한 블록체인에 증명을 제출할 수 있다.
zQR.v2 (경량화 변형): 발행자가 사용자(암묵적으로 증명자 역할 수행)를 대신하여 증명을 생성하고 QR 코드를 발행하는 제한된 워크플로우이다. 검증자는 QR 코드를 유효화하기 위해 올바른 검증 키만 있으면 된다. 이 변형은 모바일 기기에서의 증명 생성에 따른 계산 부담을 제거한다.

보안 모델

프레임워크는 이종 적대적 환경을 채택한다:

발행자 및 검증자: "정직하지만 호기심 많은(honest-but-curious)" 모델로 정의된다(규칙은 준수하지만 추가 데이터를 탐색할 수 있음).
증명자: 계산적으로 제한적이지만 잠재적으로 악의적인(증명을 위조하거나 입력을 조작하려 시도할 수 있음) 모델로 정의된다.
LLM: 회로 생성에 있어 정직하지만 호기심 많은 모델로 간주되나, 의미론적 불일치(semantic inconsistencies)를 일으킬 수 있다.

저자들은 ZKP(독성 폐기물, 재전송 공격), QR 코드(숄더 서핑 공격, 페이로드 주입), 블록체인(트랜잭션 재전송, 스마트 컨트랙트 취약점), 그리고 운영 측면(DoS, 프롬프트 조작)의 네 가지 표면에 걸친 위협을 논의한다.

3. 주요 기여

새로운 프레임워크: LLM을 통한 자동 회로 생성과 블록체인 기반 감사 기능을 특징으로 하는, 모바일 플랫폼을 위한 검증 가능한 QR 코드와 zkSNARK를 통합하는 최초의 체계적인 프레임워크인 zQR을 제안하였다.
실험적 평가: 세 가지 서로 다른 하드웨어 플랫폼(고성능 데스크톱 MacBook Air M2, 최신 스마트폰 iPhone 15, 자원 제한적 안드로이드 기기 Samsung A2)에 대해 시간적 비용(증명 생성, 검증, QR 인코딩/디코딩)과 재무적 비용(블록체인 가스비)을 측정하는 종합적인 성능 연구를 수행하였다.
보안 분석: ZKP, QR 코드, 블록체인의 통합에 특화된 다각적 위협 모델 분석을 제공하였다.
애플리케이션 시나리오: 물리적 출입 통제, 익명 결제, 멤버십 검증, 투표, 출입국 관리 등 잠재적인 사용 사례를 식 \text{별하였다.

4. 실험 결과

실험에는 2개에서 330,077개의 산술 제약 조건을 가진 회로가 사용되었다.

시간적 비용:
- 증명 생성: 주요 계산 병목 지점으로 확인되었다. 시간은 회로 복잡도에 따라 선형적으로 증가한다. 자원이 제한된 안드로이드 기기(aOS)에서는 메모리 제한으로 인해 약 100,000개 이상의 제약 조건을 가진 회로에 대해 증명 생성이 실패하였다. iOS에서는 약 100,000개 제약 조건까지 약 20초 내에 생성이 가능했다.
- 증명 검증: 회로 복잡도와 관계없이 거의 일정한 시간 비용을 보였다(iOS/macOS에서 0.3~0.5초, aOS에서 약 4.5초). 이는 모바일 환경에 적합함을 보여준다.
- QR 인코딩/디코딩: 두 작업 모두 낮은 지연 시간과 일정한 속도를 보였다(aOS에서도 <0.4초). 이는 QR 레이어의 실현 가능성을 확인시켜 준다.
증명 크기 및 QR 복잡도:
- zkSNARK 증명은 회로 복잡도와 관계없이 일정한 크기(~1 KB)를 유지하였다.
- 이를 통해 화면 대 카메라 스캐닝에 적합하도록 컴팩트한 QR 심볼 버전 19(낮은 오류 정정 수준)로 인코딩할 수 있었다. 더 높은 오류 정정 수준은 더 큰 심볼 버전(최대 버전 32)을 요구했다.
재무적 비용:
- 배포: Ethereum Sepolia에서의 스마트 컨트랙트 배포 비용은 공개 입력값의 수에 비례하였으며(~공개 입력당 30,000 가스), 약 $3.45에서$ 4.20 USD 사이였다.
- 검증: view 함수를 통한 온체인 검증은 증명자에게 가스 비용이 들지 않았으나, 간접적인 상태 변경 호출은 비용을 발생시켰다.

5. 의의 및 주장

본 논문은 zQR을 모바일 플랫폼에서 프라이버시 보존 검증의 실현 가능성을 입증하는 개념 증명(proof-of-concept) 프레임워크로 위치시킨다.

실현 가능성: 실험 결과는 증명 생성이 자원을 많이 소모하기는 하지만, 검증 및 QR 상호작용 레이어는 특히 발행자가 생성을 담당하는 zQR.v2 변형의 경우 모바일 사용에 충분히 가볍다는 것을 확인시켜 준다.
간극 해소: 이 프레임워크는 QR 코드의 보편성과 LLM의 자동화 능력을 활용하여 이론적 ZKP 발전과 실제 채택 사이의 간극을 좁히는 것을 목표로 한다.
한계점: 저자들은 다음과 같은 현재의 제약 사항을 겸허히 인정한다:
- 신뢰할 수 있는 설정(common reference string)에 대한 의존성.
- 복잡한 증명 생성을 방해하는 저사양 기기의 메모리 제한.
- 발행자와 검증자에 대한 "정직하지만 호기심 많은" 가정.
- 블록체인 처리량 및 LLM 지연 시간과 관련된 확장성 과제.

결론적으로, zQR가 아직 모든 시나리오를 위한 상용 수준의 솔루션은 아닐지라도, QR 코드가 영지식 증명의 광범위한 대중화를 위한 핵심 기술 역할을 수행함으로써 더욱 프라이버시를 보호하고, 공개적으로 검증 가능하며, 감사 가능한 세상을 향한 중요한 진전임을 보여준다.