Updates the batched product type to support a quark proof or a thaler 13 proof type and changes the invocations of the product. In addition makes edits to the quark product type to support section six of the quarks paper which does a hybrid of Thaler '13 grand products by applying quarks at the 4th layer of the GKR for grand products.
Updates the batched product type to support a quark proof or a thaler 13 proof type and changes the invocations of the product. In addition makes edits to the quark product type to support section six of the quarks paper which does a hybrid of Thaler '13 grand products by applying quarks at the 4th layer of the GKR for grand products.
Resolves #250