@misc{indiciaec6374d0bb2d1,
  title = {Formally Verifying Noir Zero Knowledge Programs with NAVe},
  author = {Pedro Antonino and Namrata Jain},
  year = {2026},
  url = {https://arxiv.org/abs/2601.09372},
  note = {Source identifier: 2601.09372}
}