档案存储证明 (PoAS) 共识
简而言之,档案存储证明 (PoAS) 共识是对 Nakamoto 最长链协议的改编,其中工作量证明 (PoW) 难题被复制证明 (PoRep) 取代。
在PoAS中,PoR的输入数据是区块链本身的历史(即过去的区块)。
PoAS共识旨在解决容量证明(PoC)区块链的一个非常具体的问题的一部分,即农民的困境,如子空间技术白皮书 5.
“农民必须决定是分配稀缺的存储资源来维持链状态和历史,还是最大限度地利用他们承诺达成共识的空间。理性的农民总是会选择后者,充其量是成为轻客户,而最坏的情况是鼓励在少数值得信赖的经营者下进行集中农业。
术语
我们只对中本聪共识(最长链)协议感兴趣。我们抽象地将这些协议视为黑匣子协议,其中包括一些抗女巫(资源受限)的加密难题,这些难题可以以可以建模为泊松到达过程的方式进行采样、审计或挑战。示例谜题包括 PoW(计算)、PoS(资本)和 PoC(存储)。
我们使用容量证明作为一个抽象的总称,捕获存储、空间、复制、可检索性和时空的证明。我们将它们视为可用于构建或实现特定 PoC 共识协议的原语。我们大致将 PoC 分为两类,大致如下:
- proofs-of-(useless)-space,
其中存储的数据是随机生成的(Burst 1, Spacemint 4, Chia 1, Spacemesh); - proofs-of-(useful )-storage,
其中存储在磁盘上的数据是有意义的真实世界数据(Filecoin 2, Subspace 5).
关于存储证明,我们大致遵循Ben Fisch 的 PoReps 论文 1.具体来说,复制证明是一种有用的存储证明,它由空间证明 (PoSpace) 和可检索性证明 (PoRet) 组成,更正式地定义为可检索承诺证明 (PoRC)。
为了使任何 PoRep 安全,转换后的数据必须与随机数据无法区分,这是通过空间证明实现的。公共不可压缩编码(PIE)也表达了类似的想法,因为根据定义,真正的随机数据在信息理论上是不可压缩的。
使用这个框架,我们将通用 PoAS 定义为:
- 中本聪(最长链)共识协议
- 利用 PoC 资源难题实现空间束缚女巫抵抗
- 空间反映一些有用的存储 (PoRep)
- 而被复制的具体数据是区块链的存档历史