viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.backends.zkp
/
ZKPProtocolFactory
/
guardVisibilityConstraint
guard
Visibility
Constraint
open
override
fun
guardVisibilityConstraint
(
protocol
:
Protocol
,
node
:
IfNode
)
:
SelectionConstraint