viaduct
0.2.0-5-g5831d91.dirty
runtime
/
edu.cornell.cs.apl.viaduct.backend.zkp
/
toR1CS
to
R1CS
fun
WireTerm
.
toR1CS
(
isProver
:
Boolean
,
is_eq_to
:
Int
)
:
R1CS
Content copied to clipboard