Module `Make.R1CS_constraint_system`

The rank-1 constraint system used by this instance. See Backend_intf.S.R1CS_constraint_system.

type t = Backend.R1CS_constraint_system.t

val digest : t -> Core_kernel.Md5.t

val get_public_input_size : t -> int Core_kernel.Set_once.t

val get_rows_len : t -> int