interpreter/io.github.aplcornell.viaduct.libsnarkwrapper/libsnarkwrapper

libsnarkwrapper

open class libsnarkwrapper

Functions

open fun addEquality(pb: SWIGTYPE_p_libsnark__protoboardT_field128_t, a: SWIGTYPE_p_libsnark__pb_variable_arrayT_field128_t, b: SWIGTYPE_p_libsnark__pb_variable_arrayT_field128_t)

open fun addEquality(pb: SWIGTYPE_p_libsnark__protoboardT_field128_t, a: Var, b: Var)

open fun bvec_to_string(bitvector: BoolVector): String

divide_rounding_up

open fun divide_rounding_up(dividend: Long, divisor: Long): Long

ensure_satisfied

open fun ensure_satisfied(pb: SWIGTYPE_p_libsnark__protoboardT_field128_t): Boolean

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

get_sha_nonce_val

open fun get_sha_nonce_val(nonce: ByteBuf, val: Long): ByteBuf

open fun initZKP()

open fun mkByteBuf(data: Array<Byte>): ByteBuf

open fun mkSHA(pb: SWIGTYPE_p_libsnark__protoboardT_field128_t, v: Long, nonce: String, isProver: Boolean): ShaResult

open fun string_to_bvec(data: String): BoolVector