zkMatrix: Batched Short Proof for Committed Matrix Multiplication.

Mingshu Cong Tsz Hon Yuen Siu Ming Yiu

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

matrix multiplication
message passing
distributed memory
theorem prover
matrix factorization
theorem proving
image processing
optimal solution