干货|Eth1.x术语表
节点行为
Gossip
事务广播
P2P网络的功能,帮助分发?新的?事务到网络中的所有节点
依赖于节点能够访问?ETH?DevP2PProtocol或者?LES?DevP2PProtocol
依赖于执行事务验证的能力来防止对节点的DoS攻击
而验证事务是计算密集型的
区块广播
广播最新的区块
依赖于区块验证的能力
历史数据检索
检索区块头
根据哈希
根据区块号
可批请求,所请求内容必须是连续的,或者其前后之间有一致的间隔
检索区块体
所得数据需要根据?Header.transactions_root?和?Header.uncles_root?来验证
检索收据
根据区块分批检索
所得数据需要根据?Header.receipts_root?来验证
状态检索
MetisDAO:正结合Optimistic Rollup和零知识证明构建首个混合Rollup:金色财经报道,以太坊扩容解决方案MetisDAO官方宣布,正在通过将Optimistic Rollup架构与零知识证明相结合来构建首个混合Rollup,为以太坊开发人员提供安全、对开发人员友好的第2层,以部署所有类型的去中心化应用程序。[2023/3/3 12:40:27]
根据哈希值来检索单个状态树节点
在未来的协议中有可能会移除,因为这种检索机制与flatdatabaselayout有冲突
追随区块链
依赖于节点能访问区块广播网络
依赖于具有从全体区块头中获得的近期区块头
依赖于执行区块验证的能力来防止DoS攻击
事务验证
验证事务需要:
有能力执行?ecrecover?操作来确定发送者
确认该事务的nonce?正是?该发起事务的账户的下一个nonce
确认该账户的余额足以支付该事务的gas
需要了解EVM的规则来计算事务的gas值
区块验证
区块验证包含下述事项中的所有内容:
零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0:1月6日消息,零知识证明技术开发公司 StarkWare 宣布推出第一个公开版本的 Cairo 1.0,Cairo 于 2020 年作为图灵完备的编程语言首次推出,用于高效编写 STARK 可证明的程序。Cairo 1.0 中最重要的变化之一是语法,新版本的 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra,这是一种新的中间表示,可确保每次 Cairo 运行都可以得到证明。StarkWare 表示,预计在接下来的几周内,提供与旧版本相同的 Cairo 1.0 功能,对 StarkNet 合约的支持将在即将到来的 StarkNet Alpha 版本中加入。[2023/1/6 10:24:18]
检查工作量证明的seal
计算密集型
比较同一高度上其它竞争区块的挖矿总难度
执行交易,以验证?Header.state_root?的正确性
需要区块执行能力
计算密集型
主链索引
主链区块索引
把区块号映射为该高度的主链区块的哈希值
需要从全部区块头中构建
多链Web3生态Hacker资助计划Dora Grant DAO首轮零知识投票环节结束:11月14日消息,社区驱动的多链Web3生态开源极客资助计划Dora Grant DAO已于北京时间11月13日23:59在开发者激励平台DoraHacks.io关闭首轮投票通道。投票最终结果和零知识证明文件将于14日晚八时公布。首期20万美金Grant奖金将会根据投票结果的排序进行发放。
Dora Grant DAO计划旨在持续支持在以下三个领域的多链Web3开源极客团队:多链Web3核心基础设施和工具,加密原生应用,加密-前沿科技交叉领域。[2022/11/14 13:01:29]
每100万个区块,存储映射需占用61MB
区块号需要32字节
区块哈希值也要32字节
可以使用更高效的变长编码方法来减少长度
每个条目需要64bytes
截至2021年1月29日,主链区块索引总共占用约600MB的空间
只能够通过验证所得区块哈希是否等于该高度上已知主链的区块哈希值来证明
如果能为协议引入区块头累加器的话,证明效率可以更高
主链事务索引
声音 | 卡巴斯基:消费者不信任加密货币是因为缺乏理解和知识匮乏:据CCN消息,网络安全公司卡巴斯基实验室发布的调查报告显示,消费者对加密货币的兴趣日益浓厚,但只有十分之一的人完全了解加密货币的工作原理,29%的受访者表示他们对数字货币“有所了解”。卡巴斯基对此表示,缺乏理解可能导致消费者不信任加密货币,消费者方面的知识匮乏正在放缓加密货币的普及速度。[2019/6/23]
把事务的哈希值映射成该事务所在主链区块的哈希值,以及该事务在该块内的索引值。
需要从历史区块体中构建
截至2021年1月29日,总共有10亿笔历史事务
每个条目都需要占用70字节
可以使用变长编码方法来稍微减少长度
事务哈希值32字节
主链区块哈希值32字节
事务索引4字节
截至2021年1月29日,这些索引总共占用65GB空间
可以使用根据?Header.transactions_root?生成的默克尔证据来证明
区块头累加器
一类能让我们高效证明某个区块头来自主链的机制。基于https://ethresear.ch/t/double-batched-merkle-log-accumulator/571
动态 | 交通运输部运输服务司举办区块链知识讲座:中国交通新闻网10月16日讯,交通运输部运输服务司近日与中国汽车保修设备行业协会共同举办区块链知识讲座。运输服务司综合处处长李华强、车辆处处长丁昌武、副处长曹磊、货运处处长余兴源、副处长柴晓军、客运处处长许宝利等二十多人参加。会议提出了用“区块链+”汽车诊断设备和监控设备,来解决拥堵、环保、第三方安全取证等道路交通出行问题。会议积极探索了目前汽车行业在“区块链”技术方面的应用。[2018/10/16]
同步
历史同步
区块头同步
即一个节点追赶区块链的顶端时所用的进程。基于不同的安全等级,有几种同步方法“
完全验证
从创世块起下载全体区块头
检查点式下载法
使用一个自己信任的较近区块的区块头,并从该区块头开始追及区块链
追随HEAD
只需追随最新区块头,就可以相当有自信。区块链越长,攻击者要制造伪链所需付出的代价就越大
当前,只有掌握了全体区块头,才能够任意地验证其他历史数据。区块头累加器可以改善这个状态,使得一个客户端可以把检查点设在区块链顶端,而仍然能够验证历史数据。
区块同步
客户端用来pull历史事务和叔块信息的进程。
验证这些数据需要先有全体区块头,然后根据?Header.transactions_root?和?Header.uncles_root?来检查
收据同步
不执行FullSync的客户端往往需要通过ETHDevP2p协议来取得历史收据
验证这些数据需要先有全体区块头,然后根据?Header.receipts_root?和来检查
状态同步
节点获得近期状态完整副本的机制。
FullSync
下载所有历史区块并按顺序执行这些区块。
最简单的同步方法
计算量非常大
需要区块头同步
需要区块同步
快速同步
下载全部历史区块,以及近期状态数据的副本
使用了一个安全假设:从历史区块中得到的状态根都是正确的
要求历史同步
会给提供这些状态数据的节点造成很大的负担
FlatDtatabaseLayout不容易满足快速同步的要求
SnapSync
下载全部历史区块以及近期状态数据的副本
使用了一个安全假设:从历史区块中得到的状态根都是正确的
要求历史同步
非常适合FlatDtatabaseLayout
带宽、硬盘读写和耗费时间都有指数级节省
StatelessSync
这个术语并不常用,其定义也可能随时调整
不像其它状态同步方法,这一方法最终无法使节点获得近期状态数据的完整副本。就其自身而言,其用法是免去维护状态数据本地副本之需、仍能验证区块;或者,它可以与其他同步方法结合,从而能即时验证区块,然后慢慢在本地构建出可访问的完整状态数据。
需要区块广播
需要区块见证数据
BeamSync
光子同步本质上就是一种无状态同步,但不要求网络提供区块见证数据。相反,客户端是按需从网络中请求所需的状态
需要区块广播
需要按需状态检索
Accesslist的可得性大大提高了这种方法的效率
OnDemandStateRetrieval
即从网络中检索任意状态元素的能力。
GetNodeData
ETH?DevP2P协议会暴露信息对?GetNodeData/NodeData,允许检索任意状态。此消息格式可能会被弃用。
基于DHT的状态网络
一种设想:我们可以让状态分散在网络中的所有节点中,并使这些数据能够按需被发现及检索到。
执行
挖矿
要求节点能够:
访问待打包事务池
运行EVM
AccessList
在某些形式的EVM执行过程中会触及的账户和合约存储位置的列表
StateAccessPatterns
StaticStateAccess
EVM执行在某些时候会具备的一种属性:调用者可以准确地预知该次执行会触及哪些状态
DynamicStateAccess
EVM执行在某些时候会具备的一种属性:调用者无法准确地预知到底会触及哪些状态
区块执行
需要EVM执行
就是执行给定区块中所有事务的过程
计算密集型
EVM执行
举要EVM的某种实现
要求能够访问该次执行所触及的状态
可以使用近期状态来实现
也可使用区块见证数据来实现
账户管理
管理用于签署事务的私钥
账户一般会存储在一个Keyfile里
密钥文件
一种加密的存储格式,用于存储私钥
Eth2BLSKeystore规范:https://eips.ethereum.org/EIPS/eip-2335
Eth1Keystore规范:https://github.com/ethereum/wiki/wiki/Web3-Secret-Storage-Definition
解密一般来说依赖于一些密码学元件,如:?keccak、?scrypt、?pbkdf2?和ECC/BLS12-381
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。