compiler/edu.cornell.cs.apl.viaduct.backends.zkp/ZKPProtocolFactory/constraint

constraint

open override fun constraint(node: LetNode): SelectionConstraint
Content copied to clipboard

ZKP can only read from, and only send to, itself, local, and replicated


open override fun constraint(node: DeclarationNode): SelectionConstraint
Content copied to clipboard