注：原文作者是以太坊联合创始人VitalikButerin。
很多区块链应用最具价值的特征之一就是信任最小化：应用能够以预期的方式继续运行，而无需依赖特定参与者以特定的方式进行操作。区块链应用从来都不是完全无需信任的，但有些应用要比其它应用更接近于无需信任。如果我们朝着信任最小化的方向发展，那我们要能够比较不同程度的信任。
首先，我对信任的简单定义是：信任是对他人行为的任何假设的运用。如果在新冠大流行之前，你走在街上而没有确保与陌生人保持两米的距离，他们也不会突然掏出刀子来捅你，这是一种信任：双方都相信人们很少会完全精神错乱，相信管理法律体系的人会继续提供强有力的措施来反对这种行为。当你运行由他人编写的一段代码时，你可以相信他们诚实地编写了这段代码，或者至少是有足够的人检查该代码，并发现到漏洞。不亲自去种植自己的食物，也是一种信任的体现：你要相信足够多的人会意识到种植食物符合他们的利益，以便将其出售给你。你可以信任不同规模的人群，并且有不同种类的信任。
Electron Labs公开启动以太坊和NEAR间测试网桥Positron:金色财经报道，利用零知识轻客户端的跨链协议技术公司Electron Labs宣布正式公开启动Positron测试网，Positron是连接以太坊和NEAR区块链的测试网桥，允许用户在Goerli上存入Electron Demo Tokens（EDT）并在NEAR测试网上接收铸造的代币。Electron Labs此前从NEAR收到一笔赠款来利用ZK构建跨链桥，该协议使用链上轻客户端零知识来验证交易的有效性。[2023/2/3 11:45:04]
为了分析区块链协议，我倾向于将信任分成四个维度：
你需要多少人按照你的期望行事？
有多少人？
这些人的行为需要什么样的动机？他们是否需要利他主义，还是只是寻求利润？他们需要协调吗？
以太坊L2扩容解决方案Arbitrum链上交易量突破5000万笔:金色财经报道，据 Dune Analytics 数据显示，以太坊 Layer2 扩容解决方案 Arbitrum 链上交易量已突破5000万笔，本文撰写时达到5034.4万笔，链上锁定的ERC20数字资产总规模达到33.18亿美元。此外，Arbitrum当前跨链桥接存储总价值已达到1,929,938枚 ETH，按照当前 ETH 价格计算超过 30亿美元。[2022/10/31 11:59:59]
如果违反这些假设，系统的失败程度会有多严重？
现在，让我们专注于前两个，我们可以画一张图：
Pax Treasury在以太坊网络增发近979万枚BUSD:据whale alert数据，北京时间10月4日05:40，Pax Treasury在以太坊网络增发9,788,479枚BUSD，交易哈希为0xa43f296fb2e76d11dd83e9918d805456bed4226c933910d532ce283e8580f292。[2020/10/4]
图中的颜色越绿，就代表越好。让我们更详细地探讨信任类别：
1of1：只有一名参与者，并且系统仅当该参与者按照你的期望行事时才能正常工作。这是传统的“中心化”模型，而这也是我们希望去尝试替换的。
NofN：“反乌托邦”世界，你需要依靠一大堆参与者，并且所有参与者都需要按照预期的方式工作，才能使所有工作正常进行，而如果其中任何一个失败，便意味着没有后备人员。
动态 | 以太坊未确认交易21420笔:据Etherscan.io数据显示，当前以太坊未确认交易为21420，未确认笔数相较此前略有下降，自3月1日以太坊君士坦丁堡硬分叉完成后，网络拥堵情况持续改善。[2019/3/3]
N/2ofN：这就是区块链的工作方式，如果大多数矿工是诚实的，那么区块链便会工作。注意，N越大，N的N/2就变得越有价值。与拥有广泛分布的矿工/验证者的区块链相比，具有少量矿工/验证者主导网络的区块链就没有那么有趣。也就是说，我们甚至希望提高这种安全级别，以抵御潜在的51%攻击。
1ofN:参与者有很多，只要其中至少有一个按照你的期望运作，则系统就会正常工作。任何基于欺诈证明的系统都属于这一类，可信设置也是如此，尽管在这种情况下，N通常更小。请注意，你确实希望N尽可能地大！
行情 | 以太坊网络未确认交易笔数持续下降:根据公开数据显示，目前以太坊的网络平均未确认交易笔数为10935笔，较昨日26587笔，有较大幅度的减少，近几日以太坊网络未确认交易笔数持续下降，当前网络相对流畅。[2018/7/30]
FewofN：参与者有很多，而只要他们当中至少有一小部分固定数量的参与者按照你的期望运作，则系统就会正常工作。数据可用性检查就属于这一类。
0ofN：系统始终会按预期工作，其不依赖任何外部参与者。通过自行检查来验证区块就属于此类。
除了"0ofN"之外的所有类别模型，实际上都可以被视为“信任”，但它们彼此之间有很大的不同。信任一个特定的人将按预期工作，与信任任何地方的某个人按你期望的那样大不相同。可以说，"1ofN"要比"N/2ofN"或者"1of1"更接近于"0ofN"。而“1-of-N”的模型可能会让人感觉像是“1of1”模型，因为这好像你是在信任一个单一的参与者，但两者的实际情况却大不相同：在“1-of-N”模型中。如果你正在与之合作的参与者消失了或者变坏了，你可以切换到另一个参与者，而在"1of1"模型系统中，遇到这种情况就意味着系统完蛋了。
特别要注意的是，即使是你正在运行的软件的正确性，也通常取决于一个"fewofN"信任模型，以确保如果代码中存在错误，就会有人找到它们并给予修正。
另一个重要的区别是：如果你的信任假设被破坏了，系统将会如何失败？在区块链中，两种最常见的失效类型分别是活性失败和安全性失败。所谓活性失败是指你暂时无法做你想做的事情。而安全性失败是指系统要主动防止的某些活动发生了。
以下是一些区块链Layer2协议的信任模型示例。其中“小N”指的是Layer2系统本身的参与者集合，而“大N”是指区块链的参与者，并且我假设Layer2协议的社区总是比主链本身要小。我还将“活性失败”一词的使用，限制在币被卡住很长时间的情况下。而不再能够使用该系统，但能够几乎立刻取出并不算是活性失败。
通道：活性信任属于“1of1”模型，安全性信任属于“N/2of大N”模型；
Plasma：活性信任属于“1of1”模型，安全性信任属于“N/2of大N”模型；
Plasma：活性信任属于“N/2of小N”模型，安全性信任属于“N/2of大N”模型；
Optimisticrollup：活性信任属于“1of1”或“N/2of小N”模型，安全性信任属于“N/2of大N”模型；
ZKrollup：活性信任属于“1of小N”模型，ZKrollup没有安全性失败风险；
ZKrollup：无活性失败风险，无安全性失败风险；
最后，还有一个关于激励的问题：你所信任的参与者，是否要非常利他主义才能按预期行事，或者只需要略微无私，还是足够理性？寻找欺诈证明“默认”有点利他主义，尽管它的利他主义程度取决于计算的复杂性（参见《
验证者的困境》一文），并且有多种方法可以修改游戏使其具有理性。
如果我们添加一种服务微支付方式，则协助他人退出ZKrollup总是合理的，因此，几乎没有理由去担心无法退出rollup系统的情况。同时，如果我们作为一个社区同意不接受51%攻击链，则这些攻击链在历史上要恢复得区块太多，或者审查区块的时间太长，则其他系统的更大风险就可得到缓解。
结论：当有人说一个系统“依赖于信任”，请更详细地询问他们的意思！他们是指的“1of1”，“1ofN”，还是“N/2ofN”？他们是要求这些参与者是利他主义者还是理性主义者？如果是利他主义，那会涉及一笔微不足道的开支，还是一笔巨大的开支？如果这个假设被违背了，你是需要等待几个小时或几天，还是你的资金会永远被卡住？根据答案的不同，你对是否要使用该系统的答案，可能会大不相同。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。