Revisiting the IPA-sumcheck connection

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.IPA를 합산검증(sumcheck) 프로토콜로 보는 관점을 활용해 다항식 커밋먼트 성능 개선
2.다변량(multilinear) 평가 주장에 적용되는 단순화된 Halo식 누적(accumulation) 기법 제시
3.IPA 검증자의 MSM 연산을 basefold의 그룹 변형으로 대체, 검증 시간을 O(n)에서 O(log^2 n)으로 축소
4.대신 증명자 측 스칼라 곱셈 4n회가 추가되는 트레이드오프 명시

왜 중요한가?

영지식증명 시스템에서 검증 속도가 O(n)에서 O(log^2 n)으로 줄어드는 것은 온체인 검증 비용 절감과 직결되는 실질적 개선이며, IPA와 sumcheck 관점의 결합이 다른 다항식 커밋먼트 설계에도 파급될 수 있다.

언급 프로젝트

Halo basefold

본문 미리보기

Inner Product Arguments (IPA) [BCC+16,BBB+17] are a family of proof systems with $O(\log n)$ sized proofs, $O(n)$ time verifiers, and transparent setup. Bootle, Chiesa and Sotiraki [BCS21] observed that an IPA can be viewed as a sumcheck protocol [LFKN92] where the summed polynomial is allowed to have coefficients in a group rather than a field. We leverage this viewpoint to improve the performance of multi-linear polynomial commitments based on IPA. Specifically, - We introduce a

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기