@misc{indiciae058aefca74e4,
  title = {Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation},
  author = {Javier Ron and Martin Monperrus},
  year = {2026},
  url = {https://arxiv.org/abs/2602.11887},
  note = {Source identifier: 2602.11887}
}