0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Designated-Verifier Dynamic zk-SNARKs with Applications to Dynamic Proofs of Index
출처:IACR ePrint (암호학)
AI 인사이트
개발자
- 1.지정검증자(designated-verifier) 방식의 동적 zk-SNARK를 최초 제안, 업데이트 시간 O(log n)·증명 크기 상수
- 2.다항로그 업데이트를 지원하는 유일한 공개검증 동적 zk-SNARK Dynalog를 점근·실질 성능 모두에서 능가
- 3.동적 인덱스 증명을 효율 구현, 정렬 인덱스 다이제스트 일관성을 서브리니어 시간에 갱신 증명
- 4.클라이언트가 DB를 아웃소싱하고 임의 갱신 후에도 효율적 질의 검증이 가능한 응용 시연
왜 중요한가?
매번 증명을 처음부터 다시 계산해야 했던 기존 zk-SNARK의 한계를 데이터 변경량에 비례한 갱신으로 해결해, 자주 바뀌는 아웃소싱 데이터베이스의 검증 가능 질의응답 등 실용 응용의 문을 연다.
언급 프로젝트
본문 미리보기
Recently, the notion of dynamic zk-SNARKs was introduced. A dynamic zk-SNARK augments a standard zk-SNARK with an efficient update algorithm. Given a valid source statement-witness pair $(x,w)$ together with a verifying proof $p$, and a valid target statement-witness pair $(x',w')$, the update algorithm outputs a verifying proof $p'$ for $(x',w')$. Crucially, $p'$ is not recomputed from scratch; instead, the update algorithm takes time roughly proportional to the Hamming distance between $(x,w)$
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
공유:
#zkSNARK#동적증명#영지식증명#암호학
이 글이 만들어진 과정
- 11:24AI 초안
