package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos protocol alpha package

Install

sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c

sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

type public_parameters =
  Tezos_protocol_environment_structs.V11.Plonk.verifier_public_parameters

type verifier_inputs = (string * Bls.Primitive.Fr.t array list) list

type proof = Tezos_protocol_environment_structs.V11.Plonk.proof

val public_parameters_encoding : public_parameters Data_encoding.t

val proof_encoding : proof Data_encoding.t

val scalar_encoding : Bls.Primitive.Fr.t Data_encoding.t

val scalar_array_encoding : Bls.Primitive.Fr.t array Data_encoding.t

val verify : public_parameters -> verifier_inputs -> proof -> bool