viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.backend.zkp
/
R1CS
/
R1CS
R1CS
fun
R1CS
(
isProver
:
Boolean
,
wire
:
WireTerm
,
is_eq_to
:
Long
)