@misc{indiciae7ad7743ccf39,
  title = {Proving Circuit Functional Equivalence in Zero Knowledge},
  author = {Sirui Shen and Zunchen Huang and Chenglu Jin},
  year = {2026},
  doi = {10.1145/3830454.3832697},
  url = {https://arxiv.org/abs/2601.11173},
  note = {Source identifier: 2601.11173}
}