Impl.R1CS_constraint_system
type t = Fq3.Impl.R1CS_constraint_system.t
val digest : t -> Core_kernel.Md5.t