TY  - RPRT
TI  - Proving Circuit Functional Equivalence in Zero Knowledge
AU  - Sirui Shen
AU  - Zunchen Huang
AU  - Chenglu Jin
PY  - 2026
DO  - 10.1145/3830454.3832697
UR  - https://arxiv.org/abs/2601.11173
ID  - 2601.11173
ER  -