Nir Bitansky, Prahladh Harsha, Yuval Ishai, Ron D. Rothblum, David J. Wu 0001. Dot-Product Proofs and Their Applications. In 65th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2024, Chicago, IL, USA, October 27-30, 2024. pages 806-825, IEEE, 2024. [doi]
Abstract is missing.