Gryphes: Hybrid Proofs for Modular SNARKs with Applications to zkRollups. - Jiajun Xin; Samuel Cheung On Tin; Christodoulos Pappas; Yongjin Huang; Dimitrios Papadopoulos 001 (Proc. Priv. Enhancing Technol., 2026)