Folding Custom Gates with Verifier Input. - Aard Vark; Yan X. Zhang (CoRR, 2024)