@misc{indiciae4143fbe1c496,
  title = {Certifying Zero-Knowledge Circuits with Refinement Types},
  author = {Junrui Liu and Ian Kretz and Hanzhi Liu and Bryan Tan and Jonathan Wang and Yi Sun and Luke Pearson and Anders Miltner and Işıl Dillig and Yu Feng},
  year = {2023},
  url = {https://arxiv.org/abs/2304.07648},
  note = {Source identifier: 2304.07648}
}