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

ZKPProtocolFactory

class ZKPProtocolFactory(program: ProgramNode) : ProtocolFactory

Functions

constraint

open override fun constraint(node: DeclarationNode): SelectionConstraint

open fun constraint(node: ParameterNode): SelectionConstraint

open fun constraint(node: UpdateNode): SelectionConstraint

open override fun constraint(node: LetNode): SelectionConstraint

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

guardVisibilityConstraint

open override fun guardVisibilityConstraint(protocol: Protocol, node: IfNode): SelectionConstraint

viableProtocols

open override fun viableProtocols(node: DeclarationNode): Set<Protocol>

open override fun viableProtocols(node: LetNode): Set<Protocol>

open override fun viableProtocols(node: ParameterNode): Set<Protocol>

Properties

program

val program: ProgramNode