💻 computer science

Polynomial Multiproofs for Scalable Data Availability Sampling in Blockchain Light Clients

本文提出了一种基于多项式多重证明（PMP）的优化方案，通过聚合多个采样单元验证为单个证明，显著降低了 Avail 模块化数据可用性层中区块链轻客户端的带宽、存储及验证开销，实现了高达 45% 的基础设施成本节约。

原作者： Rachit Anand Srivastava, Vikram Bhattacharjee, Will Arnold, Toufeeq Pasha

发布于 2026-04-21

📖 1 分钟阅读☕ 轻松阅读

原作者： Rachit Anand Srivastava, Vikram Bhattacharjee, Will Arnold, Toufeeq Pasha

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇文章主要解决了一个区块链世界里的“大麻烦”：如何让手机或普通电脑（轻客户端）在不下载整个巨大账本的情况下，也能安全地确认数据是真实存在的？

为了让你轻松理解，我们可以把区块链想象成一个巨大的、不断更新的图书馆，而轻客户端就是只有一部智能手机的读者。

1. 以前的困境：每次查书都要带一张“独立证书”

场景比喻：
想象这个图书馆（区块链）里的每一本书（数据块）都被撕成了无数个小纸条（数据单元），散落在世界各地的志愿者（节点）手里。
作为读者（轻客户端），你想知道某本书是不是完整的。你不需要把整本书搬回家，你只需要随机抽查几个纸条，看看它们是不是真的。

旧方法（基线设计）的痛点：
在以前的系统里，每当你向志愿者要一个纸条，志愿者不仅要给你纸条，还要给你一张单独的真伪证书（KZG 证明）。

问题： 如果你要抽查 100 个纸条，你就得下载 100 个纸条 + 100 张证书。
后果： 证书本身也有重量（数据量）。就像你为了买 100 个苹果，结果因为每个苹果都配了一个巨大的“防伪包装盒”，导致你提着一堆盒子，手机内存爆了，网速也卡死了。

2. 新方案：把“一篮子苹果”打包成一个“超级证书”

这篇论文提出的多项式多重证明（PMP），就像是一个聪明的打包策略。

核心创意：
不再给每个纸条单独发证书，而是把同一区域的一小堆纸条（比如 16 个）打包在一起，然后只发**一张“超级证书”**来证明这一整堆纸条都是真的。

生活化类比：

旧模式： 你去超市买 10 个苹果，收银员给每个苹果都贴一个独立的防伪标签，并给你 10 张发票。你提着 10 张发票回家，累得半死。
新模式（PMP）： 你把 10 个苹果装进一个篮子。收银员只给你一张总发票，证明“篮子里的这 10 个苹果都是真的”。你回家只需要检查这一张发票，轻松多了！

3. 具体是怎么做到的？（技术原理的通俗版）

微域（Micro-domain）： 系统把数据划分成很多小块（比如每块 16 个数据点）。
聚合（Aggregation）： 当轻客户端需要验证时，它不再一个个去要数据，而是直接去要“那一整块”的数据和那张“超级证书”。
数学魔法： 利用一种叫“多项式承诺”的数学技巧，把 16 个验证过程压缩成 1 个。就像把 16 道数学题的答案合并成一道大题的答案，验证者只需要算一次就能确认所有题都对。

4. 带来的巨大好处

论文在名为"Avail"的系统中进行了测试，结果非常惊人：

省流量（带宽）： 因为少传了很多重复的证书，数据传输量减少了。就像把 10 张发票换成 1 张，快递费省了。
省手机电量（CPU）： 手机验证 1 张证书比验证 16 张要快得多，手机发热少，电池更耐用。
省服务器钱（基础设施成本）： 这是最关键的。因为效率高了，维持整个网络运行所需的服务器数量减少了。
- 数据： 论文显示，相比旧方法，基础设施成本降低了高达 45%。这意味着区块链网络可以变得更便宜、更普及。
- 成功率： 在数据量很大时，旧方法经常因为网络拥堵导致“找不到数据”（命中率只有 12%），而新方法几乎100% 能成功找到。

5. 有什么代价吗？（权衡）

天下没有免费的午餐，这种打包策略也有小缺点：

隐私小泄露： 以前你查第 1 个纸条，别人不知道你在查第 2 个。现在你查“第 1 到第 16 号纸条”这一整包，别人就知道你对这一片区域感兴趣了。就像你买一篮子苹果，别人知道你喜欢苹果，但不知道具体喜欢哪个。
风险捆绑： 如果这一整包数据被坏人扣留了，你就连这 16 个都拿不到。但在论文设计的数学模型下，只要随机抽查的足够多，这种风险是可控的。

总结

这篇论文就像是为区块链轻客户端设计了一套**“智能快递打包系统”**。

它不再让每个小包裹都带着沉重的独立标签，而是把同一区域的小包裹打包，只贴一个总标签。这不仅让手机用户查账更快、更省电，还让整个区块链网络的运营成本大幅降低，让普通人用手机安全使用区块链变得更加现实可行。

一句话概括： 用“打包验证”代替“逐个验证”，让区块链轻客户端跑得更快、更省、更便宜。

论文技术总结：区块链轻客户端中可扩展数据可用性采样的多项式多证明（Polynomial Multiproofs）

1. 研究背景与问题定义

背景：
在可扩展的区块链系统中，轻客户端（Light Clients）对于验证数据可用性（Data Availability, DAS）至关重要，因为它们无需下载完整区块即可验证数据。现代 DAS 系统通常将区块数据进行擦除编码（Erasure Coding）生成“单元”（Cells），客户端随机采样部分单元，并通过密码学承诺（如 KZG 承诺）验证其存在性。

核心问题：
在基于 DAS 的轻客户端系统中，现有的主流部署模式为每个采样的单元（Cell）关联一个独立的 Kate-Zaverucha-Goldberg (KZG) 证明。这种“每单元一证明”（Per-cell）的模式带来了显著的累积开销：

带宽与存储开销：随着采样数量的增加，证明数据的传输和存储成本线性增长。
验证开销：轻客户端需要逐个验证大量独立的证明，消耗大量 CPU 和内存资源。
P2P 网络瓶颈：在基于分布式哈希表（DHT）的点对点网络中，细粒度的独立证明检索增加了网络对象的数量，降低了检索效率和缓存命中率。

2. 方法论：多项式多证明（PMP）

本文提出了一种**多项式多证明（Polynomial Multiproofs, PMP）**机制，旨在通过聚合多个采样点的验证来降低上述开销。

2.1 核心设计思路

聚合验证：不再为每个采样的单元生成独立的 KZG 证明，而是将多个采样的单元评估值聚合到一个共享的评估微域（Shared Evaluation Micro-domain, $T_g$ ）中，生成单个聚合证明。
微域分组：将行或列承诺上下文中的评估域划分为固定大小 $g$ 的微域。每个聚合证明对应一个完整的微域 $T_g$ ，而非任意子集。
P2P 层优化：在 DHT 中存储和检索的是包含多个标量值和单个聚合证明的“分组对象”（Grouped Objects），而非独立的单元 - 证明对。

2.2 技术实现细节

构造原理：基于 Boneh 等人提出的多项式承诺聚合方案。证明者计算加权多项式之和，除以微域的消失多项式 $Z_{T_g}$ ，生成单个证明。
验证过程：验证者不再对每个点进行单独配对检查，而是验证一个聚合的配对方程。由于所有打开的点都在同一个微域 $T_g$ 上，验证者可以利用这一特性简化计算（例如，无需对每个点进行插值）。
非交互式挑战：利用 Fiat-Shamir 变换，将验证挑战 $\gamma$ 绑定到承诺上下文、微域 $T_g$ 、分组元数据（GCellBlock）和 SRS 标识符上，防止重放攻击并确保证明与特定分组布局的绑定。
数据结构：定义了两种核心结构：
- GCellBlock：标识编码块覆盖的区域（行/列起止索引）。
- MCell：包含聚合证明、覆盖区域元数据以及传输的标量值向量。

2.3 安全性与权衡

安全性：聚合不会削弱 DAS 的安全性。轻客户端仍然独立地推理采样的坐标。通过保守的声纳性（Soundness）计算，如果组大小为 $g$ ，为了保持相同的安全级别，可能需要采样 $g$ 倍数量的坐标（或确保采样到足够多的不同组）。
隐私权衡：分组检索可能会暴露客户端对邻近坐标的兴趣，降低了坐标检索的不可链接性（Unlinkability）。
网络权衡：分组对象可能增加检索失败的相关性（即一个组丢失可能导致多个采样点丢失），但通过增加冗余和分组大小可以缓解。

3. 主要贡献

瓶颈识别与模型设计：识别出 P2P 环境下每单元 KZG 证明是 DAS 轻客户端的瓶颈，并设计了针对分组采样单元的多证明检索与验证模型。
全链路实现路径：明确了从全节点证明生成、胖客户端（Fat Client）DHT 发布到轻客户端验证的完整实施路径。
实证评估：在 Avail 模块化数据可用性层中实现了该设计，并进行了详细的性能评估，量化了开销降低幅度。

4. 实验结果

研究在 Avail 系统中进行了实验，对比了四种配置：Vanilla（独立证明）、Batched（批量验证独立证明）、Grouped Only（仅分组检索）、PMP（分组 + 聚合证明）。

4.1 验证器资源消耗

CPU 使用率：在 1000 次验证批次中，PMP 方案将验证器 CPU 消耗降低了约 45%（从基准的 110 单位降至 60 单位）。
内存占用：峰值内存使用从 1.2 GB 降至 0.7 GB（降低约 42%）。

4.2 网络行为与 DHT 性能

DHT 命中率：
- 在小负载（1 KB）下，命中率从 Vanilla 的 78% 提升至 PMP 的 100%。
- 在大负载（1.5–2 MB）下，命中率从 12% 激增至 98%。
- 这表明分组和聚合显著改善了数据在 P2P 网络中的局部性和检索效率。
吞吐量：PMP 配置下的 DHT 写入速率（Put rates）随负载增加表现更优。

4.3 基础设施成本

服务节点需求：为了满足 250ms 的延迟 SLO，在 1 KB 负载场景下，所需的胖客户端（Fat Client）数量从 40 个减少到 10 个（减少 75%）。
单节点容量：在 2 MB 块大小下，单个胖客户端的服务容量从 16 B/fat 提升至 80 B/fat（提升 5 倍）。
总体成本：综合计算资源、存储和网络开销，基础设施部署成本降低了 高达 45%。

5. 意义与结论

技术意义：

系统级优化：本文不仅关注密码学原语，更关注其在 P2P 网络栈中的系统集成。它证明了通过改变数据传输单元（从独立证明到聚合证明），可以显著降低轻客户端的验证成本和网络基础设施压力。
可扩展性提升：PMP 方案使得轻客户端在移动设备、浏览器等资源受限环境中运行大规模 DAS 系统成为可能，解决了带宽和计算瓶颈。
互补性：该工作与 PANDAS 等改进传播基底的方案互补，专注于认证数据路径内的证明摊销和检索局部性优化。

结论：
多项式多证明（PMP）是一种高效、安全的机制，能够显著降低区块链轻客户端在数据可用性采样中的证明传输、存储和验证开销。通过在 Avail 中的成功实施和评估，证明了其在降低 CPU/内存消耗、提高网络检索成功率以及减少基础设施成本方面的巨大潜力，为下一代可扩展区块链轻客户端的设计提供了重要的工程参考。