档案存储证明(PoAS) 共识保持了 中本聪 共识的诚实多数假设和无许可特性,同时没有巨量电力成本来挖矿。
解耦执行使得耕作/种收(farming)轻量化,并对”集合化“产生抗性,而农夫/种收者存储网络,则允许区块链大量“扩展”,但不会中心化。
区块解耦和数据可用性采样可实现纵向扩展,而我们独特的共识和计算分离可实现横向扩展,但操作员的开销为对数(n) 。
区块链三难困境 是一个由 Vitalik Buterin 创造的术语,用来描述创建一个安全、可扩展和去中心化区块链的挑战。 他认为,区块链在实践中只能达到三个特征中的两个。
安全 意味着为了保持安全和活跃度,必须要有超过50%的节点在运行。(假设大多数节点是诚实的)。
去中心化 这意味着要保持足够低的计算、存储和网络资源(门槛),使任何人都能在他们的笔记本电脑上运行一个节点。
可扩展性 意味着随着更多的用户加入网络和其计算机硬件的改善,交易吞吐量应该增加。
工作量证明(PoW) 或 "一个CPU一票" 是简单、安全和无许可的,但它的电力成本很高,不具备环境的可持续性,并导致中心化或池化(集合化)采矿。
权益证明 (PoS)或 "一币一票" 采用基于个人财富的虚拟采矿系统。 虽然生态友好,但PoS并不公平也不是无许可的,只是让富人更富的系统。
容量证明(PoC) 或 "一磁盘一票" 用存储密集的种收取代采矿。 理论上,PoC是安全、生态友好和公平的,但实际上大多数设计都转回PoW或PoS模型。
开始时,农民会在空闲磁盘空间中写入数千个(1MiB)小片段,这些片段按 1GiB 的扇区分组。每个片段都根据Chia Proof-of-Space 的定制实现,屏蔽了内存带宽约束。与 Chia 不同的是,"绘图 "不会用随机数据填充固态硬盘,而是为每个农户创建唯一的部分历史副本。与 Filecoin 不同的是,农户无需按照磁盘空间的比例投入硬币。
根据c-Nakamoto PoS,我们从区块链历史本身构建了一个安全的随机性信标。在每个时隙,所有农民都会部分扫描他们的地块,寻找与挑战足够接近的 32B 块,以满足难度设置。然后,他们可以编译该块,承诺证明它是链历史的一部分,并将相应的证明空间编译成一个 复制证明(PoR) 并生成链中的下一个区块。然后,任何人都可以通过执行 64 次哈希值和 2 次 KZG 验证来廉价验证该证明。这使得农业在所需的存储和计算开销方面保持恒定和轻量级。
为防止模拟攻击,区块链历史中的熵会在多个连续的时隙中重复使用。为防止研磨攻击,我们将 PoR 从区块内容中分离出来,同时将随机性完全建立在 PoR 的基础上。为防止压缩攻击,我们要求农户提交整个编码以生成区块,并使解压缩在时隙时间内与绘图一样不可行。为防止远距离攻击、贿赂攻击和时空权衡攻击,我们采用了 基于 AES-128 的简单 时间证明 (PoT)。有关正式的安全分析,请阅读我们的研究论文。
农夫/种收者可以选择:到底是用他们的存储去要么 a)保留链的状态和历史或 b)最大限度地扩大他们的绘图规模和投资回报。
随着链长度的增加,农夫/种收者总是会选择后者,大不了变为轻客户端。 最糟糕的情况是,选择加入一个由受信任的运营方管理的种收池。
如果没有人存储历史记录,节点只能从中心化的供应方进行同步。 如果没有人维持状态,我们就必须依靠受信赖的第三方取得余额。
为了激励农民保留历史,我们将空间证明共识扩展为 存储证明区块链本身的历史。在存证共识(PoAS)下,每个农民在磁盘空间允许的范围内存储尽可能多的可证明唯一的区块链历史片段。农户存储的历史片段越多,就越有可能被选为产生新区块的农户。为确保农户存储尽可能多的唯一片段,我们对每个农户可以存储的片段执行了与其身份相关的规则。如果身份发生变化,则需要重新绘制,以防止 "西比尔"(Sybil)攻击。
农户集体存储历史记录,形成一个分布式存储网络 (DSN),确保历史记录随时可供下载。
为了防止历史记录丢失,在源数据和奇偶校验数据中都对数据块进行了擦除编码。
为了提供适当的负载平衡和一致的复制,每个农户都将最接近其 ID 的未编码数据块存储在热缓存中,占用的存储空间低于承诺存储空间的 1%。
为了实现高效检索,节点会首先从农夫的热缓存中请求数据块。只有在极少数缓存缺失的情况下,才会要求农户从其小区冷库中解码碎片。利用归档协议和 DSN 的特性,我们建立了一种独特的链同步机制,该机制基于提取碎片并在本地重建链。这使得 Subspace 节点只能存储最近的区块,并清除已归档的历史记录,从而使全节点的内存需求保持不变,无论链条有多长。
扩展吞吐量的一种方法是增加块的大小。 但这会导致更长的传播时间和更高的诚实分叉率,从而降低安全性。
另一种缩小规模的方法是用多链或分片,但现有的设计对于一个适应性强,以单一分片为目标的攻击方来说是不安全的。
这两种方法都会导致链上状态和历史快速增长,区块链在少数强大节点下变得臃肿和中心化。
子空间采用 Prism 可扩展性提案 不降低安全性实现高吞吐量处理交易 。 当与 数据可用采样 和 超轻客户端 结合使用时,耕作/种收(farming)可以保持低带宽和去中心化。
通过采用虚拟信标链,我们消除了单一主链的瓶颈,最多可支持 2^16 个分块。根据Free2Shard 的设计,农场主可以在每个区块中轮换分块,而操作员则可以根据自己的选择在多个不同的分块上投注。
子空间扩展了用于 PoC 共识的太极快速确认协议,使农民能够在三个区块内实现近乎确定性的最终性,将新交易的确认延迟从几分钟缩短到几秒钟,而无需依赖操作员。
未来是多链的,用户偏爱AMM而不是中心化交易所。子空间提供了连接众多链所需的layer1扩展性,同时允许进行去信任化、低延迟和高吞吐量的资产交换。
由于历史的成长可能远远超出任何一个农夫/种收者的存储能力,但依然可以有效定价。 子空间独有地够提供廉价、永久的 dApp 存储,同时仍然可以将数据提供到一个全局执行层。
通过将执行和存储解耦,然后分别进行扩展,Subspace允许更广泛的layer2结构,限制仅来自协议设计者的想象力。