CAS:Casper FFG的可审计安全性和近似活性_casper币最新消息

编者按：本文来自以太坊爱好者，作者：AdityaAsgaonkar，翻译&校对：IANLIU&阿剑，Odaily星球日报经授权转载。感谢CarlBeekhuizen的审阅。区块链需要向用户提供两种保障——1）区块的确定性和2）.区块链的活性——区块链的底层共识机制就负责提供这两种保障。以太坊2.0中，共识过程只在信标链上发生，并使用CasperFriendlyFinalityGadget(FFG)机制来帮助达成共识。本篇文章旨在描述基本的FFG机制，并证明它能提供上述两种保障。CasperFFG是一种“确定性工具”，这意味着CasperFFG规范了区块的确定性规则，并能在事件发生之后检查区块的确定性。FFG机制与链的增长脱钩，可以作为独立组件附加在任意可用的区块链协议上来提供区块确定性。因为CasperFFG机制没有能够保证区块链活性的策略，因此从这个角度来看，它并不算是完全成熟的共识协议。让我们先从CasperFFG的结构开始，然后深入CasperFFG机制的规则，最终了解它提供的安全性&活性保证。投票

Rari Capital攻击者在Nomad事件中获利500万美元，并将资金转入TornadoCash:8月4日消息，派盾监测数据显示，Rari Capital（Arbitrum）被盗事件黑客相关地址0x72ccbb和0x76f455在Nomad跨链桥攻击事件中获利500万美元，并将资金转移到0x72ccbb，然后通过TornadoCash进行混币。

据此前报道，派盾发推称，Nomad跨链桥攻击者之一是Rari Capital被盗事件的黑客，在此次Nomad攻击中获利约300万美元。[2022/8/4 3:23:25]

验证者通过提交见证消息”）来对链上的区块投票。投票的格式为，包含两部分信息：来源区块目标区块——目标区块必须是S的派生区块具体来说，投票所包含的信息包括验证者的数字签名、用于确认区块的区块哈希和块高。合理化与确定性达成

Tornado Cash通过“Relayer registry”提案，任何质押超过300枚TORN用户都可以成为Relayer:2月21日消息，以太坊隐私交易平台 Tornado Cash 的 10 号提案“Relayer registry”以 100% 投票赞成率（约 3.5 万枚 TORN）通过，任何质押超过 300 枚 TORN 用户都可以成为 Relayer。目前该提案将于今日 17:50 左右执行。

此前报道，以太坊隐私交易平台 Tornado Cash 发布治理提案，提议更新 Relayer 相关规则以提升协议的去中心化水平并进一步提高 TORN 的持有效能。提案内容主要为：任何质押超过 300 枚 TORN 的用户将可以成为 Relayer 并被添加至优先列表。通过 Relayer 的每一笔提取需要 Relayer 以 TORN 的形式支付费用（当前费用比例为 0.3%），该笔费用将被储存至 StakingReward 合约，并由参与治理的 TORN 持有者获取。[2022/2/21 10:05:09]

合理化与确定性达成是CasperFFG共识过程的两个阶段，可以和传统拜占庭容错共识的“prepare”和“commit”阶段做横向对比。

Casa 联合创始人成立新项目，以筛选美国官员持有的比特币数量:金色财经报道，2021 年 9 月 19 日，Casa 的软件开发人员兼联合创始人 Jameson Lopp 宣布了一个名为 bitcoinpoliticians.org 的新项目，该项目会筛选国会的财务披露并将其记录到数据库中。Lopp 表示，目标是“提高比特币所有权的透明度”，到目前为止，他分析了大约 13% 的国会财务披露。该网站解释说：“根据公开的财务披露，我们可以知道国会中哪些政客实际上有参与其中。Lopp表示，因为搜索财务披露可能是一个耗时的过程，该项目的目标是众包工作。他“分析了来自美国众议院、美国参议院和美国行政部门的 538 份报告中的 13%” 。在浏览参议院、众议院和行政部门的美国官僚名单时，只有共和党人辛西娅·卢米斯持有比特币。根据 Lopp 的网站，Lummis 拥有大约 10 万美元至 25 万美元的比特币 ( BTC )。但是，Lopp 的网站确实提到共和党人 Patrick Toomey 拥有灰度产品 GBTC 和 ETHE。[2021/9/23 17:00:42]

动态 | Cash App已添加股票交易:Square推出的加密货币友好的支付应用Cash App正式宣布支持股票交易。用户只需花一美元就可以购买上市公司的部分股份。9月份，Cash App宣布正在测试免费股票交易。本月初，券商巨头Charles Schwab宣布了允许其交易员购买部分股票的计划。（The Block）[2019/10/25]

-因具备2/3以上的验证者投票，区块A&区块B得到合理化-合理化：只要某区块B满足下列条件，则该块就被合理化：区块B是创世区块，或超过2/3以上的验证者将选票投给(A,B)，其中B是A的后代区块，且A在此前已被合理化。

确定性：只要区块B满足以下条件，即获得确定性：区块B是创世区块，或B已满足合理性，且有超过2/3的验证者选票投给(B,C)，其中C是B的直系子块。注意：关于确定性的定义，在以太坊2.0中CasperFFG有更一般化的定义，详见此文。使用上文这种表述是为了保证通俗易懂。CasperFFG规则

声音 | V神：君士坦丁堡硬分叉完全不会影响Casper/Sharding/Serenity进程:1月20日，以太坊核心开发人员Afri Schoedon在Reddit上表示，宁静（Serenity），权益证明（PoS）和分片（Sharding）——所有这些都与Ethereum 1.0链上的协议升级完全无关。君士坦丁堡硬分叉推迟与否都没有关系。无论何时，只要准备好了，所有涉及“宁静”里程碑的一切都会照常开展。在Ethereum的第二次迭代上进行研究和构建的团队正在独立地开发Ethereum 2.0，并且不会因为我们推迟了遗留链上的协议升级而延迟PoS。 此外，PoS，即所谓的“阶段0”/“信标链”与其他里程碑不同，并不是硬分叉。我们将在几周或几个月内推出信标链测试网络。乐观地说，我希望我们能在一年内达到“宁静”里程碑。但是请理解，这与当前网络上正在发生的事情（或没有发生的事情）几乎是无关的。 随后V神在推特转发并评论道：君士坦丁堡硬分叉完全不会影响Casper/Sharding/Serenity稳定和持续发展。[2019/1/20]

CasperFFG只有两条简单的限制规则，应用这两个规则就能防止验证者同时给(S1,T1)和(S2,T2)投票：区块高度(T1)=区块高度(T2)，或区块高度(S1)<区块高度(S2)<区块高度(T2)<区块高度(T1)

-CasperFFG规则违反情况一：区块高度(T1)=区块高度(T2)-

-CasperFFG规则违反情况二：区块高度(S1)<区块高度(S2)<区块高度(T2)<区块高度(T1)-安全性&活性

CasperFFG的设计目的，是提供共识安全性和针对区块敲定过程的活性。讲得具体点，CasperFFG提供以下保证：可追责的安全性：如果两个相互冲突的区块都达成了确定性，则至少有1/3的验证者违反CasperFFG规则，而CasperFFG可以识别出这些验证者。近似活性：无论协议运行处于什么状态，验证者都能继续履行职责、能在不违反CasperFFG规则的前提下敲定新区块。尽管和传统的BFT文献相比，这里提到的安全性和活性定义不是那么规范，但这种诠释是非常适合用于分析区块链的确定性工具的！事实上，熟悉BFT文献的人可能会觉得“近似活性”的概念简直异想天开；不过因为CasperFFG只是“确定性工具”，整个机制只要确保诚实的验证者能在不违反FFG规则的情况下推动推进协议，而不会被卡在任何一个环节，即可。至于可追责安全性的定义，我们的重点是可追责性，然后这部分信息能够被权益证明机制沿用、用于在区块链上处罚恶意验证者。最终目的还是为权益证明机制提供信息，使后者的激励机制能生效，促使共识过程形成协议一开始设想的均衡状态。安全性证明

假设两个相互冲突的区块A和B都被敲定了，那么可能有两种情况：区块高度(A)=区块高度(B)因为A和B在得到确定性之前先要获得合理性，则它们各自都要收到至少2/3的验证者投票，这意味着一旦它俩都达到要求，则至少有1/3的验证者违反了CasperFFG规则。区块高度(A)<区块高度(B)为了让A达成确定性，需要超过2/3以上的验证者将选票投给(A,C)，其中C是A的子块。为了让B达成合理性，则在B之前必须存在连续升序的区块，且每个区块都已经被它的后一区块合理化。假设区块B_m是这串连续区块中的首块，区块高度(A)<区块高度(B_m)。注意，这串连续的区块不存在与区块A或C相同的块高，不然就变成了上一种情形。现在假设我们将票投给(B_n,B_m)(其中n=m-1)，使得B_m获得合理性。则因为区块高度(B_m)、区块高度(B_m)皆不等于区块高度(A)/区块高度(C)，因此情况一定是区块高度(B_n)<区块高度(A)<区块高度(C)<区块高度(B_m)。这样一来我们就能说——至少有2/3的验证者违反了CasperFFG规则二。

-安全性证明，情况：区块高度(A)<区块高度(B)-而且只要确认票证集合、找出冲突选票、检查验证者签名，就能轻易揪出违反CasperFFG规则的验证者。活性证明

假设P_0是最新的合理区块，Q是曾得到过验证者投票的最新区块。接下来，任何属于P_0子块的区块P_1都能在不违反FFG规则的情况下收到2/3验证者的的投票(P_0,P_1)，进而取得合理性。P_1也能在不违反FFG规则的情况下收到2/3验证者的的投票(P_1,P_2)，进而获得确定性，其中P_2是P_1的子块。因此，至少有一组验证者能够敲定新块。进阶阅读材料CasperFFG初版论文——CaspertheFriendlyFinalityGadget对Eth2.0应用CasperFFG方法的分析——CombiningGHOSTandCasper

标签：CASSPEASPCasperCashBet Coinspellfire币为什么跌起来没完Caspiancasper币最新消息

XLM热门资讯