[论文解读] Fraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities

Mustafa Al-Bassam, Alberto Sonnino+1 more|arXiv (Cornell University)|Sep 24, 2018

Blockchain Technology Applications and Security参考文献 25被引用 29

一句话总结

本文提出了一种新颖的欺诈检测与数据可用性证明系统，使轻客户端在存在恶意多数的区块链中也能实现接近全节点的安全性。通过结合概率性数据可用性采样与诚实全节点生成的欺诈证明，该系统消除了对诚实多数的假设，显著提升了分片化或高吞吐量区块链系统的可扩展性与安全性。

ABSTRACT

Light clients, also known as Simple Payment Verification (SPV) clients, are nodes which only download a small portion of the data in a blockchain, and use indirect means to verify that a given chain is valid. Typically, instead of validating block data, they assume that the chain favoured by the blockchain's consensus algorithm only contains valid blocks, and that the majority of block producers are honest. By allowing such clients to receive fraud proofs generated by fully validating nodes that show that a block violates the protocol rules, and combining this with probabilistic sampling techniques to verify that all of the data in a block actually is available to be downloaded, we can eliminate the honest-majority assumption, and instead make much weaker assumptions about a minimum number of honest nodes that rebroadcast data. Fraud and data availability proofs are key to enabling on-chain scaling of blockchains (e.g. via sharding or bigger blocks) while maintaining a strong assurance that on-chain data is available and valid. We present, implement, and evaluate a novel fraud and data availability proof system.

研究动机与目标

• 解决在共识参与者多数可能为恶意的区块链中，轻客户端的安全局限性问题。
• 通过使轻客户端能够验证诚实全节点生成的欺诈证明，消除对区块有效性的诚实多数假设。
• 通过概率采样与纠错编码确保数据可用性，仅需最少数量的诚实轻客户端即可重建缺失数据。
• 支持可扩展的区块链设计（如分片），其中单个节点无需验证全部数据。
• 提供一个完整且可实现的框架，整合欺诈证明与数据可用性证明，以支持实际部署。

提出的方法

• 使用纠错编码将区块数据编码为数据份额，通过概率采样实现高置信度的数据可用性验证。
• 实现一种欺诈证明系统，由诚实全节点生成恶意区块无效性的证明，轻客户端可验证该证明。
• 将编码数据的Merkle根作为熵源，用于选择多维Reed-Solomon码中的随机行，以支持局部解码。
• 设计一种接近性证明机制，使轻客户端能通过少量采样点的概率性验证数据正确性。
• 将欺诈证明与数据可用性证明集成，确保链上数据的正确性与可用性。
• 使用快速傅里叶变换在O(n log n)时间内高效构建纠错码，支持大规模区块链的实际部署。

实验结果

研究问题

• RQ1 在存在恶意多数的情况下，轻客户端能否实现接近全节点的安全保障？
• RQ2 如何仅通过概率采样与密码学证明，无需完整下载即可验证数据可用性？
• RQ3 能否使用单一通用欺诈证明机制替代多个针对特定场景的区块无效性证明？
• RQ4 在轻客户端模型中，维持安全所需的诚实节点最小假设是什么？
• RQ5 如何优化欺诈与可用性证明的效率与可扩展性，以适配分片化区块链系统？

主要发现

• 所提出的系统使轻客户端能够通过欺诈证明检测无效区块，即使区块生成者多数为恶意，只要存在至少一个诚实全节点即可。
• 通过纠错编码份额的概率采样确保数据可用性，安全保证基于参与重建的诚实轻客户端数量。
• 多维Reed-Solomon码的使用实现了高效的局部解码与接近性证明验证，降低了对昂贵计算的依赖。
• 通过快速傅里叶变换实现O(n log n)时间复杂度的纠错码构建，使其适用于大规模区块链系统。
• 该方案通过消除轻客户端对完整数据可用性检查的需求，降低了带宽与存储开销，同时保持强安全性。
• 该框架与分片兼容，通过确保轻客户端能够检测并拒绝无效或不可用的数据，支持链上可扩展性。