arXiv · 区块链与交易研究· Cheng, Ru, Yin, Maofan, Chen, Liangrong, Zhou, Lizan, Wu, Chenyuan·· 10 天前
Weaver 研究提出状态解耦的区块链交易并行执行范式
原标题
Weaver: Unlocking Blockchain Transaction Parallelism through State-Decoupled Symbolic Execution
内容摘要
论文提出 Weaver，一种状态解耦的交易处理范式，在具体状态值未就绪时以轻量符号引用代表状态并记录符号表达式，使执行流程继续推进。针对依赖状态的控制流，Weaver 通过分层符号模式匹配预测最可能的分支方向，并引入表达式粒度调度，在状态依赖解析后即评估各符号表达式，而非等待整笔交易读取集。作者在真实以太坊区块及覆盖四个 dApp 的合成负载上的评估显示，Weaver 吞吐比现有最先进并行执行引擎高 41% 至 63%，最高达串行执行的 7.5 倍。
来源：arXiv · 区块链与交易研究 · arxiv.org
打开原文读懂这条消息
来自 Learn 的概念与核对方法，帮助理解新闻中的机制和口径。
来源核验知识更新
如何核验区块链新闻？从转发热度追到原始证据
核验一条区块链消息，先确定它主张了什么、涉及哪个资产或协议，再追到原始公告、交易记录或提案，并对齐发布、采样和生效时间。多家转载同一出处不能算多份独立证据，事件热度也不是事实可信度。
原始证据、转述和判断分别记录
原始证据可以是项目或交易所公告、治理提案、状态页、对应网络的交易记录。媒体解读提供背景，但应标明其依据；作者对未来影响的分析则属于判断。保留原文链接、发布者和时间，让下一位读者能复查相同材料。
区块知识更新
区块链是什么？从一笔交易理解区块、共识和链上记录
区块链是一种由多个节点按共同规则维护的记录系统：交易被验证、排序并写入相互关联的区块。它帮助参与者核对同一份历史，但不能单凭记录上链证明现实资料真实、项目可靠或资产有价值。
阅读完整说明 →执行知识更新
治理提案通过就是生效了吗？从投票追到执行交易
提案、投票通过、排队等待与执行完成是不同状态。判断协议参数是否已改变，应确认实际治理流程、执行交易和目标网络，不能只读“通过”标题。
阅读完整说明 →