viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.backend.zkp
/
ZKPVerifierInterpreter
/
runReceive
run
Receive
open
suspend override
fun
runReceive
(
sender
:
LetNode
,
sendProtocol
:
Protocol
,
receiver
:
SimpleStatementNode
,
recvProtocol
:
Protocol
,
events
:
ProtocolCommunication
)