viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.backend.zkp
/
ZKPVerifierInterpreter
/
ZKPVerifierInterpreter
ZKPVerifier
Interpreter
fun
ZKPVerifierInterpreter
(
program
:
ProgramNode
,
protocolAnalysis
:
ProtocolAnalysis
,
runtime
:
ViaductProcessRuntime
)