Extending Groth16 for Disjunctive Statements. - Xudong Zhu; Xinxuan Zhang; Xuyang Song; Yi Deng 002; Yuanju Wei; Liuyu Yang (IACR Cryptol. ePrint Arch., 2025)