Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations

David Lucas, Vincent Neiger, Clément Pernet +2

We design and analyze new protocols to verify the correctness of various computations on matrices over the ring F[x] of univariate polynomials over a field F. For the sake of effic…