ensure_satisfied
open fun ensure_satisfied(CS: SWIGTYPE_p_libsnark__r1cs_constraint_systemT_libff__FrT_libsnark__default_r1cs_ppzksnark_pp_t_t, primary_input: SWIGTYPE_p_std__vectorT_libff__FrT_libsnark__default_r1cs_ppzksnark_pp_t_t, auxiliary_input: SWIGTYPE_p_std__vectorT_libff__FrT_libsnark__default_r1cs_ppzksnark_pp_t_t): Boolean
Content copied to clipboard
open fun ensure_satisfied(pb: SWIGTYPE_p_libsnark__protoboardT_field128_t): Boolean
Content copied to clipboard