[논문 리뷰] Vector Commitments with Efficient Updates

Ertem Nusret Tas, Dan Boneh|arXiv (Cornell University)|2023. 01. 01.

Distributed systems and fault tolerance인용 수 2

한 줄 요약

이 논문은 히스토그램 트리와 새로운 업데이트 알고리즘을 사용하여, k개의 요소가 업데이트될 때 업데이트 정보 크기(Θ(k^νλ))와 증명 업데이트 시간(Θ(k^{1−ν})) 모두에서 부분선형 업데이트 복잡도를 달성하는 새로운 벡터 커밋먼트 체계를 제안한다. 이 체계는 업데이트 크기와 클라이언트 런타임 사이의 상한선 최적화를 점점 더 충족시키며, ν = 1/2일 때 Verkle 트리보다 두 지표에서 약 2배 빠르게 성능을 냅니다. 또한 정보 이론적 하한선을 증명하여 그 최적성의 타당성을 확인합니다.

ABSTRACT

Dynamic vector commitments that enable local updates of opening proofs have applications ranging from verifiable databases with membership changes to stateless clients on blockchains. In these applications, each user maintains a relevant subset of the committed messages and the corresponding opening proofs with the goal of ensuring a succinct global state. When the messages are updated, users are given some global update information and update their opening proofs to match the new vector commitment. We investigate the relation between the size of the update information and the runtime complexity needed to update an individual opening proof. Existing vector commitment schemes require that either the information size or the runtime scale linearly in the number k of updated state elements. We construct a vector commitment scheme that asymptotically achieves both length and runtime that is sublinear in k, namely k^ν and k^{1-ν} for any ν ∈ (0,1). We prove an information-theoretic lower bound on the relation between the update information size and runtime complexity that shows the asymptotic optimality of our scheme. While in practice, the construction is not yet competitive with Verkle commitments, our approach may point the way towards more performant vector commitments.

연구 동기 및 목표

• 기존의 동적 벡터 커밋먼트 체계가 k개의 벡터 요소가 업데이트될 때 선형 크기의 업데이트 정보 또는 선형 시간의 증명 업데이트를 요구하는 비효율성 문제를 해결하기 위해.
• 트리 기반 VC(효율적인 업데이트이지만 큰 업데이트 데이터)와 대수적 VC(작은 업데이트 데이터이지만 느린 업데이트) 사이의 격차를 좁히기 위해, 부분선형 업데이트 크기와 부분선형 업데이트 시간을 모두 가능하게 하기 위해.
• 업데이트 정보 크기와 증명 업데이트 복잡도 사이의 기본적인 정보 이론적 트레이드오프를 정식화하고, 제안된 체계의 점점 더 최적화된 성능을 입증하기 위해.
• 신뢰 설정이 필요 없는, 효율적이고 부분선형 업데이트를 지원하는 실용적인 구현을 설계하기 위해. 이는 무상태 블록체인 클라이언트와 검증 가능한 데이터베이스에 적합합니다.

제안 방법

• 각 내부 노드가 자식 노드의 히스토그램 함수인 히스토그램 트리 구조를 제안하여, 대수적 조합을 통해 효율적인 업데이트를 가능하게 합니다.
• 업데이트 정보와 로컬 상태만을 사용하여 새로운 증명 구성 요소를 계산하는 새로운 업데이트 알고리즘(알고리즘 1)을 도입하여 전체 재계산을 피합니다.
• 벡터를 하위트리로 계층적으로 분해하며, 업데이트 정보는 소수의 내부 노드 업데이트(크기 Θ(k^νλ))로 구성됩니다.
• 커밋먼트가 히스토그램 함수 g를 통해 계산되는 히스토그램 메르클 트리 변형을 사용하여, 업데이트가 증명 구성 요소에 곱셈적으로 적용될 수 있도록 합니다.
• 정보 이론적 엔트로피 추론을 적용하여 업데이트 정보 크기의 하한선을 증명하며, Θ(k^{1−ν})의 업데이트 시간을 갖는 모든 체계는 Ω(k^νλ)의 업데이트 정보 크기를 가져야 한다고 보여줍니다.
• 표준 가정 하에 증명 바인딩 성질을 만족함을 보여주는 보안 증명을 제공합니다.

실험 결과

연구 질문

• RQ1 동적 벡터 커밋먼트 체계가 변경된 요소 수 k에 대해 부분선형 업데이트 정보 크기와 부분선형 증명 업데이트 시간을 동시에 달성할 수 있는가?
• RQ2 동적 벡터 커밋먼트에서 업데이트 정보 크기와 증명 업데이트 복잡도 사이의 기본적인 정보 이론적 트레이드오프는 무엇인가?
• RQ3 트리 기반 VC와 대수적 VC를 모두 능가하는 업데이트 효율성을 갖는 벡터 커밋먼트 체계를 구축할 수 있는가?
• RQ4 신뢰 설정이 없는 조건에서 히스토그램 트리를 사용하여 점점 더 최적화된 업데이트 복잡도를 달성할 수 있는가?

주요 결과

• 제안된 체계는 임의의 ν ∈ (0, 1)에 대해 업데이트 정보 크기 Θ(k^νλ)과 증명 업데이트 시간 Θ(k^{1−ν})을 달성하며, ν = 1/2일 때 실용적 트레이드오프가 가장 우수합니다.
• ν = 1/2일 때, 이 체계는 Verkle 커밋먼트 대비 업데이트 정보 크기와 증명 업데이트 시간을 약 2배 줄이며, 공개 매개수는 더 큽니다.
• 정보 이론적 하한선을 증명하여, Θ(k^{1−ν})의 증명 업데이트 시간을 갖는 모든 체계는 Ω(k^νλ)의 업데이트 정보 크기를 가져야 한다고 보여주며, 이는 구조의 점점 더 최적화된 성능을 입증합니다.
• 체계는 증명 바인딩 성질을 만족하여, 어떤 악성 공격자도 동일한 인덱스에서 다른 메시지에 대해 서로 다른 커밋먼트에 대해 유효한 증명을 생성할 수 없습니다.
• 표준 가정 하에 보안이 보장되며, 페어링 기반의 히스토그램 트리 구현과 달리 신뢰 설정이 필요하지 않습니다.
• 논문은 Verkle 트리의 업데이트 알고리즘을 비교 목적으로 제공하며, 제안된 체계가 기존의 블록체인 기반 기능을 향상시키는 데 적용될 수 있음을 보여줍니다.