编辑“空间证明（PoS）”（章节）

== 概念描述 ==
空间证明（Proof of Space, PoS）是一段数据，证明者（Prover）通过将其发送给验证者（Verifier），以证明其保留了一定量的存储空间。为了实用性，验证过程需要高效，即占用较少的空间和时间。而为了安全性，如果证明者实际上没有保留声称的空间，那么通过验证的难度应该很高。

一种实现空间证明的方法是使用难以铺石（hard-to-pebble）图。验证者要求证明者对一个难以铺石的图进行标记。证明者提交该标记，随后验证者要求证明者在提交的标记中打开几个随机位置以供验证。

=== 存储证明 ===
存储证明（Proof of Storage，又称可检索性证明或数据拥有证明）与空间证明相关，但不同之处在于，存储证明的证明者展示的是其实际使用空间正确存储了一段数据，而不是仅仅展示可用空间以解决某种难题。

=== 容量证明 ===
容量证明（Proof of Capacity, PoC）是一种允许矿工预先计算（“绘图”）PoW 函数并将其存储到硬盘驱动器（HDD）上的系统。容量证明的首次实现是 Signum（前称 Burstcoin）<ref>[https://tokens-economy.gitbook.io/consensus/chain-based-proof-of-capacity-space/proof-of-capacity-poc Proof of capacity (PoC)] | consensus</ref>。

=== 条件容量证明 ===
容量证明（PoC）共识算法被用于一些加密货币中，而条件容量证明（Conditional Proof of Capacity, CPOC）是 PoC 的改进版本。CPOC 包含工作量（Work）、权益（Stake）和容量（Capacity）系统，其运行方式类似于 PoW、PoS 和 PoC 算法。通过质押数字资产，用户可以获得更高的奖励收入。此外，CPOC 为顶级用户设计了一种新的奖励机制。在该算法中，矿工通过确保其绘图文件包含与上一区块相关的特定数据，为证明增加了条件组件。这一附加条件使得该共识机制在安全性和去中心化方面相比传统的容量证明算法更为出色。

=== 时空证明 ===
时空证明（Proof of Space-Time, PoST）是一种证明，表明证明者在一段时间内保持了其预留空间的不变性。其创造者认为，存储成本不仅与容量密切相关，也与使用该容量的时间密切相关。时空证明与存储证明有关（但不一定存储有用数据），而 Moran-Orlov 的设计允许空间和时间之间的权衡。时空证明的首次实现是通过 Chia 区块链完成的<ref>[https://eprint.iacr.org/2016/035.pdf Simple Proofs of Space-Time and Rational Proofs of Storage] Tal Moran Ilan Orlov</ref>。