Title: Dot-Product Proofs Speaker: Prahladh Harsha (TIFR Mumbai) Details: July 28 (Monday) | 11:30 AM | Bharti 501 Abstract: A dot-product proof is a simple probabilistic proof system in which the verifier decides whether to accept an input vector based on a single linear combination of the entries of the input and a proof vector. In this… Read More »Dot-Product Proofs by Prahladh Harsha