$WAL #Walrus @Walrus 🦭/acc
核心参考: Walrus Whitepaper v2.0 (Section 3.3 - Handling Metadata)

引言:如何证明“我有一滴水属于这片海”?

当 Walrus 把文件切成成千上万个碎片时,如何证明某个碎片确实属于原文件,而且没有被篡改?
普通的哈希列表太大了,存不下。Walrus 使用了 Vector Commitments(向量承诺)

一、 压缩证明

白皮书 Section 3.3 描述了元数据的处理方式:

"For each sliver... the commitment commits to all symbols in the expanded row... The client creates a commitment over the list of these sliver commitments."

向量承诺允许我们将巨大的数据集压缩成一个极短的“承诺值”。当需要验证某个数据块时,只需要提供一个很小的“证明(Opening)”。

二、 验证的高效性

这种机制让存储节点可以向任何人(包括轻节点)证明它持有的数据是真实的,而无需传输整个文件。

"Nodes can later... prove that the symbol they return is the symbol originally written."

这是 Walrus 能够支持 轻节点采样 和 反作弊挑战 的数学基础。

三、 意义

向量承诺是密码学皇冠上的明珠之一。Walrus 将其大规模应用,解决了分布式存储中“验证成本高”的难题,实现了安全与效率的完美平衡。