Zyga: Optimized Zero-Knowledge Proofs with Dynamic Public Inputs. - Tiago A. O. Alves; Vitor Py Braga (IACR Cryptol. ePrint Arch., 2025)