Mavryk_protocol_environment_demo_counter.Plonktype public_parameters =
Mavryk_protocol_environment_structs.V12.Plonk.verifier_public_parameterstype verifier_inputs = (string * Bls.Primitive.Fr.t array list) listtype proof = Mavryk_protocol_environment_structs.V12.Plonk.proofval public_parameters_encoding : public_parameters Data_encoding.tval proof_encoding : proof Data_encoding.tval scalar_encoding : Bls.Primitive.Fr.t Data_encoding.tval scalar_array_encoding : Bls.Primitive.Fr.t array Data_encoding.tval verify : public_parameters -> verifier_inputs -> proof -> bool