Internal_Basic.R1CS_constraint_system
The rank-1 constraint system used by this instance. See Backend_intf.S.R1CS_constraint_system.
Backend_intf.S.R1CS_constraint_system
type t
val digest : t -> Core_kernel.Md5.t
val get_public_input_size : t -> int Core_kernel.Set_once.t
Get the number of public input
val get_auxiliary_input_size : t -> int Core_kernel.Set_once.t
Get the number of auxiliary/private input
val get_rows_len : t -> int
Get the number of rows/circuit size