TY - RPRT TI - Prover efficient public verification of dense or sparse/structured matrix-vector multiplication AU - Jean-Guillaume Dumas AU - Vincent Zucca PY - 2017 UR - https://arxiv.org/abs/1704.02768 ID - 1704.02768 ER -