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