ZK-rollup如何通过数据可用性保障状态变更的可验证性
ZK-rollup依赖数据可用性确保状态变更的可验证性。若数据不可用，用户无法验证其余额或执行状态更新。数据可用性不同于数据可检索性，以太坊核心协议关注数据可用性。
ZK-rollup的数据可用性需求
ZK-rollup依赖数据可用性来确保状态变更的可验证性。用户需要访问状态数据才能验证其余额或执行状态更新。若数据不可用，ZK-rollup的正确性无法验证，用户可能无法执行状态更新。
数据可用性与数据可检索性的区别
数据可用性指全节点能够访问并验证特定区块的所有交易数据，而数据可检索性指节点能够获取历史信息。以太坊协议主要关注数据可用性，而非数据可检索性。
数据可用性保障机制
数据可用性采样（DAS）是一种验证数据可用性的方法。节点随机下载部分数据，若能成功下载，则可高度确信全部数据可用。此方法依赖数据擦除编码，确保数据可恢复。
数据不可用的风险与应对
若数据不可用，ZK-rollup的正确性无法验证，用户可能无法执行状态更新。为应对此问题，DAS和欺诈证明被提出，以确保数据可用性并防止恶意行为。
资料与延伸阅读
你可以通过以下原始资料核对文中概念，并继续深入阅读。