Zinnia: An Expressive and Efficient Tensor-Oriented Zero-Knowledge Programming Framework. - Zhantong Xue; Pingchuan Ma 004; Zhaoyu Wang; Shuai Wang 011 (IACR Cryptol. ePrint Arch., 2025)