总参加人数有几多？

对付很多区块链应用来说，免信任性 都是最重要的特征之一。所谓的免信任性，就是应用的正常事情不以特定参加者按特定方法行事为前提，纵然他们未来会在好处的差遣下做出料想之外的流动（也不能使应用的事情状况离开预期）。区块链应用永远不行能实现完全免信任，可是有一些应用在免信任水平上远远高于另一些项目。假如我们想要朝着信任最小化迈出坚硬的步骤，就得先分辨出信任水平的坎坷。

尤其要留意的是，纵然是你正在运行的软件，其正确性凡是也取决于 “少少数 : N” 信任模子，以此确保软件代码呈现 bug 时，会有人实时发明。在相识这一事实后，你就会发明，尽力从 “1 : N” 模子转向 “0 : N” 模子如同为敞开窗户的屋子安装防盗门。

此刻，先让我们聚焦于前两个问题。通过下图，我们可以越发直观地看出：

Channel 类（包罗状态通道、闪电网络等）：利用 “1 : 1” 信任模子来确保活性（你的生意业务敌手可以临时冻结你的资金，不外你可以将资金分手到多个通道中，从而减轻负面影响），“N/2 : big N” 模子来确保安详性（进攻者可以通过 51% 进攻来偷走你的资金）。

另一个重要的区别在于，假如你的信任假设被冲破，，对系统的粉碎有多大？在区块链上，最常见的两种妨碍范例是活性妨碍（liveness failure） 和 安详性妨碍（safety failure）。活性妨碍就是你临时无法举办操纵（譬喻，提币、将生意业务打包进区块、读取链上数据）。安详性妨碍就是呈现了系统想要防范的环境（譬喻，无效块被添加到区块链上）。

需要这些人出于什么念头如你预期的那样行事？需要他们是利他主义者，照旧唯利是图者？是否需要制止他们之间发生协同？

为了阐明区块链协议，我会将信任拆解成四个维度：

N : N：“反乌托邦” 世界。系统中的所有参加者都要如你预期的那样行事，系统才气正常运行，假如有任意参加者失败，那也没有备份方案。

ZK rollup（轻取款加强型）：不存在活性妨碍风险和安详性妨碍风险。

N/2 : N：这是区块链的运作方法 —— 假如大部门矿工（或 PoS 验证者）是厚道的，区块链就能正常运作。要留意的是，N 越大，N/2 就越有代价。对比只由少量矿工/验证者节制的区块链，矿工/验证者遍及漫衍的网络有趣得多。尽量如此，我们依然想要得到更高的安详性，因为尚有 51% 进攻的问题存在。

0 : N：系统无需依赖外部参加者即可正常运行。自我验证区块有效性就属于这一类。

1 : 1：整个系统只有一个参加者。假如这名参加者确实如你预期的那样行事，系统就会正常运行。这就是传统的 “中心化” 模子，也是我们所要逾越的模子。

ZK rollup：利用 “1 ：small N” 模子来确保活性（假如运营者未能打包你的生意业务，你可以取回你的资金，假如运营者没有当即打包你的取款生意业务，就无法打包更多生意业务，你可以在 rollup 系统中任何一个全节点的辅佐下自行提款。）；不存在安详性妨碍风险。

假如这些假设被冲破了，对系统的粉碎有多大？

Plasma（回收半中心化运营方，如 DPOS）：利用 “N/2 : small N” 模子来确保活性，“N/2 : big N” 模子来确保安详性。

少少数 : N：在浩瀚参加者中，只要有到达牢靠人数的小部门参加者如你预期的那样行事，整个系统就能正常运行。数据可用性查抄（data availability check）就属于这一类。

你需要几多人如你预期的那样行事？

尽量除 “0 : N” 之外的模子都是成立在 “信任” 基本上的，可是这些模子之间存在庞大差别！相信某个特定的人（组织）会如你所预期的那样行事，和相信任何一小我私家城市如你所预期的那样行事，二者之间有着天壤之别。对比 “N/2 : N” 和 “1 : 1”，“1 : N” 与 “0 : N” 更为靠近。或者有人会以为 “1 : N” 模子与 “1 : 1” 模子很像，因为这两种系统都依赖一名参加者，但实际上它们之间迥然差异：在 “1 : N” 系统中，假如这名参加者消失或作恶，换一名参加者即可；假如是 “1 : 1” 系统，你就只能束手无策。

Vitalik：信任就是对其他人行为的假设

结论：假如你听到有人说某个系统 “依赖于信任”，必然要问清楚！这个系统是 “1 : 1” 模子、“1 : N” 模子照旧 “N/2 : N” 模子？这个系统需要参加者是利他主义照旧理性主义？假如是利他主义，参加者需要支付多大价钱？假如假设被冲破，那么你需要期待多久才气取回本身的资金？几个小时？几天？照旧永远无法取回？搞清楚了这些问题，你才气抉择要不要利用这个系统。

绿色越深暗示越康健。让我们具体阐明以下几种环境：

假如我们增加一种方法来付出处事费，那么辅佐他人从 ZK rollup 上取款的行为就是理性的，因此没须要担忧无法退出 rollup 的问题。与此同时，假如整个社区都同意 不接管通过 51% 进攻建设的区块链（将生意业务汗青回滚到好久之前，或审查好久之前的区块），就可以减轻其它系统的风险。

Optimistic rollup：利用 “1 : 1” 或 “N/2 : small N” 模子来确保活性（取决于运营者的范例），“N/2 : big N” 模子来确保安详性。

1 : N：在浩瀚参加者中，只要有一名参加者如你预期的那样行事，整个系统就能正常运行。任何基于欺诈证明的系统都属于这一类。可信配置也是如此，不外在可信配置中，N 凡是较小。要留意的是，N 越大越好！

原文链接: https://vitalik.ca/general/2020/08/20/trust.html

Plasma（回收中心化运营方）：利用 “1 : 1” 模子来确保活性（运营者可以姑且冻结你的资金），“N/2 : big N” 模子来确保安详性（进攻者可以通过 51% 进攻来偷走你的资金）。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。