SALSAA – Sumcheck-Aided Lattice-based Succinct Arguments and Applications | AIChainDay

0단 자동

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

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

블록체인2025년 11월 20일AI 점수: 90%

SALSAA – Sumcheck-Aided Lattice-based Succinct Arguments and Applications

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.격자 기반 축약논증 프레임워크 SALSAA 공개, RPS·RnR(ASIACRYPT'24,'25)를 sumcheck 기법으로 확장
2.선형시간 프루버로 노름검사를 수행해 기존 준선형시간 대비 증명 크기를 2~3배 축소
3.R1CS를 포함한 폭넓은 관계 지원, 2^28개 원소 증인 기준 검증 41ms·프루빙 10.61초·증명 979KB 달성
4.최초의 격자 기반 L2-노름 제한 폴딩 스키도 제시, 검증 2.28ms·증명 73KB로 AVX-512 가속 Rust 구현 공개

왜 중요한가?

노름 검사가 격자 기반 SNARK의 핵심 병목이었는데, 이를 선형시간으로 해결하면서 R1CS 등 실제 연산을 폭넓게 지원해 격자 기반 축약 증명의 실용화를 앞당긴다.

언급 프로젝트

SALSAA

본문 미리보기

We present SALSAA, a more efficient and more versatile extension of the state-of-the-art lattice-based fully-succinct argument frameworks, ``RoK, paper, SISsors (RPS)'' and ``RoK and Roll (RnR)'' [Klooß, Lai, Nguyen, and Osadnik; ASIACRYPT'24, '25], integrating the sumcheck technique as a main component. This integration enables us to design an efficient norm-check protocol (controlling the norm during witness extraction) with a strictly linear-time prover while reducing proof sizes by 2-3$\time

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기