区块链 · 数字资产知识 · 行业资讯
文章库关于本站

安全防护

区块链分片安全不能只看速度|数据可用性与执行有效性分别验证

摘要

对照ethereum.org数据可用性与Danksharding路线说明,并用NEAR架构文档区分区块链层与运行时层,说明只展示吞吐时仍需分别核对数据是否可取回、状态转移是否可证。

区块链分片的科技主题配图

吞吐数字之外,先拆两道验证

讨论区块链分片安全时,若材料只给出更高吞吐,先把它拆成两个问题:数据是否对验证者可得,以及执行结果是否可被独立核对。ethereum.org的Data availability页把“不要信任,去验证”落实为:节点应能确认验证区块所需数据确实对网络参与者可用;缺数据的区块在层一全节点场景下会被丢弃。

该页进一步指出:模块化链、层二rollup与轻客户端场景下,数据可用性更复杂,不能假定所有人下载全部交易数据。安全阅读清单应单列“数据可用性证明方式”,而不是把分片海报上的TPS当作已完成验证。

抽样、欺诈证明与有效性证明各管什么

同一页介绍数据可用性抽样(DAS):节点下载随机小样本分片,以降低单节点负担并仍对整体可用性建立信心。对可疑状态转移,可用欺诈证明由全节点快速生成简短证据;零知识有效性证明则可在不重放全部交易的前提下保证状态转移正确,但若状态数据不可得,用户仍难以与系统交互。

Danksharding路线页说明:完整Danksharding与中间步骤Proto-Danksharding(EIP-4844)旨在让层二把数据以blob更便宜地附在区块上;blob对EVM不可访问并在固定时间后删除。它回答的是数据发布成本与可扩展路径,并不能单独替代“执行是否有效”的证明。

区块链轻节点的科技主题配图

对照:NEAR把区块链层与运行时层分开

NEAR Architectural Overview把协议粗分为blockchain layer与runtime layer,并强调二者可独立:运行时默认不关心交易从哪来,也不知道自己是否跑在分片链或何种共识之上。共享不变量包括transactions与receipts。

用它对照分片宣传材料时,可以问:材料讨论的是分片路由与共识,还是执行环境本身?若只给跨分片吞吐数字,却不说明数据如何抽样或状态如何验证,就缺少安全阅读所需的接口边界。NEAR材料不证明以太坊实现细节,只提供职责拆分参考。

边界

本文不预测某条链的分片上线时间表,不把blob容量写成绝对安全保证,也不把抽样概率写成审计结论。归档时应记录Data availability与Danksharding页的更新标记,以及NEAR架构页的抓取范围。

检索摘要与第三方评测不作事实依据;若发布者只展示速度,读者应要求同时给出数据可用性与执行有效性的验证路径说明。

← 返回全部文章

延伸阅读 · 相关栏目

安全防护钱包与账户风险识别信息核验