Relaxed Modular PCS from Arbitrary PCS and Applications to SNARKs for Integers | AIChainDay

0단 자동

AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.

규칙 판: 규칙 판 도입 이전 기사입니다.
남기는 것: 규칙 판 · 모델 · 시각
판 기록: 아직 없습니다.

블록체인2026년 2월 20일AI 점수: 85%

Relaxed Modular PCS from Arbitrary PCS and Applications to SNARKs for Integers

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.표준 PCS로부터 relaxed Mod-PCS를 만드는 블랙박스 변환을 제안, 정수 다항식을 유한체 연산 없이 직접 다룸 수 있게 함
2.텐서코드 PCS로 구현해 증명 크기·검증 시간 O(log(N+B))의 최초 relaxed Mod-PCS 달성, 후양자안전 가능성 확보
3.이를 활용해 Z_B 상 Customizable Constraint System에 대한 최초의 완전 숙직 SNARK 구현
4.정수 덧셈·곱셈, NTT 정확성, 디오판티스 관계에 대한 개선 인증 기법도 함께 제시

왜 중요한가?

기존 Mod-PCS는 실용성이 없거나(후양자 안전성 부재) 완전 숙성하지 못했는데, 이번 블랙박스 변환은 로그 크기 증명으로 두 문제를 동시에 해결해 정수 위 SNARK를 유한체 에뮬레이션 없이 실용화할 길을 연다.

본문 미리보기

\emph{Modular Polynomial Commitment Schemes (Mod-PCS)} extend standard PCSs by enabling provable evaluation of integer polynomials modulo a random modulus, providing a natural foundation for SNARKs that operate directly over large integers without emulating arithmetic in finite fields. Only two Mod-PCS constructions are known. The first (Campanelli and Hall-Andersen, IACR ePrint 2024) serves primarily as a feasibility result and is impractical and not post-quantum secure due to its reliance on g

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기