Proving Properties of Committed Polynomials, and the Derived Snarks

Posted by