push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation. - Mohsen Ahmadvand; Rok Pajnic; Ching-Lun Chiu (CoRR, 2026)