폴딩(folding) 프로토콜은 공개 무작위성 경계를 넘나드는 구조를 가진다. 입력에 의존하는 정보는 챌린지를 알기 전에 고정돼야 하지만, 요구되는 출력은 그 챌린지에 의존할 수 있다. 이 논문은 경계 시점에 이미 사용 가능한 정보를 감안했을 때 얼마나 많은 상태를 남겨야 하는지를 분석해, 챌린지 이전 전처리와 챌린지 이후 선형 판독이 자유로울 때 최소 유지 폭이 '잔여 출력 공간'의 차원과 정확히 일치함을 보였다. 예컨대 길이 n^2 벡터의 좌표별 곱셈은 전체 곱 정의역에서는 폭이 n^2이지만, 두 입력이 n^2개의 서로 다른 점에서 평가된 차원-n 리드-솔로몬 부호에 속할 경우 폭이 2n-1로 줄어든다. 정확한 폭 임계값 아래에서는 이변수 함수에 대한 독립 균등 입력의 최적 정확 복원 확률을 순위 가중 부분공간 최적화로 규명했으며, 동차 이차 폴딩에 이 틀을 적용해 스케일드 코시(Scaled-Cauchy) 챌린지가 이 하한을 실제로 달성하는 명시적 다항식 표현을 제시했다.
- •폴딩 프로토콜에서 챌린지 이후에도 유지해야 할 최소 상태 폭이 '잔여 출력 공간'의 차원과 일치함을 증명
- •좌표별 곱셈의 경우 리드-솔로몸 부호 제약 하에서 폭이 n^2에서 2n-1로 크게 줄어드는 예시 제시
- •임계값 이하에서 이변수 함수의 최적 복원 확률을 순위 가중 부분공간 최적화로 규명
- •스케일드 코시 챌린지가 동차 이차 폴딩에서 이론적 하한을 달성하는 명시적 다항식 표현 제시
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
The Residue Is the Resource: Exact Fresh-State Complexity, Reconstruction Limits, and Challenge Design in Folding
- 1.접기(folding) 프로토콜에서 챗린지 이후 남겨야 할 최소 상태 폭을 '잔여 출력공간의 차원'으로 정확히 규명
- 2.좌표별 곱셈은 전체 곱 도메인에서 폭 n^2이지만 Reed-Solomon 부호로 제한하면 2n-1로 대폭 축소됨을 예시로 제시
- 3.정확 복원 임계 폭 이하에서는 순위가중 부분공간 최적화로 최적 정확 복원 확률을 특성화
- 4.동차 이차 접기에 적용해 폭이 최소 rk 이상이어야 함을 증명하고, Scaled-Cauchy 챗린지로 이 하한을 실제 달성
왜 중요한가?
Nova류 접기 기반 재귀 SNARK 시스템의 증명자 상태 크기를 이론적으로 최적화할 근거를 제공해, 재귀 증명 시스템의 효율 개선 설계에 직접 활용될 수 있다.
본문 미리보기
Folding protocols cross public-randomness boundaries: input-dependent information must be fixed before a challenge is known, while the required output may depend on it. We ask how much state must be retained after accounting for information already available at the boundary. With unrestricted prechallenge preprocessing and linear postchallenge readout, a retained representation is feasible exactly when its coordinates span, modulo this available information, every output direction induced by the
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



