Lila: 面向函数包管理模型的去中心化构建可重复性监控
软件工程
2026-01-29 v1
摘要
确保软件构建制件的完整性是现代软件工程日益重要的关注点,受到日益复杂的构建系统、分发渠道和开发基础设施攻击的推动。可重复构建 -即独立从相同源代码构建的二进制可被验证与分发制件逐位相同 -为软件分发的透明度和信任提供了原则性基础。尽管具有潜力,可重复构建的大规模采用面临两个重大挑战:在庞大的软件集合中实现高可重复性率,以及建立能够在非常大规模下运行的可重复性监控基础设施。虽然最近的研究表明在大规模下可以实现高可重复性率 -Nix 生态系统在超过 80,000 个软件包上实现了 90% 以上的可重复性 -但有效的可重复性监控问题仍基本未解决。本文通过引入 Lila,一个针对函数包管理模型的去中心化系统来解决可重复性监控挑战。Lila 使构建结果能够分布式报告并聚合到可重复性数据库中,既惠及实践者,也惠及未来的实证构建可重复性研究。
引用
@article{arxiv.2601.20662,
title = {Lila: Decentralized Build Reproducibility Monitoring for the Functional Package Management Model},
author = {Julien Malka and Arnout Engelen},
journal= {arXiv preprint arXiv:2601.20662},
year = {2026}
}