viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.libsnarkwrapper
/
libsnarkwrapper
/
addEquality
add
Equality
open
fun
addEquality
(
pb
:
SWIGTYPE_p_libsnark__protoboardT_field128_t
,
a
:
Var
,
b
:
Var
)
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
)