zkMatrix: Batched Short Proof for Committed Matrix Multiplication
Published in 19th ACM Asia Conference on Computer and Communications Security (AsiaCCS 2024), Singapore, 2024
Recommended citation: Mingshu Cong, Tsz Hon Yuen, and Siu-Ming Yiu. “zkMatrix: Batched Short Proof for Committed Matrix Multiplication.” In Proceedings of the 19th ACM Asia Conference on Computer and Communications Security (AsiaCCS 2024), pp. 289–305, 2024. https://doi.org/10.1145/3634737.3645003
This paper presents zkMatrix, a zero-knowledge proof system for multiplication of committed matrices. It is the first zk-SNARK designed specifically for matrix multiplication, achieving (O(n^2)) prover time and memory use, with efficient batching for additional multiplications.