zkMatrix: Batched Short Proof for Committed Matrix Multiplication.

Mingshu Cong Tsz Hon Yuen Siu-Ming Yiu

Published in: AsiaCCS (2024)

Keyphrases

matrix multiplication
message passing
matrix factorization
theorem prover
distributed memory
theorem proving
computer vision
distributed systems
computer systems