viaduct
0.2.0-5-g5831d91.dirty
runtime
/
edu.cornell.cs.apl.viaduct.backend.zkp
/
R1CS
/
setupAuxInputs
setup
Aux
Inputs
fun
WireTerm
.
setupAuxInputs
(
)
Content copied to clipboard