干货 | Eth1.x 术语表(上)
事务广播
P2P 网络的功能,帮助分发?新的?事务到网络中的所有节点
依赖于节点能够访问?ETH?DevP2P Protocol 或者?LES?DevP2P Protocol
依赖于执行事务验证的能力来防止对节点的 DoS 攻击
而验证事务是计算密集型的(译者注:计算密集是重点吗?还是具备相关状态数据的需求才是重点?)
区块广播
广播最新的区块
依赖于区块验证的能力
检索区块头
根据哈希
根据区块号
可批请求,所请求内容必须是连续的,或者其前后之间有一致的间隔
检索区块体
所得数据需要根据?Header.transactions_root?和?Header.uncles_root?来验证(译者注:即依据本地已有的区块头数据来验证相应区块体的完整性)
检索收据
根据区块分批检索
所得数据需要根据?Header.receipts_root?来验证
ZeroSync和Blockstream合作将从卫星广播比特币零知识证明:金色财经报道,瑞士非营利组织ZeroSync协会和比特币基础设施公司Blockstream表示,他们计划从Blockstream的卫星广播比特币零知识证明 (zk-proofs) 。使用zk-proofs来验证比特币区块链意味着节点不必下载比特币链的当前500GB数据,因此可以在几分之一秒而不是几小时或几天内同步。Blockstream的卫星网络通过将区块链广播到整个地球,包括互联网覆盖不可靠的地区,提供对比特币的免费全球访问。ZeroSync预计第一次实验广播将在今年年底进行。
新成立的ZeroSync协会于周二成立,计划通过使用零知识证明 (zk-proofs) 来帮助扩展比特币,零知识证明是一种密码技术,可以在不泄露信息本身的情况下证明信息的有效性。[2023/4/1 13:39:02]
根据哈希值来检索单个状态树节点
在未来的协议中有可能会移除,因为这种检索机制与 flat database layout 有冲突
依赖于节点能访问区块广播网络
依赖于具有从全体区块头中获得的近期区块头
依赖于执行区块验证的能力来防止 DoS 攻击
以太坊基金会、AMD、Polkadot 发起 700 万美元竞赛以促进零知识扩展:金色财经报道,ZPrize于4月19日宣布,多个加密货币项目联合起来,为使用零知识(ZK)证明的创新团队提供700万美元的奖金。该竞赛由21个Web3组织支持,包括Polygon、Polkadot、Mina和Ethereum基金会。AMD-Xilinx还将为参赛团队提供高功率的计算设备。ZPrize在一份声明中说,参赛团队将尝试设计 \"新的算法和技术,以实现最好的零知识系统无法比拟的性能指标。\"获奖者必须将其提交的材料开源,以便其他开发者能够将任何突破性的东西整合到他们的工作中。[2022/4/20 14:34:54]
验证事务需要:
有能力执行?ecrecover?操作来确定发送者(译者注:即从签名数据中恢复出发送者的地址)
确认该事务的 nonce?正是?该发起事务的账户的下一个 nonce
确认该账户的余额足以支付该事务的 gas(译者注:该检查的方法应为 `余额 > 该交易指定的 gas price * gas limit)
需要了解 EVM 的规则来计算事务的 gas 值
FMex已完成零知识证明开发工作:据了解,FMex目前已完成零知识证明开发工作,平台启动运营时将同步上线。通过零知识证明可实现平台资产数据公开透明,不可伪造。届时社区用户可通过开源工具验证资产数据。[2020/5/26]
区块验证包含下述事项中的所有内容:
检查工作量证明的 seal
比较同一高度上其它竞争区块的挖矿总难度
执行交易,以验证?Header.state_root?的正确性
需要区块执行能力
把区块号映射为该高度的主链区块的哈希值
需要从全部区块头中构建
每 100 万个区块,存储映射需占用 61 MB
区块号需要 32 字节
区块哈希值也要 32 字节
可以使用更高效的变长编码方法来减少长度
每个条目需要 64 bytes(字节)
截至 2021 年 1 月 29 日,主链区块索引总共占用约 600 MB 的空间
只能够通过验证所得区块哈希是否等于该高度上已知主链的区块哈希值来证明
动态 | 北海高新区举办区块链知识讲座:1月7日下午,由党工委书记刘永康主持,北海高新区举办了一场题为“区块链技术、应用及未来”的区块链知识讲座。本次讲座邀请到区块链及人工智能专家、广东省科技进步一等奖获得者邓超博士进行授课。邓超介绍了区块链技术在数字金融、物联网、智能制造等多个领域的应用,对“区块链”相关知识进行了全方位、多角度的解读。(北海高新技术产业开发区管理委员会)[2020/1/14]
如果能为协议引入区块头累加器的话,证明效率可以更高
把事务的哈希值映射成该事务所在主链区块的哈希值,以及该事务在该块内的索引值。
需要从历史区块体中构建
截至 2021 年 1月 29 日,总共有 10 亿笔历史事务
每个条目都需要占用 70 字节
可以使用变长编码方法来稍微减少长度
事务哈希值 32 字节
主链区块哈希值 32 字节
事务索引 4 字节
截至 2021 年 1 月 29 日,这些索引总共占用 65 GB 空间
可以使用根据?Header.transactions_root?生成的默克尔证据来证明
金色财经现场报道 Koch公司公共部门资深律师:区块链将解决知识产权存在的问题:金色财经现场报道,今日在Coindesk 2018共识会议有关基于区块链的知识产权管理的圆桌讨论上,Koch公司公共部门资深律师Stephen MacKenzie称:“如果你在Koch公司中找不到区块链的用例,那说明你可能看得不够仔细。修复知识产权领域是一个完全错误的想法,这个系统没有为此设计,它是基于纸张的,已有几十年的历史了。区块链最棒的地方在于我们有机会真正解决这个问题。 这将不是一个渐进式的改变,这是一个整体解决方案。”[2018/5/15]
一类能让我们高效证明某个区块头来自主链的机制。基于 https://ethresear.ch/t/double-batched-merkle-log-accumulator/571
区块头同步
即一个节点追赶区块链的顶端时所用的进程。基于不同的安全等级,有几种同步方法“
完全验证
从创世块起下载全体区块头
检查点式下载法
使用一个自己信任的较近区块的区块头,并从该区块头开始追及区块链
追随 HEAD(区块链最新区块)
只需追随最新区块头,就可以相当有自信(自己同步得到的是主链而非伪链)。区块链越长,攻击者要制造伪链所需付出的代价就越大
当前,只有掌握了全体区块头,才能够任意地验证其他历史数据。区块头累加器可以改善这个状态,使得一个客户端可以把检查点设在区块链顶端,而仍然能够验证历史数据。
区块同步
客户端用来 pull(拉取)历史事务和叔块信息的进程。
验证这些数据需要先有全体区块头,然后根据?Header.transactions_root?和?Header.uncles_root?来检查
收据同步
不执行 Full Sync(完全同步)的客户端往往需要通过 ETH DevP2p 协议来取得历史收据
验证这些数据需要先有全体区块头,然后根据?Header.receipts_root?和来检查
节点获得近期状态完整副本的机制。
Full Sync(完全同步)
下载所有历史区块并按顺序执行这些区块。
最简单的同步方法
计算量非常大
需要区块头同步
需要区块同步
快速同步
下载全部历史区块,以及近期状态数据的副本
使用了一个安全假设:从历史区块中得到的状态根都是正确的
要求历史同步
会给提供这些状态数据的节点造成很大的负担
Flat Dtatabase Layout 不容易满足快速同步的要求
Snap Sync(快照同步)
下载全部历史区块以及近期状态数据的副本
非常适合 Flat Dtatabase Layout
带宽、硬盘读写和耗费时间都有指数级节省
Stateless Sync(无状态同步)
这个术语并不常用,其定义也可能随时调整
不像其它状态同步方法,这一方法最终无法使节点获得近期状态数据的完整副本。就其自身而言,其用法是免去维护状态数据本地副本之需、仍能验证区块;或者,它可以与其他同步方法结合,从而能即时验证区块,然后慢慢在本地构建出可访问的完整状态数据。
需要区块广播
需要区块见证数据
Beam Sync(光子同步)
光子同步本质上就是一种无状态同步,但不要求网络提供区块见证数据。相反,客户端是按需从网络中请求所需的状态
需要按需状态检索
Access list(访问列表)的可得性大大提高了这种方法的效率
即从网络中检索任意状态元素的能力。
GetNodeData
ETH?DevP2P 协议会暴露信息对?GetNodeData/NodeData,允许检索任意状态。此消息格式可能会被弃用。
基于 DHT 的状态网络
一种设想:我们可以让状态分散在网络中的所有节点中,并使这些数据能够按需被发现及检索到。
要求节点能够:
访问待打包事务池
运行 EVM
在某些形式的 EVM 执行过程中会触及的账户和合约存储位置的列表
Static State Access(静态访问模式,SSA)
EVM 执行在某些时候会具备的一种属性:调用者可以准确地预知该次执行会触及哪些状态
Dynamic State Access(动态访问模式,DSA)
EVM 执行在某些时候会具备的一种属性:调用者无法准确地预知到底会触及哪些状态
需要 EVM 执行
就是执行给定区块中所有事务的过程
举要 EVM 的某种实现
要求能够访问该次执行所触及的状态
可以使用近期状态来实现
也可使用区块见证数据来实现
管理用于签署事务的私钥
账户一般会存储在一个 Keyfile (密钥文件)里
一种加密的存储格式,用于存储私钥
Eth2 BLS Keystore 规范:https://eips.ethereum.org/EIPS/eip-2335
Eth1 Keystore 规范:https://github.com/ethereum/wiki/wiki/Web3-Secret-Storage-Definition
解密一般来说依赖于一些密码学元件,如:?keccak、?scrypt、?pbkdf2?和 ECC/BLS12-381
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。