HF1 为信标链首次硬分叉的暂时代码名称 (点进链接参与协议升级永久命名的讨论),这次升级的主要目标为:
1. 增加轻客户端支持
2. 修复一些信标链上的漏洞,这些漏洞发现时间比较晚,来不及在创世前修复
3. 在需要进行较大的更新 (分片、合并) 之前,先在相对较小的更新中对硬分叉机制进行测试
HF1 提议的共识改变
同步委员会
我们在信标链上添加了随机取样的 “同步委员会”。这样做的目的是让轻客户端以较低的开销 (每天至少需要约20KB来保持,需要约500个字节来确定单个区块) 来确定信标链头。这将使得轻客户端实际上可用于移动设备、信标链 之类的浏览器内的应用案例 (以及合并后的整个以太坊),从而为更加去信任的钱包生态打好基础。
在每个时间段(约27小时)内,随机选择 1024 位验证者作为同步委员会的成员。同步委员会中的验证者将发布证明当前链头的签名。这些签名将作为LightClientUpdate对象的一部分被广播至区块链,这可以帮助轻客户端找到链头;并且签名会被打包进链,验证者会分得奖励。
Vitalik联合发表《区块链隐私和监管合规:迈向实际平衡》论文:9月6日消息,以太坊联合创始人 Vitalik Buterin 同 Chainalysis、巴塞尔大学等机构研究人员联合发表名为《Blockchain Privacy and Regulatory Compliance: Towards a Practical Equilibrium(区块链隐私和监管合规:迈向实际平衡)》的论文。论文研究了隐私池(Privacy Pools),一种基于智能合约的增强隐私协议。
论文讨论了该协议的优缺点,并展示了它如何被应用来创建一个诚实用户和不诚实用户之间的分离均衡。论文的核心思想是允许用户发布零知识证明,证明他们的资金(不)来源于已知(不)合法来源,而无需公开揭示他们整个交易图谱。通过证明满足某些属性要求的自定义关联集合中的成员身份,从而达到此目标,这些属性要求由监管或社会共识所规定。这篇论文可能是朝着未来人们可以在无需披露整个交易历史情况下证明符合监管要求方面迈出的第一步。[2023/9/7 13:22:27]
主要PR:
Vitalik于5小时前向Coinbase转入600枚ETH:8月21日消息,以太坊联合创始人Vitalik Buterin于5小时前通过vitalik.eth地址向Coinbase转入600枚ETH。[2023/8/21 18:13:31]
https://github.com/ethereum/eth2.0-specs/pull/2130
核算改革 (第一层)
给验证者的奖励不再通过计算得出。此前,我们的方法为存储PendingAttestation对象然后在最后对它们进行处理。而现在我们添加了一个位字段以存储每个验证者的状态,从而可以实时收集参与数据。位字段按照“混洗”的方法进行排序,以确保同一个委员会的验证者的记录同时显示。这一改变的目的是简化客户端实现,并使得更新默克尔树的成本更低。
https://github.com/ethereum/eth2.0-specs/pull/2176
Vitalik发文表达对“人格生物特征证明”的看法:7月24日消息,以太坊联合创始人Vitalik Buterin今日发表文章“What do I think about biometric proof of personhood?”以表达对人格生物特征证明的看法。他表示原则上,人格证明的概念似乎非常有价值,虽然各种实现方式都有其风险,但完全没有任何人格证明也有其风险:没有人格证明的世界似乎更有可能是一个由中心化身份解决方案、金钱、小型封闭社区或三者的某种组合主导的世界。
在许多人格证明项目中——不仅是Worldcoin,还有人类证明、Circles等——“旗舰应用程序”是内置的“N-per-person token”(有时称为“UBI 代币”)。每个在系统中注册的用户每天(或每小时或每周)都会收到一些固定数量的代币。在许多这样的情况下,共同的主线是希望创建开放和民主的机制,避免项目运营商的集中控制和最富有的用户的统治。[2023/7/24 15:55:33]
核算改革 (第二层)
Vitalik Buterin将出镜的以太坊纪录片3天内超额募资1035.96枚ETH:7月19日消息,Vitalik Buterin将出镜的一部以太坊的纪录片“Ethereum:TheInfiniteGarden”在3天的时间内超额募资1035.96枚ETH(约197万美元),该纪录片的筹资目标为750枚ETH。募资金额的95%将用于电影的制作预算,约984.16枚ETH;2%通过捐赠至Carbonfund进行碳抵消,约20.72枚ETH;3%捐赠给GitcoinGrants用来支持开源以太坊项目,约31.08枚ETH。根据该纪录片预计的时间表,该影片将于2023年冬季推出。[2021/7/19 1:02:38]
我们每 64 个 epochs 更新一次验证者集并进行一次惩罚核算,而不再每个 epoch都计算一次。这样做是为了极大地降低处理“空时段过渡 (empty epoch transitions)”的复杂性——比如,在一条参与率非常低的链中,两个相继的区块之间隔了一千个 slot,其间仅有空块。目前为了处理这样的链,客户端们将需要每个epoch重新计算一次验证者的余额以对验证者执行怠工惩罚。而这项提案应用之后,客户端仅需要每隔 64 个 epoch 核算一次。
VitalHu部署基于区块链的冠状病筛查工具:金色财经报道,加拿大技术公司VitalHub Corp于4月8日宣布首次部署一种基于区块链的冠状病筛查工具DOCit。该工具将由滑铁卢地区名为Sunny Side Home的长期护理机构使用。该工具旨在部署和配置任何筛查或重复任务,从而为护理提供者、运营人员以及国家、省或地区卫生当局制定报告标准。[2020/4/9]
此外,我们对怠工惩罚 (inactivity leaks) 增加了两项变动:
1. 每个验证者的怠工惩罚力度降低至1/4。也就是说,如果链上出现怠工惩罚,当一个完全离线的验证者损失其余额的~10%的数额时,在此期间另一个90%都在线的验证者仅损失其余额的~0.1% (而不是~1%)。这样做是为了加大对作恶节点的惩罚力度,对那些仅仅由于网络连接不佳而掉线的验证者则降低惩罚力度。点进链接查看更多的讨论
2. 区块敲定后怠工惩罚会逐渐减少,而不会停止。即区块被敲定后,离线节点的余额将持续减少,这样确保了参与率显著高于2/3,而不是刚刚超过阈值。点进链接查看更多的讨论 (不过请注意与此处略有不同)。
主要PRs:
https://github.com/ethereum/eth2.0-specs/pull/2192
https://github.com/ethereum/eth2.0-specs/pull/2194
惩罚常数调整
很庆幸,尽管我们还没有完全解决验证者惩罚的问题,但在某种程度上已经摆脱了困境。我们会改变以下常数:
1. INACTIVITY_PENALTY_QUOTIENT:
从2**26(= 67,108,864) 减少至3 * 2**24(= 50,331,648)
2. PROPORTIONAL_SLASHING_MULTIPLIER:
从1提高至2
3. MIN_SLASHING_PENALTY_QUOTIENT:
从2**7 (= 128)减少至2**6(= 64)
HF1 提议的分叉选择变更(大概)与HF1同步部署
通过 (block, slot)对来做分叉选择
目前,如果在最近的 slot 里没有区块发布,那么出于 LMD GHOST 证明的目的,该 slot 里面的证明会被算作支持证明者所支持的最近区块。例如,在下图,空白 (BLANK) 区块的证明也会算入 A 的证明里。
但是,这容易招致 34% 攻击。如果有m名验证者被分配到每个 slot,那么一个恶意攻击者就可以控制每个 slot 的0.34 * m。攻击是这样进行的:攻击者不发布 B,且不发布任何他们的证明。所有的诚实证明者对他们在slotn看到A、在slotn+1什么都没看到的声明进行投票,在slot n+2,诚实提议者会在区块A上生成区块C,而诚实的验证者们会支持C。此时,恶意提议者发布B并对slot n+1和n+2做证明。这样,底部分叉有0.68 * m的验证者支持它,而顶部分叉只有0.66 * m的验证者支持,由此底部分叉胜出。
这样的攻击在此论文的 3.1部分有详细描述:
https://econcs.pku.edu.cn/wine2020/wine2020/Workshop/GTiB20_paper_8.pdf
提议的修复方案是改变分叉选择的运作方式——让分叉选择在 (block, slot) 对的树上操作,而不是在区块树上。因此,在slotn+1的诚实投票会算作在上图对 (BLANK, n+1)的投票,也就是会被正确算作支持顶部分叉,那么顶部分叉的支持率会变成1.32 * m,由此能够打败攻击。
主要PR:
https://github.com/ethereum/eth2.0-specs/pull/2197
分叉选择对称攻击修复
分叉选择还存在“对称攻击” ?(balance attack),攻击是这样形成的:有2%的验证者在一个slot结束之前发布少量证明,让大于49%的网络的人认为区块A胜出,让大于49%的网络的人认为区块B胜出。如果他们对广播计时准确,针对每组人群的信息会及时到达,且在slot的边界时间结束前不够时间重新广播信息到其他组。如果网络环境对攻击者而言是最理想的话,这样的攻击他们可以无限重复。
提议的修复方案是通过赋予下一个slot的提议者暂时但重要的分叉选择权来“打破对称” ,他们能决定所有验证者在分叉的哪一边。
重要的文档:
https://notes.ethereum.org/@vbuterin/lmd_ghost_mitigation
原文链接:
https://notes.ethereum.org/@vbuterin/HF1_proposal#Proposed-consensus-changes-in-HF1
来源 |?notes.ethereum.org/@vbuterin
作者 | Vitalik Buterin
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。