compiler/io.github.aplcornell.viaduct.selection/ProtocolFactory

ProtocolFactory

Generates a list of Protocols that can implement a given Node, along with constraints that specify when using these protocols is valid.

The factory needs to ensure protocols returned for a node can implement the operations in that node. However, it does not need to ensure the protocols have enough authority to implement the node securely.

Functions

constraint

open fun constraint(node: UpdateNode): SelectionConstraint

open fun constraint(node: VariableDeclarationNode): SelectionConstraint

guardVisibilityConstraint

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

viableProtocols

abstract fun viableProtocols(node: VariableDeclarationNode): Set<Protocol>

Returns the set of protocols that can implement node.

Inheritors

ABYProtocolFactory

LocalProtocolFactory

ReplicationProtocolFactory

CommitmentProtocolFactory

ZKPProtocolFactory

Extensions

filter

fun ProtocolFactory.filter(predicate: (Protocol) -> Boolean): ProtocolFactory

Restricts the given factory to protocols that satisfy predicate.