Succinct proofs and linear algebra [pdf]