TY  - RPRT
TI  - Certifying Zero-Knowledge Circuits with Refinement Types
AU  - Junrui Liu
AU  - Ian Kretz
AU  - Hanzhi Liu
AU  - Bryan Tan
AU  - Jonathan Wang
AU  - Yi Sun
AU  - Luke Pearson
AU  - Anders Miltner
AU  - Işıl Dillig
AU  - Yu Feng
PY  - 2023
UR  - https://arxiv.org/abs/2304.07648
ID  - 2304.07648
ER  -