Doubly-Efficient Batch Verification in Statistical Zero-Knowledge. - Or Keret; Ron Rothblum; Prashant Nalini Vasudevan (Electron. Colloquium Comput. Complex., 2024)