万字实录 | 张韧做客 Zero Knowledge 播客，畅聊共识协议安全性和 NC-Max 那些事

Zero Knowledge 是业内著名的专注于零知识证明的英文播客，深入探讨新兴 Web 3 技术，与正在构建它的社区成员们。该播客的听众为同行开发者和希望了解该区块链内部运作的人们。播客的创建者 Fredrik Harrysson 与 Anna Rose 表示，他们不投机，不多谈交易，更多专注于技术本身。

最近的播客邀请到了 Nervos 研究员张韧。 张韧和主持人一起聊了聊他在共识算法上的研究工作，并从 Ren 之前做的关于评估 PoW 共识协议安全性的研究开始，讨论到了他为 Nervos 设计的共识协议 NC-Max。 Nervos 中文社区为大家整理了播客的内容文稿，供小伙伴们查看。

文收录 | Kazafa

播客创建者 Anna： 共识的话题

播客创建者 Fredrik：

Ren：

我从 2014 年开始从事比特币和加密货币的研究，

Anna：

Ren：

Fredrik：

Ren：

Fredrik：

Ren：

Anna：

Ren：

比如要么你能证明在新的共识协议下，无论攻击者采取何种攻击策略，他都不能获得更多的利润或者造成更多的损失；要么你设法分析攻击者所有可能会采取的策略，无论该攻击者在某个策略空间内做什么，他都不能造成更多的损失。

Fredrik：

Ren：

Anna：

Ren： 统一平局协议（Uniform tie-breaking protocol） Rootstock FruitChains

马尔科夫决策过程（Markov Decision Process）

Anna：

Ren：

Anna：

Ren：

Anna：

Ren： 它的 Chain Quality 并不完美

Anna：

Ren：

Anna：

Ren：

「更好的链质量协议」

「抗攻击协议」

Fredrik：

Ren：

如果我总是在最新的一个区块哈希值最小的链上挖矿，那么所有诚实的矿工都会自然而然地在同一条链上挖矿，算力永远不会被分割，链变得更加安全。

Fredrik：

Ren： 最小哈希值平分协议的表现比中本聪共识略好。 「后发赶超」

假设你有一个秘密区块，这个区块的哈希值非常小。

Anna：

Ren：

Anna：

Ren：

Fredrik：

Ren： 「子链（Subchains）」

「奖励幸运协议」

每当攻击者发现一个弱区块, 它就会扣留一个区块， 希望诚实的矿工可以发现一个正式区块，这样我就可以用我的弱区块来使诚实矿工开采的正式区块无效

Fredrik：

Ren：

Anna：

Ren：

第一点有关如何分析安全性。

「奖励坏的人还是惩罚好的人」

Anna：

Ren：

马尔科夫决策过程（Markov Decision Process）的方法进行了扩展

Anna：

Ren：

应用马尔科夫决策过程或者深度学习来分析 PoS 协议不存在什么困难，但分析 PoS 协议的问题是，你无法直接集合一组协议，让他们彼此竞争，知道谁是第一，谁是第二，没有这种简单的结果。

Anna：

Ren：

Fredrik：

Ren：

「中本聪共识」（Nakamoto consensus，简称 NC）

它只有一系列最低要求的安全假设

它将通信开销降到了最低

它是基于链的，也就是说所有的交易有一个全局顺序，它不会像 DAG 协议那样存在重复打包的问题。

Anna：

Ren： 吞吐量 延迟

当我在 Blockstream 和 Peter Wuille 以及 Gregory Maxwell 一起实习的时候，我们讨论了很多关于比特币如何传播区块和交易的问题，而这最终导致了这个研究的诞生。

Anna：

Ren：

Fredrik：

Ren：

只要我们设法找到一个平衡点，即区块间隔足够低，区块足够大，所有的节点带宽都被耗尽，那么，我们就完成了任务。

「新的交易」的定义是指还没有完成传播就被包含到区块中的交易。

Anna：

Ren：

首先，我们把交易同步和交易确认解耦。

交易必须先出现在交易提案区，只有在两个区块之后，才能被嵌入到到交易承诺区。

Fredrik：

Ren：

Fredrik：

Ren：

并发操作。

Anna：

Ren：

Anna：

Ren： Prism 是另一个将这两件事解耦的例子

交易承诺区和交易提案区被重新耦合在同一个区块结构中，这大大简化了安全分析，因为 NC-Max 仍然遵循比特币主干协议，使用的是「最长链」原则。

Anna：

Ren：

「交易扣留攻击」 你可以做一个全是新的交易的区块，你的区块实际上比其他所有的区块传播得慢，这就给了你一些时间来进行自私挖矿，但没有人可以指责你

Anna：

Ren：

Anna：

Ren：

Anna：

Ren：

Nervos CKB 使用的是 UTXO 模型

Anna：

Ren：

Anna：

Ren：

lock script type script

经济模型，原生代币 CKB 代表了存储空间

Anna：

Fredrik：

Ren：

你可以用任意一种资产来支付交易费，并没有 Gas 机制

RISC-V 来打造虚拟机

Fredrik：

Ren：

Fredrik：

Ren：

Anna：

Ren： 「Lay down the Common Metrics 2.0」