Make.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 = Backend.R1CS_constraint_system.t
val digest : t -> Core_kernel.Md5.t