Zk_rollup_scalar (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Zk_rollup

type t = Mavryk_protocol_environment_001_PtAtLas.Bls.Primitive.Fr.t

Scalars are transparently BLS12-381 scalars

val of_z : Mavryk_protocol_environment_001_PtAtLas.Z.t -> t

Safe conversion from Z.t. If the numerical value is not in the field, modulo reduction is applied.

val of_bits : string -> t

Safe conversion from bits, represented as a string. If the numerical value is not in the field, modulo reduction is applied.