Prover efficient public verification of dense or sparse/structured matrix-vector multiplication

Jean-Guillaume Dumas, Vincent Zucca

With the emergence of cloud computing services, computationally weak devices (Clients) can delegate expensive tasks to more powerful entities (Servers). This raises the question of…