viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.backends.zkp
/
ZKPProtocolFactory
/
constraint
constraint
open
override
fun
constraint
(
node
:
VariableDeclarationNode
)
:
SelectionConstraint
ZKP can only read from and send to itself,
Local
, and
Replication
.