Vitalik对“信任模型”的思考

许多区块链应用程序最有价值的属性之一就是去信任：应用程序能够以预期的方式继续操作，而不需要依赖特定的参与者以特定的方式进行操作。

即使他们的利益可能会改变，并推动他们在未来以一些不同的意想不到的方式行事。

区块链应用程序从来不是完全去信任的，但是有些应用程序比其他应用程序更接近去信任。如果我们想使信任最小化变成现实，我们需要有能力去比较不同程度的信任。

首先，我对信任的简单一句话的定义：信任是对他人行为的任何假设的使用。

当我们运行一段别人写的代码，是我们相信他们诚实的写了代码，或者至少存在足够多的人检查了这段代码。

为了分析区块链协议，我倾向于将信任分为四个维度：

我们需要多少人按照我们的期望行事？

ZK-EVM Kakarot完成pre-seed轮融资，Vitalik、StarkWare等参投:6月2日消息，zkEVM 开发平台 Kakarot 完成Pre-Seed 轮融资，StarkWare、LambdaClass 和天使投资人 Vitalik、Nicolas Bacca、Rand Hindi 等参投。

Kakarot zkEVM 是 Cairo 实施的 EVM，利用 STARK 证明来证明交易和区块，确保透明度和安全性。据介绍，Kakarot zkEVM 发展分为三个阶段：1、作为 EVM 存在于 Starknet L2 上；2、和 Starknet 定序器 Madara 合力创建第 3 层 zkEVM；3、Kakarot 和 Madara 组合启用类型 1 zkEVM。[2023/6/2 11:54:47]

其中的多少个?

以太坊公益组织 Nomic 基金会获 Vitalik 等捐赠1500万美元:2月12日消息，以太坊公益组织Nomic基金会于2月9日宣布正式成立，专注于改进和扩展以太坊的开发者平台，同时接管 Hardhat 和 Nomic Labs 的其他开放工程项目和相关团队，未来将继续扩展 Hardhat 工具套件。Hardhat是一个编译、部署、测试和调试以太坊应用的开发环境。

据介绍，以太坊基金会、Vitalik Buterin、Coinbase、Consensys、The Graph、Polygon、Chainlink、Gnosis、a16z、a_capital 和 Kaszek Ventures 已经向该组织捐赠 1500 万美元，其中以太坊基金会捐赠 800 万美元。接下来，该组织还将向几个 DAO 提交资金提案，以达到 3000 万美元的总资金。[2022/2/12 9:47:48]

这些人的行为需要什么样的动机?他们需要利他主义，还是仅仅追求利益?

Vitalik Buterin：已向阿桑奇的AssangeDAO捐款:2月7日消息，AssangeDAO是一个以维基解密创始人阿桑奇命名的去中心化自治组织，该组织宣称将筹集资金，帮助阿桑奇支付法律费用，并开展活动，提高公众对司法系统系统性故障的认识。据以太坊生态去中心化基础设施Gnosis联合创始人Martin K?ppelmann在推特透露，他已经向AssangeDAO捐赠了10 ETH，而以太坊联合创始人Vitalik Buterin回应道，「我也捐赠了」。不过，目前尚不清楚Vitalik Buterin的具体捐赠金额。现阶段，AssangeDAO 通过 JuiceBox 平台的第一轮融资已于北京时间 2 月 7 日 6 时 32 分结束，目前共筹集了12630个ETH，超过了ConstitutionDAO（People）筹集的11613枚ETH，第二轮融资将于北京时间2月9日6时32分结束。[2022/2/8 9:36:31]

如果违背这些假设，系统会有多糟糕?

OKEx将于今日19时开放VITE充提:据官方公告，OKEx已完成VITE主网升级，将于2020年9月3日19:00开放VITE充提。[2020/9/3]

现在，让我们关注前两个。我们可以画一个图：

越绿越好。让我们更详细地探讨这些类别：

1-of-1：只有一个参与者，当(且仅当)一个参与者执行我们所期望的操作时，系统才会工作。这是传统的“中心化”模式，也是我们努力做得更好的地方。

声音 | Kavita Gupta：风投在加密货币领域的投资方式发生了变化:ConsenSys Ventures创始执行合伙人Kavita Gupta在最近接受采访时表示，风投在加密货币领域的投资方式发生了变化。风投开始适应新的模式，加密货币投资比较独特，其流动性、持续性、风险特征、波动性等因素都与传统的长线投资基金有很大不同。区块链投资者的构成在不断变化，企业家画像也在变化。在这一领域担任CEO的人士从大部分是年期的技术专家变成了很多是经验丰富的工程师和连续创业者。产品的愿景、路线图，尤其是接纳的理由和友好的用户界面已成为了讨论主题之一。一些大型风投公司正在成立加密货币领域专用基金，使世界更加接近Web 2.0和Web 3.0，并验证这一领域的许多早期技术，而这些技术在一年前还看起来可能是不现实的。”[2019/1/30]

N-of-N：“反乌托邦”世界。我们依赖于一大堆参与者，所有参与者都需要按照预期的方式工作，以便使一切正常运行，如果其中有任何一个失败，则没有兜底。

N/2-of-N：这就是区块链的工作方式——如果大多数矿工(或PoS验证者)是诚实的，它们就会工作。注意N/2-of-N的值会随着N的增大而变大；一个由少数矿工/验证者控制其网络的区块链比一个由广泛分布的矿工/验证者控制的区块链有趣得多。也就是说，我们想要提高这一级别的安全，就需要担心如何在51%攻击中幸存下来。

1-of-N：存在许多参与者，只要其中至少有一个人按照我们的期望行事，系统就会正常运行。任何基于欺诈证明的系统都属于这一类，可信设置也是如此，尽管在这种情况下，N通常更小。请注意，我们确实希望N尽可能大!

N中的少数：有很多参与者，只要他们中至少有一小部分人按照我们的期望去做，系统就会正常工作。数据可用性检查属于这一类。

0-of-N：系统按照预期工作，不依赖任何外部参与者。通过自己检查来验证一个区块就属于这一类。

上面这些类别彼此之间是非常不同的。

相信某个特定的人(或组织)会按照预期的方式工作，与相信某个地方的某个人会按我们的期望去做是非常不同的。

1-of-N可以说更接近于0-of-N，而不是N/2-of-N或1-of-1。1-of-N模型可能很像是1-of-1模型，但这两个非常不同：在1-of-N系统中，如果我们参与者此刻突然消失或变邪恶，我们可以切换到另一个，而在1-of-1系统就完蛋了。

特别要注意的是，就算正在运行的软件的正确性是依赖于“N中的少数”这个信任模型，也要去确保代码中是否有会被别人找出的bug。

另一个重要的区别是：如果我们的信任假设被违背了，系统将如何失败？在区块链中，两种最常见的故障类型是活性故障和安全故障。

活性故障是指我们暂时无法做我们想做的事情。例如，提币，获得包含在区块中的交易，从区块链读取信息。

安全故障是指系统本想要阻止但却主动发生了的事件。例如，无效区块被包含在区块链中。

下面是几个区块链L2协议的信任模型示例。我用“小N”表示第二层系统本身的参与者集合，用“大N”表示区块链的参与者；通常假设第2层协议的社区比区块链本身更小。

我还将“活性故障”一词的使用限制在币被长时间卡住的情况；不再能够使用系统，但能够近乎即时地提币并不算活性故障。

Channels(包括statechannels，闪电网络)：活性方面是1-of-1的信任模式。

Plasma：活性方面是1-of-1的信任模式(运营商可以暂时冻结我们的资金)，安全方面是N/2-of-大N的信任模式(区块链51%攻击)。

Plasma：活性方面是N/2-of-小N的信任模式，N/2-of-大N的信任模式。

Optimisticrollup：活性方面是1-of-1或N/2-of-小N的信任模式，N/2-of-大N的信任模式。

ZKrollup：活性方面是1-of-小N的信任模式(如果运营商没有包含我们的交易，我们也可以提现，如果运营商没有立即包含我们的提现，他们不能生产更多批次，我们可以借助rollup系统的任何全节点自行提现)；无安全故障风险。

ZKrollup(具有light-withdrawalenhancement功能)：无活性故障风险，无安全故障风险。

最后，还有激励的问题：我们所信任的参与者需要非常利他才能像预期那样行事，但是是稍微利他一点，还是需要足够理性？

如果我们添加一种小额支付的方式，那么帮助他人从ZKrollup中提款是合理的，因此，真的没有理由担心我们无法在任何重要的使用中退出rollup。

与此同时，如果我们作为一个社区同意不接受51%的攻击链，那么可以减轻其他系统的风险。

总结

当有人说一个系统“依赖于信任”时，需要更详细地问他们是什么意思!是指1-of-1，还是1-of-N，还是N/2-of-N??他们要求这些参与者是无私的还是理性的?如果是利他主义，到底是小花费还是一个巨大花费?

如果这个假设被违背了——我们是只需要等几个小时或几天，还是我们的资产会永远被卡住了？根据不同的答案，我们自己是否想要使用该系统的答案可能会非常不同。

Source：https://hackernoon.com/do-trust-models-deserve-their-title

标签：区块链VITITAVITA区块链技术的特点TavittcoinTITA价格VITA价格

酷币下载热门资讯