劲爆轰动:核心团队提出区块链重大创新能否成为Web3.0核心引擎

本文将引用Core核心团队提出了一种新的独立区块链作为Web 3的核心引擎,该核心由新的共识机制Satoshi Plus(中本聪+)提供支持,Core(核心)是一种采用比特币挖矿哈希算力与以太坊虚拟机

本文将引用Core核心团队提出了一种新的独立区块链作为Web 3的核心引擎,该核心由新的共识机制Satoshi Plus(中本聪+)提供支持,Core(核心)是一种采用比特币挖矿哈希算力与以太坊虚拟机(EVM)融合而成的图灵完备的区块链。Satoshi Plus运用协议驱动验证节点的选举机制来实现工作量证明(PoW)和委托权益证明(DPoS)各自优势的最佳组合,以确保区块链网络的安全性、可扩展性和去中心化的最优化。并解决不可能三角问题,全文由许雯慧译 王欣怡校对

核心 DAO :比特币的去中心化Ethereum 的表现力和可组合性

核心 DAO 团队

coredao.org

版本 1 .0. 5

内容摘要

本文提出了一种新的独立区块链作为Web 3的核心引擎,该核心由新的共识机制Satoshi Plus(中本聪+)提供支持,Core(核心)是一种采用比特币挖矿哈希算力与以太坊虚拟机(EVM)融合而成的图灵完备的区块链。Satoshi Plus运用协议驱动验证节点的选举机制来实现工作量证明(PoW)和委托权益证明(DPoS)各自优势的最佳组合,以确保区块链网络的安全性、可扩展性和去中心化的最优化。

1.内容导言

区块链三难困境,是学术界和市场参与者一直在深入研究的问题。它指出,所有加密货币,包括比特币、以太坊等都必须在最佳安全性、可扩展性和去中心化之间做出权衡,通常以牺牲第三个元素为代价来确定另外两个元素的优先级,如图1所示:

劲爆轰动:核心团队提出区块链重大创新能否成为Web3.0核心引擎

图1三难困境概述图

我们解决上述三难困境的方案是Satoshi Plus共识——运行核心网络的核心。Satoshi Plus共识融合了PoW和DPoS的各自优势,同时克服了各自缺点。具体来说,以比特币算力保障去中心化,以DPoS和领导层选举机制保障可扩展性,以集体维护网络保障安全性。Core(核心)是实施新共识机制的第一个区块链,我们不会裹足不前,我们相信,有我们社区赋能,Core将以强大的网络效应来创造成功的货币,并成为被更广泛采用的Web 3所急需的桥梁。

本文的其余内容如下。

首先,我们比较与权衡了其他L1层和L2层网络的优劣。

第二,我们深入挖掘了Satoshi Plus共识及其各种组件。

第三,我们讨论了核心网络的安全性和未来发展方向。

第四,我们讨论了核心链的基础货币——CORE。

最后,我们讨论了通过Core DAO(核心去中心化自治组织)对核心网络的治理。

2.背景介绍

以下是本节中的文章

相关作品

比特币

2009年中本聪(SatoshiNakamoto)用丰饶之石雕刻出了稀缺。尽管互联网实现了无限的可复制性,但它现在可以拥有自己的网络区块链上的本币:比特币-第一个真正的数字解决方案货币问题。比特币将PoW采矿引入世界,允许任何具有计算能力的人都可以参与网络安全保护。杠杆作用中本共识,比特币已成为最分散的区块链,但由于只有7个测试程序集,它缺乏必要的可扩展性[Aut],无法超越“价值存储”用例。BTC作为“数字黄金”的角色是毋庸置疑的,但正如围绕闪电网络的炒作所表明的那样,比特币中的许多人社区想要更多。

以太

最流行的dapp平台和第一个图灵完整区块链[Buta]。以太坊虚拟机(EVM)和流行的Solidity编程语言提供的抽象允许数十万(如果不是数百万的话)开发人员首次构建分散的应用程序[She],这产生了DeFi、Play2Earn、NFTs等。以太坊提供了更高的TPS比比特币要以牺牲一些分散化为代价,但即使有其15TPS,主要的可扩展性瓶颈仍然存在[Fri]。

以太2

社区驱动的Ethereum升级的总括术语旨在解决可扩展性、安全性、效率等问题。挑战。其中两个主要的变化是从PoW迁移到PoS和引入分片。据称,分片将提供高达100000TPS[RK] ,但向PoS的迁移引起了人们对去中心化【You】的担忧。我们已经看到主要的CeFi托管机构如Binance、Kraken、等等,还有像丽都这样的桩池。

索拉纳

一个高TPS链, 50k TPS ,它利用了历史证明(PoH)和分片[Yak]。Solana的块时间非常短, 400ms [Ted] ,它允许构建在网络之上的应用程序在性能方面感觉像Web 2。为了达到这种性能水平,运行验证器的要求远远超过了大多数其他网络【Tee】 ,从而使许多玩家定价。性能和网络可用性之间存在另一个权衡,最近通过一些值得注意的链重新启动[McS] [Mil]。Solana也有最活跃的开发人员社区之一,但事实证明,从Solidity过渡到Rust对许多人来说具有挑战性。

多边形

构建在Ethereum之上的L2扩展解决方案旨在通过利用PoS和侧链解决主链上的许多可扩展性挑战[Tec]。Polygon由于其EVM兼容性,吸引了大量开发人员,它允许dapp开发人员在最小或不更改的情况下移植他们的代码【Tab】。Polygon面临着关于其验证器集缺乏去中心化和稳定性的批评,自testnet以来,验证器集一直保持不变,尽管他们正在积极努力改善Polygon DAO [Rze]的这些动态。

Binance智能链

Go以太(Geth)代码库的硬分叉。BSC和Ethereum之间的主要区别之一是BSC的利益证明(PoSA) ,这是一种结合了权力证明(PoA)和授权利益证明(DPoS) [Teaa]的共识机制。通过利用这种新的共识机制, BSC实现了更快的交易时间、更高的TPS和更低的费用【CZ】。自成立以来,BSC一直面临着分散不足的批评,因为考虑到第三方与Binance的关系和高风险要求,BSC的验证器集或多或少是固定的(截至2022年7月,最低230万美元或10,000 BNB vs Ethereum 2 32000美元或32 ETH )再加上21个节点中只有2个在给定时间参与共识活动[Tra]。Binance本身运行任何节点的说法可以通过链上数据【BsC】被证明。

综合对比劲爆轰动:核心团队提出区块链重大创新能否成为Web3.0核心引擎

图2:相关工作的比较。

以太坊的演变

Core是Geth代码库的进化。我们利用BSC团队所做的改进,通过硬分叉增加了更高的吞吐量和更便宜的交易。然而,我们在很多方面与BSC不同。一个突出的区别是,核心基于Satoshi Plus共识,它依赖于工作证明(PoW)和委托利益证明(DPoS)。通过这些修改,我们能够保持分散,而不会出现传统PoW共识系统中的性能权衡。此外,我们基于委托比特币哈希能力和委托股份的混合评分,我们为验证者和奖励创造了一个流动的市场,任何人都可以参与。

Satoshi Plus+共识算法劲爆轰动:核心团队提出区块链重大创新能否成为Web3.0核心引擎

图3:主要角色和组件的说明

主要组件、角色和工作流

验证器

负责在核心网上生成块和验证事务。成为验证者需要在网络上注册,并根据验证者选举的规则锁定可退还的核心押金,以包括在验证者集中。任何人都可以在Core上存款并成为验证器。

中继器

负责将BTC块报头中继到核心网。为了中继,潜在的中继器必须在网络上注册,并锁定可退还的核心押金。任何人都可以在Core上存款并成为中继器。

BTC矿工

负责通过PoW保护比特币网络的矿工。为了将其哈希功率因数纳入Satoshi Plus共识,矿工必须将其哈希功率委托给他们或第三方运行的验证器。授权是一种非破坏性行为,这意味着通过授权核心,他们可以重新调整现有工作的用途,而不是在保护比特币和保护核心之间做出选择。

核心支架

CORE货币的持有者, CORE链的基础货币。所有核心持有人都可以通过将其持有的股份委托给验证者来参与入股。

验证器

负责报告网络中的恶意行为。任何人都可以在核心网中充当验证者。成功的验证标志可能会导致削减(奖励或赌注)或监禁行为不端的验证者。

验证器选举

选择前21个验证器以包含在验证器集中的机制。验证器是根据每轮的混合分数选出的。为了确保更稳定的TPS ,“实时”验证器在回合期间每200个街区更新一次,这样其他验证器就不需要在整个回合中等待“监禁”验证器。

混合评分

验证器选举计算中使用的协议函数的输出。函数的输入是BTC哈希功率和委托给验证器的CORE。

圆形

Core更新验证器仲裁和分配奖励的周期时间,当前设置为1天。每天,21个混合得分最高的验证器被选入验证器集,从而负责在整个回合中在核心网络上生成块。在每轮的最后一个区块,将计算和分配该轮的累积奖励,并确定下一轮的验证者法定人数。

槽位

每一轮都被划分为插槽,仲裁中的所有验证器轮流以循环的方式重复产生块,直到回合结束。目前槽位长度设置为3秒。在每个插槽中,诚实的验证器要么生成块,要么无法生成块。

纪元

系统检查每个验证器状态的周期长度,以将被监禁的验证器排除在法定人数之外,以防止他们参与共识,以在给定轮次中保持TPS或多或少恒定。目前epoch设置为200个slot ,即600秒或10分钟。

工作证明

工作证明是实施分散网络的一种实用机制。PoW是非歧视性的,允许任何拥有计算能力的人参与采矿。利用现有的BTC挖掘网络, Core中继器将每个比特币块作为交易传输到Core链。这种中继机制是Satoshi Plus以不可信任的方式验证委托的哈希能力的方式。有了这个PoW元素, Satoshi Plus能够利用比特币网络的安全性来保护Core。

中继器

核心中的中继器负责通过链上轻客户端将BTC块报头中继到网络上。接力者必须注册并通过验证才能获得奖励。

BTC矿工

使用公钥和私钥, BTC矿工可以将其哈希权委托给核心验证器,或者如果他们选择通过在BTC和核心区块链上验证和同步其身份(地址)来运行验证器,则将其哈希权委托给自己。当中继器提交事务时,它们会将BTC矿工挖掘的块与核心网同步。每一轮,核心网通过计算BTC网络中每个矿工在前一周的同一天产生的块数,计算与每个验证器关联的BTC哈希功率。映射链通信的体系结构如下图所示。

劲爆轰动:核心团队提出区块链重大创新能否成为Web3.0核心引擎

图4:BTC Miner哈希功率中继

委托的利益证明

证明桩是PoW的可扩展、节能的替代方案,但它限制了小桩用户。为了公平的竞争环境,一些区块链引入了各种类型的委托证明(DPoS)机制,允许令牌持有者通过将其持有的股份委托给验证者来投票和选举验证者集。通常是通过奖励来激励的。使用DPoS ,即使是小利益核心持有者也可以将其核心委托给验证者候选人,这赋予了社区权力,并激励了授权核心的民主化。

验证器选举

概述

Core的验证器选举遵循以下机制:

1.计算网络中所有验证器的混合分数。计算分数的函数定义为:

S = rHp/tHp ∗ m + rSp/tSp ∗(1 - m) (1)

其中:

rHp =委托给验证器的哈希功率,通过生成的BTC块计数来衡量

tHp =核心上的总哈希功率

rSp =委托给验证器的股份,通过委托的CORE令牌量来衡量

tSp =核心的总股份

m =是一个动态权重,随着时间的推移进行调整,以确保在斜坡上升期间平稳过渡

2.选择要包含在验证器集中的混合分数最高的21个验证器。

3.选举在每轮选举结束时举行,通过上述机制为下一轮选举挑选验证者。

区块生产

Satoshi Plus验证器选择旨在选择从上面概述的PoW和DPoS方法派生的验证器。选举后,该机制对所有验证器进行排序,并以循环的方式生成块。我们所说的循环,是指每个验证器都有机会以严格的顺序产生一个块,从1-21按混合分数排名,然后再从顶部重新启动。此外,通过限制验证器的数量,Satoshi Plus提供了更高的事务率和更高的可扩展性。此外,这种机制为各种攻击提供了额外的抵抗力,并提高了一定数量的拜占庭玩家(恶意或被黑客攻击)的效率和容忍度。

验证器自我调节

核心包含削减和监禁机制,以抑制验证者在每一轮中的恶意行为。在生成块时,现有的核心验证器定期检查是否有任何当前验证器被监禁。如果是,他们将在一个纪元周期后更新验证器集。例如,如果Core每3秒产生一个块,并且epoch周期为200块,则当前验证器集将在600秒(10分钟)内检查并更新下一个epochs验证器集。监禁的设计是将行为不端的验证者排除在共识活动之外,以增强网络安全,保持TPS稳定。

奖励劲爆轰动:核心团队提出区块链重大创新能否成为Web3.0核心引擎

图5:奖励工作流程的说明。

在一轮的最后一个区块,奖励将被计算和分配。目前, 90%的奖励归验证人, 10%的奖励归系统奖励合同。在支付给验证者的90%中,验证者在支付其代表之前将部分百分比(x%)作为佣金。系统奖励合同累积奖励,以支付中继器和验证器,当前累积核心奖励的最高上限为1100万△m中继器奖励和最高100m验证器奖励,可自行补充)在燃烧多余的奖励之前。验证器在成功提交后立即支付费用,中继器每100个BTC块支付费用。

节点奖励和分配给授权人

验证者的两类奖励是(1)基础奖励(新创建的CORE )和(2)从每个块中的交易中收取的费用。验证者除了委托哈希权之外,还需要与与他们签订核心赌注的委托者共享奖励。考虑到每个验证器产生块的概率相等,从长远来看,所有稳定的验证器都应该得到相似的奖励部分。

验证者可以决定向委托其核心或哈希权的委托者提供多少回报。这些验证者被激励来极大地奖励他们的委托者,以吸引更多的哈希权力和赌注。在收取费用后,协议使用一个函数来确定验证器的赌注奖励和哈希功率奖励之间的分割,定义为:

相对湿度 = rHp/tHp ∗ m/S ∗ R (2)

rS = rSp/tSp ∗(1 - m)/S ∗ R (3)

其中:

相对湿度 =归属于哈希功率的验证器奖励

rS =归属于入股的验证者奖励

R =归属于所有代表的总体奖励

rHu = 相对湿度/rHp (4)

rSu = rS/rSp (5)

其中:

rHu =每单位验证器哈希功率奖励

rSu =每个单位的验证器赌注奖励

请注意,这些函数旨在创建一个活跃的奖励市场,并鼓励验证器集之间对委托哈希权和委托股份的竞争。通过同样的机制,委托者将尝试通过选择具有较低委托哈希权和利害关系的验证者来优化自己的奖励。

节点奖励与分配应用示例

让我们假设有2个验证器,并且两个验证器都是当选的:

答: 2个单位的哈希功率, 1个单位的桩

B : 1个单位的哈希功率, 4个单位的桩

我们还假设核心网上总共有10个BTC哈希功率单位,因此验证器1具有20%的哈希功率,验证器2具有10%的哈希功率。同样,我们假设CORE网络上共有20个单位的股份,因此验证器1拥有5%的股份,验证器2拥有20%的股份。对于这个例子,我们还将m设置为2/3。

为了简化计算,我们将两个验证器要分配的获得奖励数量设置为1。

得分:

安全联盟 = 2/10 ∗ 2/3 + 1/20 ∗ 1/3 = 9/60 (6)

SB = 1/10 ∗ 2/3 + 2/10 ∗ 1/3 = 8/60 (7)

奖励:

rHA = (2/10 ∗ 2/3)/安全联盟 = 8/9 (8)

rSA =(1/20 ∗ 1/3)/安全联盟 = 1/9 (9)

rHB = (1/10 ∗ 2/3)/SB = 1/2 (10)

rSB = (2/10 ∗ 1/3)/SB = 1/2 (11)

单位奖励:

rHuA = rHA/2 = 4/9 (12)

rSuA = rSA/1 = 1/9 (13)

rHuB = rHB/1 = 1/2 (14)

rSuB = rSB/4 = 1/8 (15)

接力者奖励

中继器获得部分基础系统奖励和跨链通信的交易费用。所有奖励都直接存入中继器账户,因为唯一的通信类型是比特币头同步。Relayer奖励每100个BTC块分批发放。

验证者奖励

核心斜杠建议可以由任何人提交,并确保恶意和有害行为者受到惩罚。交易提交需要证据和费用,但准确的提交获得的回报超过了成本。成功后,奖励将立即从系统奖励合同中支付,在同一交易中。

安全

概述

各种攻击媒介的高级分类可以细分为网络攻击和共识攻击。

1.Core通过事务过滤、节点地理分散、P2P通信随机节点选择以及官方发布的公共节点种子列表的组合来缓解网络攻击(DDoS、Eclipse、BGP Hijak等)。

2.共识攻击更有趣,对威胁媒介的分类也更广泛。我们将PoW、DPoS和验证器选举机制结合起来,为我们提供了许多理想的属性。预计算和自私挖掘不能由以循环方式设置的固定验证器操作,因为它们试图操纵Core上不存在的伪随机机制。审查和事务延迟是可以操作的,但只要集中有诚实的验证器,就会减轻。同样,一些攻击,如51%和Sybil攻击无法完全缓解,但这两种攻击都是经济上不明智的,而且考虑到我们根据其哈希能力和赌注的混合得分排名,很难实现。我们的检查点方案和对战俘的依赖可以减轻远程攻击,而战俘不会受到此类攻击的影响。有了检查点,最相关的攻击类别是各种短程攻击(远程+检查点=短程)。

短程攻击

短程攻击有多种形式,但总结起来,它们的目的是重写少量的块,而不是一直回到创世纪。一些值得注意的例子是贿赂攻击、拒绝活动和种族攻击。下面,我们提供了一个数学证明,指出只要少于1/3的节点是恶意的,并且确认了足够的块, Satoshi Plus上的交易绝对是安全的。

数学证明

在本节中,我们将演示如果不到三分之一的验证器是对抗性的,Satoshi Plus是安全的。我们首先检查潜在敌人的行为。对手的“理想”策略是什么,他们能实现什么?我们通过提出一种理想化的攻击方法,断言三分之一的边界是紧的:在某些攻击下,如果攻击者占据了超过三分之一的验证器席位,系统就会受到威胁。任何少于三分之一的东西都是不成功的。然后,我们讨论了我们证明背后的逻辑以及矛盾证明的方法论。最后,我们提出了形式证明,它从数学上解释了所要求的结果。

平衡攻击

在本节中,我们从对抗性的角度考虑增加安全违规可能性的方法。我们提出了一种进行双重攻击的方法。在这次攻击中,攻击者设法隐藏第二个区块链,并在攻击时释放它。如果暴露的区块链比当前最长的公共区块链长,则双倍消费攻击成功。要实现这一目标,攻击者必须利用协议并以这样的方式操纵诚实块,使它们在不违反协议的情况下协助攻击。例如,它们可以尽可能保持攻击区块链和合法区块链的平衡,如图6所示,

劲爆轰动:核心团队提出区块链重大创新能否成为Web3.0核心引擎

图6:使用三分之一的对抗性验证器成功攻 击。

3个验证器参与了这次攻击,其中一个是对抗性的。攻击目标是0号槽位上的块(带星号)。块1在攻击过程中原本是隐藏的。具有星号和块1△的块对诚实的验证器可见,它们的方向是在块1△的顶部生成新块块2。然后,攻击者在块1的顶部生成另一个块4,发布它,然后生成块4并隐藏在插槽4。因此,当诚实的验证者在插槽5观察到两个高度相同的区块链时,他们被激励生成一个新的块。块5位于块4的顶部,依此类推。有了这种策略,只要可行,两个区块链就可以在只有一个对手的情况下保持平衡。无论用户等待多久,事务都不安全。即使在我们的示例中已经经过了16个插槽,如果攻击者决定在插槽16执行攻击,目标块将恢复。

方法

让我们深入探讨第4.2.2部分的攻击策略,了解成功的攻击是什么样子的。正如我们所知,每个诚实验证器在其插槽中正好生成一个块。在此攻击中,在对抗验证器的插槽上生成两个对抗块,并贡献到两个区块链。其想法是在两个区块链之间保持平衡。因此,在每个高度,都需要一对匹配的块。假设块1△是攻击的开始,并且与我们场景中带有星号的块具有相同的父级。块4的高度等于块3的高度,而块4的高度等于块5的高度。块7对应块6 ,块7对应块8。

成功攻击的关键是每个攻击者在各自的插槽中生成两个块,并将它们与两个单独的诚实块匹配。“一匹配-二”模式说明了为什么要成功攻击,攻击者与诚实验证器的比率必须至少为1:2 ,这意味着安全保证是攻击者的三分之一。对手有能力做更多吗?是否可以在一个插槽中构造三个对抗块,并将它们匹配到三个诚实块?答案是否定的,原因是在同一个slot上形成的两个对抗块必须匹配两个诚实块,其中一个在slot之前生成,另一个在slot之后生成。要匹配三个诚实块,两个对抗块必须匹配插槽前后生成的两个诚实块,这是不可能的。下一节将包括正式的证明。

我们使用的主要技巧是用矛盾来证明。要用矛盾来证明某件事情,我们假设我们要证明的是不真实的,然后证明这样做的后果是不可能的。也就是说,后果要么与我们刚才的假设相矛盾,要么与我们已经知道的事实相矛盾。

正式证明

我们假设验证器的总数为N个,其中m个验证器是诚实的,其余的验证器是对抗性的。那么,

m > (2/3)N. (十六)

根据协议,我们采用了一个离散模型,其中动作发生在时隙中。如果验证器在插槽中发布一个或多个块,则所有验证器在插槽结束时都会收到该块。如果验证器始终遵循协议,则它被认为是诚实的。每个验证器要么是诚实的,要么是敌对的。一个街区被认为是诚实的(代表)。对抗性) ,如果它是由诚实的(代表。对抗性)验证器。显然,在每个插槽结束时,所有诚实验证器都完全同步。诚实的验证器仅在其自己的插槽上在最长发布的区块链上生成新的块。如果区块链是插槽r中一些诚实的验证器看到的最长的区块链,那么区块链在插槽r中被认为是诚实的。当提到区块链时,我们总是假设区块链根据协议是合法的(即,被诚实的验证者接受)。将诚实验证器插槽定义为合法生成器是诚实验证器的插槽。

我们所说的区块链b是指以区块b结尾的区块链。设T(b)表示产生块b的时隙。区块b的高度,记为h(b) ,定义为同一区块链中的区块(包括起源区块)的数量。那我们就有了

引理1。 诚实的块具有相同的高度。

证明.这是一个简单的结果,因为所有诚实的生成器都看到了相同的块,并且每个诚实的验证器在每个插槽的末尾都采用最长的区块链。

引理2。 假设两个对抗块a和b满足T(a) = T(b)并匹配两个诚实块c和d。那么(T(a)△T(c))(T(a)△T(d)) < 0。也就是说,两个诚实块不能在对抗块的时隙之前或之后生成。

劲爆轰动:核心团队提出区块链重大创新能否成为Web3.0核心引擎

图7:引理2的图解。

证明。与权利要求相反,假设可以生成块c和d 在插槽之前或之后 T(a).在不失一般性的前提下,假设它们是在 T(a).根据定义,通过声明块a与块匹配 d (块) b 匹配到阻止 c分别),我们有 h(a) = h(d) (h(b) = h(c),分别)。根据协议,由于诚实块 c 是在同一区块链上的区块a之后生成的,我们有 h(c) > h(a) (和 h(d) > h(b))。因此,我们有,h(a) = h(d) > h(b) = h(c) > h(a). (17)

矛盾产生,由此证明。

请注意,因此,一个攻击者在一个插槽中最多可以匹配两个诚实块。

对抗序列定义为由协议排序的连续对抗验证器序列。我们说,对抗性块匹配诚实块,如果它们位于不同区块链的相同高度。

引理3。 由n个验证器组成的对抗序列生成的对抗块最多匹配2n个诚实块。

证明。 这是引理2的自然延伸

如果块保留在从插槽r开始的所有诚实区块链中,则该块被称为在插槽r之后永久。基本上,如果用户事务是永久性的,用户可以安全地相信,无论攻击者将来做什么,他们的事务都不会被逆转。

定理4。 如果诚实区块b保留在时隙T(b)+N中的诚实区块链中,则区块b是永久性的。

证明。 我们用矛盾来证明所期望的结果。为简单起见,设r = T(b)。设n是N个验证器中的对手数。

与主张相反,假设 s ≥ r+N 当存在其他诚实的区块链时,是最小的插槽 d1不包括块 b.然后就有了另一个诚实的区块链 d插槽中2个 s△1包含块 b.然后 h(d2)≤ h(d1). Let k 是第一个中的对抗序列的数量 N 从插槽开始的验证器等级 r.让 n1, n2,..., nk 是每个对抗序列中验证器的数量。我们有[Σk i=1] 尼 = n 和 k ≤ n. Let函数 M(尼)表示对抗序列匹配的诚实块的数量 尼.那么,我们有 M(尼) ≤ 2ni乘引理3。设ℓ = [ (s−r) / N ],则ℓ为正整数,因为 s − r ≥ N.让 k△ 是从插槽开始的对抗序列的数量 r + ℓN 结束于插槽 s.然后 n1, n2,..., nk′是时隙[期间对抗序列中的验证器数量r + ℓN, s].

请注意,由于存在k△对抗序列,因此至少存在Σ[k′ i=1] M(尼)插槽中的诚实验证器[r+ℓN, s]来分隔序列。因此,在[r,s]至少为ℓm + Σ[k′ i=1] M(ni)。注意,根据引理1 ,每个诚实块具有相同的高度,因此区块链的高度增加 d1和区块链 b2个至少都是

在时隙【时隙】期间,生成块并包含在两个区块链中。r, s].

另一方面,我们计算攻击者在两个区块链中可以匹配的最大区块数。每个对抗序列 尼 验证器贡献 M(尼)块以匹配两个链中的诚实块。因此,正在匹配的诚实块的总数为与等式18产生矛盾。

安全性和最终性摘要

根据上一节的数学证明,我们得出结论,只要一个事务被N个以上的块确认,其中N是选定的验证器集的大小,它永远无法反转。我们还证明,要成功执行攻击,至少1/3的验证器必须是对抗性的。

请注意,证明中使用的对抗模型是极其严格的。证明模型中的对手被假定在完美协调的条件下运行,并被放置在集合中的完美槽中,以1:2的比例损害诚实验证器。在这种情况下,当有2个具有相同块高度的块时,它们还能够诱导诚实的验证器选择所需的块来执行攻击。

在现实中,上述情况发生的可能性很小,在某些情况下是不可能的。Core对各种恶意行为实施了严厉的惩罚,以抑制验证者进行此类行为的激励。由于这些对策,对于核心上的正常事务,(1/2)N 块确认应提供足够的安全性。对于更关键的交易,我们建议(2/3)N+阻止确认。对于最悲观的情况, N 区块确认将实现100%的安全性。

可斜切的案例

Core已通过本文档中概述的各种方法成功地缓解了大多数攻击。我们上面的证明提供了强有力的保证,有了足够的块确认,我们总是安全的。然而,我们也选择实施斜杠+监禁/驱逐机制,以进一步抑制恶意行为。验证者可以提交证据,让验证者因不同的案件而被砍掉和监禁。两个值得注意的可斜切的情况是双重签名和不可用。

未来探索扩展和跨链

在Core完全兼容EVM的情况下,我们可以利用Ethereum和其他兼容链的扩展解决方案,例如各种类型的汇总。我们也可以选择去波尔卡多或宇宙风格的L0继电器与轮毂链模型。扩展的未来是光明的,我们计划随着研究的成熟,融入其他链的最佳技术。

增强的安全性

虽然块生产的循环性质提供了一定的安全优势,但它也涉及到权衡。例如,通过预先具有已知的顺序,协议不容易受到整个潜在随机性漏洞攻击类别的影响,但块产生验证器是完全已知的,这可能导致更集中的攻击。作为回应,我们正在重点研究提高块状生产的方法。特别是,像ETH这样的连锁机构也在探索关于单一秘密领导人选举(HG)的研究是非常有趣的。

核心

供应

遵循比特币健全的货币模式,CORE的供应硬上限为21亿代币。除了硬上限之外,所有区块奖励和交易费用的一定比例将被烧掉,类似于以太的“超音钱”模式。燃烧的确切百分比将由DAO确定。

实际上,CORE将渐近接近21亿个令牌的总数,但永远不会完全达到它,类似于雪崩令牌经济学模型。

排放曲线

核心的整批奖励将在81年期间支付。这个较长的期限增加了链成功的可能性,在过渡到纯粹通过交易费用进行补偿之前,充分激励所有网络参与者。这种以核心形式的额外块奖励也可以被认为是现有BTC矿工在比特币块奖励停止后( 2040年左右)继续获得补贴的一种方式,方法是利用其现有的哈希能力成为核心网络上的验证者。

核心白皮书v1.0.5

渐进式权力下放

放权并不局限于共识层面。随着时间的推移,整个核心网的治理将逐步下放。在DAO的起源,限制权力下放将是必要的,以使核心链启动并建立产品与市场的契合。随着网络的扩展,核心DAO将越来越依赖社区参与【Wal】。随着时间的推移,更广泛的核心社区将获得所有治理职能的控制权,包括核心资金的管理。

面临的挑战

由于各种攻击媒介【Butb】,分散式治理在实践中非常困难。在链成熟之前,构建在Core之上的DAO将面临任意Core分叉覆盖其治理的风险。要想让核心DAO取得成功,信任和社区建设在链生命周期的开始是必不可少的。

目标

本项目开始时的核心网维护目标很简单:

1 .提供分阶段实现权力下放的途径。

2.将风险降至最低,以鼓励DAO在核心之上形成。

分散阶段

通过核心DAO进行的核心治理将在三个发展阶段逐步下放:

1 .链外治理。通过与大多数DAO选民达成一致的决议。

2.有限的链上治理。允许使用链上硬币投票更改固定参数集(TBD) ,例如。燃烧费用的百分比。

可能会增加时间延迟,以阻止购买选票和类似的攻击。

增减参数由DAO选民自行决定,例如。核心改进建议书

结论

本文介绍了Core DAO ,我们认为它将作为Web 3的核心。我们的共识机制Satoshi Plus结合了PoW和DPoS ,以解决经常讨论的“区块链三难”。我们在可扩展性方面的改进,安全性、效率和去中心化以及我们的EVM兼容性,为每个人(开发人员、用户等)释放了去中心化应用程序的强大功能。

CORE是核心网的基础层货币,将由DAO监督。通过其可证实的稀缺性、收缩机制、治理等。CORE的目标是成为所有分散应用程序的价值累积层和可用性层。

参考文献

【Aut】维基百科作者。 比特币可伸缩性问题.地址: https : //en。维基百科。org/wiki/比特币_可伸缩性_问题。(访问时间: 2022年7月8日)。

【BsC】BsCS扫描。 按块列出的前25个验证器. URL: https://bscscan.com/stat/miner?range=14&blocktype=blocks. (accessed: 08.07.2022).

【布塔】维塔利克·布特林。以太: 下一代智能合同和去中心化应用平台。 URL: https://ethereum.org/en/whitepaper/. (accessed: 08.07.2022).

[Butb] Vitalik Buterin. 超越硬币投票治理. url: https: / / vitalik . ca / general / 2021 / 08 / 16 / voting3 . html. (accessed: 08.07.2022).

【CZ】CZ。URL地址: https://twitter.com/cz_binance/status/1346000721313861632? lang=en。(访问时间: 2022年7月8日)。

【星期五】蒂姆薯条。 解释: Ethereums可扩展性问题和不断增长的反弹.地址: https : //令牌主义者。com /解释-以太-可扩展性问题和增长反弹/。(访问时间: 2022年7月8日)。

[HG]丹·博内·萨巴·埃斯坎达里安·卢詹·汉兹利克和尼古拉·格列柯。 单一秘密领导人选举. URL: http://www- cs- faculty.stanford.edu/~uno/abcde.html. (accessed: 08.07.2022).

【麦克斯】迈克尔麦克斯威尼。 Solana区块链验证器在交易停止后重启网络.地址: https://www.theblock.co/linked/117711/solana-blockchain-validators-restart-network-aftertransaction-stoppage.(访问: 2022年7月8日)。

【米尔】迈克米勒德。 索拉纳因交易激增导致中断7小时后重启.地址: https://www.theblock.co/linked/144639/solana-restarted-after-seven-hour-outage-caused-by-surge-of-transactions.(访问: 2022年7月8日)。

【纳克】中本佐藤。 比特币:点对点电子现金系统. URL: https://bitcoin.org/bitcoin.pdf. (accessed: 08.07.2022).

【RK】斯蒂芬格雷夫斯雷内米尔曼和利亚姆J。凯莉。 什么是以太2.0 ? Ethereums共识层和合并解释. URL: https: / / decrypt . co / resources / what - is - ethereum - 2 - 0. (accessed: 08.07.2022).

[Rze] Mateusz Rzeszowski. 治理状况:分权.地址: https : //blog. Polygon.技术/治理状态-权力下放/。(访问时间: 2022年7月8日)。

【她】玛丽亚沈。 电力资本开发商报告(2021).地址: https : //medium.com/电资本/电资本-开发商报告-2021-f37874efea6d。(访问时间: 2022年7月8日)。

【Teaa】BSC团队。 Binance智能链。 网址: https://github.com/bnbchain/whitepaper/blob/master/WHITEPAPER.md.(已访问: 2022年7月8日)。

【团队】多边形团队。 将世界带入以太—多边形-多边形. URL: https://polygon.technology/. (accessed: 08.07.2022).

【Teac】多边形团队。 以太区块链互联网.地址: https : //多边形。技术/光纸-多边形.pdf。(访问时间: 2022年7月8日)。

【泰德】索拉纳团队。 可扩展的区块链基础设施:数十亿美元的交易包括— Solana :构建可扩展的加密应用程序. URL: https://solana.com/. (accessed: 08.07.2022).

【茶】索拉纳团队。 验证器要求.地址: https://docs.solana.com/running-validator/validator-reqs.(访问: 2022年7月8日)。

詹姆斯·特劳特曼。 BNB链:不断进化的巨人.地址: https://messari.io/article/bnb-链-不断发展的巨人?utm_source=suback&utm_media=电子邮件。(访问时间: 2022年7月8日)。

【沃尔】杰西瓦尔登。 渐进式权力下放:构建加密应用程序的手册. URL: https://a16z.com/2020/01/09/progressivedecentralization-crypto-product-management. (accessed: 08.07.2022).

阿纳托利·雅科科科文科。 索拉纳:高性能区块链v0.8.13的新架构。 URL: https://solana.com/solana-whitepaper.pdf. (accessed: 08.07.2022).

【你】圣人D。 利益证明以太是否会导致更集中化? URL: https://www.coindesk.com/layer2/2022/05/18/will-a-proof-of-stake-ethereum-lead-to-more-centralization/. (accessed: 08.07.2022).

结论

源于比特币超越以太坊——既扩展比特币的性能,又保护以太坊的安全,使Core Chain核心链,成为Web3加密世界的底层(核心)基础设施!Core将成为一统Web3区块加密世界的核心公链,运行成千上万条区块链!

因为原版Core白皮书翻译对照原文

白皮书网址链接https://coredao.org

感谢阅读技术白皮书论文,如存在问题和翻译有误,请在下方评论区留言讨论:

原创文章,作者:币圈吴彦祖,如若转载,请注明出处:https://www.kaixuan.pro/news/455370/