Proving Properties of Committed Polynomials, and the Derived Snarks Posted March 13, 2023 by Yonit Homburger