0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Grand Danois: Succinct Multilinear Polynomial Commitments over Lattices
- 1.Grand Danois: 격자 기반 다중선형 다항식 커밋먼트 제안, 후양자안전하면서 검증이 O(람다·엘)의 준로그로그 복잡도
- 2.Hachi(2026)를 기반으로 vSIS 가정으로 구조화된 공개파라미터를 쓰고 숙직 검증용 sumcheck 프로토콜 설계
- 3.회전행렬로 곱셈을 표현해 제약행렬 폴딩을 링 차수 선형 시간으로 달성(기존 이차적)
- 4.JL 투영으로 놀음값·평가 증명을 통합, 2^32 크기 다항식에 약 80KB 증명 달성
왜 중요한가?
기존 격자 기반 다항식 커밋먼트가 이차적 검증 비용을 갖던 것과 달리, 링 차수에 선형인 검증과 통합 노름 증명으로 후양자 안전 SNARK의 실용적 증명 크기(80KB급)를 달성해 배포 가능성을 높인다.
언급 프로젝트
본문 미리보기
We present Grand Danois, a new post-quantum multilinear polynomial commitment scheme from lattices for polynomials over $\mathbb{F}_q$ that achieves polylogarithmic $O(\lambda \ell)$ verification complexity and proof sizes. We build on the general approach introduced in Hachi (ePrint 2026/156) with three key changes. First, we switch to the vanishing Short Integer Solution (vSIS) assumption to obtain structured public parameters for our commitment scheme and utilize this structure to design a su
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



