Cardano 将开源溯源记录引入链上
Cardano 基金会的 HAL 团队推出了“溯源证明”(Proof of Provenance),一种旨在通过可验证的审计追踪来记录 Cardano 上软件系谱、依赖性和测试历史的基础设施举措。
By SongMarketCap
Updated:
Cardano 基金会在最近的开放办公时间会议中推出了“溯源证明”(Proof of Provenance,缩写为 PoP),这一项目是围绕着开源世界尚未解决的问题而建构的。尽管开发是开放的,但信任、发布和协调背后的基础设施仍然严重集中化。实际上,大量的软件开发仍然依赖于 GitHub 等平台,即便分布式已被视为行业核心价值之一。
这正是赋予 PoP 实际价值的原因。这不仅仅是一个象征性的区块链试验,而是直接尝试创建一个能够验证开发人员、发布内容、关键依赖项以及如何随时间认证关键产物的可核查记录。对 Cardano 而言,这使项目不仅仅局限于开发者工具的范围,因为它指向一个具体的基础设施使用案例,超越了通常的 DeFi 和代币叙事。
Cardano 瞄准开源开发中 GitHub 的瓶颈
演讲中最尖锐的一点也是最简单的,开源开发在实际操作中仍然是集中化的。演讲者公开指出,绝大多数项目,包括与 Cardano 相关的项目,都依赖于 GitHub。虽然这种模式非常高效,但它同时将信任集中在一个公司、一个司法辖区和一个治理环境中。在一个地缘政治和监管压力能够重塑访问和控制的市场中,这并非小问题,而是一种基础设施风险。
其次的问题是开源供应链本身的脆弱性。关键系统往往依赖于小型软件包、资源不足的维护人员以及责任链条的不透明。这些问题在演讲中多次被提出,谁是真正支持这些基本组件的人?谁对它们负责?如何让这些链接更易于验证?
Cardano 的答案并不是彻底替代 GitHub,而是为软件生命周期添加一个透明的验证层。
这尤为重要,因为 Cardano 基金会将这一努力与生态系统内一个更广泛的问题联系起来——实际应用。演讲者明确表示,Cardano 需要更多实际采用和更多内部试验,也就是说 Cardano 构建者需要更多地使用网络进行实际开发工作流程。这使 PoP 超越了一个单纯的安全性附属项目,而成为了一个关于 Cardano 是否能够支持日常使用中的严肃基础设施的测试。
溯源证明为 Cardano 带来软件系谱和依赖性
溯源证明的核心是使软件的溯源变得可审核。该项目旨在追踪开发者身份、软件版本、签名发布、产物唯一性以及软件包之间的依赖关系。目标并不是将完整的源代码上链,而是记录那些使软件更易于验证、检查和信任的元数据及其关系。
讨论中最重要的方向之一是基于 Cardano 的软件材料清单。在实际应用中,这意味着可以看到哪个项目依赖于哪个软件包、涉及哪些版本以及关键弱点位于栈中的哪个位置。这将增强安全性分析,同时也具有更广泛的生态系统意义。如果依赖图变得更加透明,就更容易识别哪些开源项目具有真正的结构性重要性,并值得更多关注和资助。
这使得该项目对于 Cardano 战略上更加有趣。多年来,去中心化通常被作为一种原则进行讨论,而溯源证明则试图将这一原则转化为基础设施。如果成功,Cardano 将在软件系统的验证和跟踪方面获得更可信的角色,这是一种比短暂的市场叙事更持久的有用类别。
Antithesis 展示了 Cardano 实用基础设施使用案例
演讲中最具体的部分集中在 Antithesis,一个用于网络和节点的确定性模拟测试的工具。HAL 团队表示,这已经是 PoP 的第一个活跃使用案例,其模型旨在跟踪谁访问这一资源、如何使用以及如何维护这些交互的透明审计路径。这是一个重要的转变,因为它将讨论从概念转到实施层面。
这种可见性对昂贵或关键的基础设施来说最为重要。如果一个共享的测试系统被提供给社区,并涉及生态系统资源,那么围绕访问、使用和结果的透明性不仅仅是技术细节,而是负责任的基础设施管理的一部分。演讲者还提出,这样一个系统最终可以提供某个软件在测试中模拟过哪些场景的中立记录,从而随着时间的推移增强对开发质量的信心。
从技术上讲,该系统依赖于 Merkle Patricia Forestry 和 Aiken 智能合约。数据保持链下,而 Cardano 用于存储和跟踪哈希根及其状态变更。一个独特的 NFT 代表了知识状态,而智能合约控制着状态如何改变。用户提交请求以插入或删除事实,一个 oracle 决定哪些请求被接受到最终状态中。团队没有掩盖这一权衡,oracle 仍然具有过滤功能,这意味着信任并未完全移除。但由于交易留存可重建路径,过程变得显著透明。这虽然不是完全去信任化,但确实是向更可审查的模型迈出了一步。
溯源证明本身可能不会成为一个零售方面的头条新闻,但这并不意味着它对 Cardano 的故事来说较小。如果该网络希望证明它可以支持严肃的基础设施,这正是那种真正重要的举措,因为它在最难伪造实用性的地方测试了 Cardano——开发工作流程,问责制,可验证性以及实网络使用。