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」
原创文章,作者:CoinKaola,如若转载,请注明出处:https://www.coinkaola.co/news/196712/