LogaLookup: Efficient Multivariate Lookup Argument for Accelerated Proof Generation. - Dien H. A. Tran; Tam N. B. Nguyen; Nhien-An Le-Khac; Thuc D. Nguyen (AsiaCCS, 2025)