blob sidecars如何核验完整性？

Blob sidecar把大体积blob数据及其证明放在Beacon区块主体之外传播。一个API返回200，只说明服务器完成了请求；它不证明每个应有sidecar都返回、内容属于目标区块，或KZG证明有效。

六个字段组成一份sidecar标本

Deneb BlobSidecar包含index、blob、kzg_commitment、kzg_proof、signed_block_header和kzg_commitment_inclusion_proof。

index指明它对应区块体中第几个blob commitment；blob是数据本体；kzg_commitment是对blob的承诺；kzg_proof用于验证数据与承诺关系；signed_block_header锚定区块；kzg_commitment_inclusion_proof证明该承诺被包含在区块体承诺列表。

层级	主要对象	失败含义
身份层	block root、header、slot	拿错区块或响应混杂
包含层	index、commitment、Merkle branch	承诺不属于该区块体
数据层	blob、commitment、KZG proof	数据与承诺不匹配

任何一层失败都应丢弃该sidecar，不应因其他字段看起来合理而继续保存为已验证数据。

第一层先确认区块身份

请求中使用slot、block root或其他block id时，响应里的signed_block_header必须与预期对象一致。以root作为长期归档键通常比只用slot更明确，因为异常或分叉观察中同一位置可能需要区分具体根。还要验证头部签名与规范上下文。

若API提供者在请求期间跟随head变化，使用“head”这类动态标识可能导致两次调用看到不同区块。需要稳定复核时，先解析到确定root，再按root获取sidecars。

第二层验证承诺确实进入区块

验证sidecar需确认已签名区块头、commitment在区块体中的包含证明，以及KZG proof对blob与commitment的密码学关系。

根据index选择承诺位置，用kzg_commitment_inclusion_proof验证该承诺包含于已锚定区块体。只比较commitment字符串是否出现在另一个API响应里不够，因为另一个响应也可能来自错误区块或不可信来源。

包含证明有效后，只能说明这个承诺属于区块；还没有证明拿到的blob数据与承诺相符。系统应把两次验证结果分开记录，便于定位是Merkle路径错误还是KZG验证错误。

第三层执行KZG关系检查

使用与当前fork一致的受信实现验证blob、kzg_commitment与kzg_proof。不要自行截断blob、改变字节序或把十六进制文本直接当字段元素。验证库、可信设置和客户端版本应随审计日志保存。

批量验证可以提高性能，但失败后要能定位具体index。生产系统还应限制输入大小与解析资源，避免恶意响应消耗过多内存。

条目数量必须由区块推导

sidecar index与blob_kzg_commitments顺序对应，完整性应按该区块实际commitment集合核对，不能假设每块固定数量blob。

并非每个区块都有固定数量blob。正确做法是从目标区块的blob_kzg_commitments得到预期数量与索引集合，再检查sidecars是否覆盖0到N-1、是否重复、是否越界。空集合可以是合法区块，缺少某个中间index则是不完整响应。

两家API都返回三条并不自动证明完整，可能两家都缓存了同一缺失结果。交叉验证应比较区块根、commitment列表和每个sidecar的密码学验证，而不只是数组长度。

API版本与保留期需要显式记录

Beacon API各端点独立版本化，客户端应记录节点实现、API版本、block id和获取时间。

Beacon API端点独立演进，客户端实现也可能在不同fork暴露不同数据可用范围。归档任务应记录网络、fork、consensus client名称与版本、API规范版本、请求URL、block root、访问时间和验证库版本。

历史sidecar可能受节点保留策略影响。资源不可用不等于该区块从未有blob，需区分“当时没有”“当前节点不再保存”和“提供者暂时失败”。关键归档应尽早获取，并按组织要求在独立存储验证备份。

失败响应怎样安全降级

缺索引、证明失败或来源不一致时，把整组状态标为partial或invalid，停止依赖它进行高价值决策；随后从另一个独立节点按确定root重新获取。不要用零值填补缺失blob，也不要把上一块sidecar复制到当前slot。最终报告逐项列出预期索引、收到索引与验证结果。

完整是针对某个区块根的可验证结论

sidecar数量、索引覆盖、区块包含证明和KZG证明必须指向同一个区块对象。保存fork与客户端版本，才能让今天的校验在协议演进后仍可解释。