Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs | AIChainDay

0단 자동

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

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

블록체인2024년 6월 18일AI 점수: 90%

Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.휘발성·영속·희소영속 RAM에 대한 새 증명으로 SNARK 증명 시간을 단축, 영속 RAM에서 최대 51.3배 개선
2.대수적 대화형 증명(AIP)을 SNARK로 변환하는 기존 구성을 일반화
3.베주 항등식(Bézout's identity)을 다항식에 적용해 유일성·서로소성 증명용 신규 AIP 구성
4.서로 다른 주소 접근의 독립성을 증명하는 데 이 AIP들을 활용

왜 중요한가?

검증가능 아웃소싱 연산에서 서버가 유지하는 RAM 상태 검증은 SNARK의 큰 오버헤드 요인이었는데, 이를 대폭 줄이는 결과로 상태 접근이 잦은 zk-롤업 등의 연산 증명 비용을 크게 낮출 잠재력이 있다.

본문 미리보기

In verifiable outsourcing, an untrusted server runs an expensive computation and produces a succinct proof (called a SNARK) of the results. In many scenarios, the computation accesses a RAM that the server maintains a commitment to (persistent RAM) or that is initially zero (volatile RAM). But, SNARKs for such scenarios are limited by the high overheads associated with existing techniques for RAM checking. We develop new proofs about volatile, persistent, and sparse persistent RAM that reduce SN

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기