compiler/edu.cornell.cs.apl.viaduct.syntax/Protocol

Protocol

abstract class Protocol : Name, Comparable<Protocol>

An abstract location where computations can be placed.

A protocol simultaneously names a location and determines the (cryptographic) mechanism for executing the code placed at that location.

A protocol is a ProtocolName applied to a sequence of named arguments. The name and the arguments uniquely determine the protocol (see Protocol.equals).

Constructors

Protocol

fun Protocol()

Types

Companion

object Companion

Functions

authority

abstract fun authority(hostTrustConfiguration: HostTrustConfiguration): Label

Returns the authority label of this protocol given the authority labels of the participating hosts.

compareTo

operator override fun compareTo(other: Protocol): Int

equals

operator override fun equals(other: Any?): Boolean

hashCode

override fun hashCode(): Int

toDocument

open override fun toDocument(): Document

Properties

arguments

abstract val arguments: Map<String, Value>

The named arguments applied to protocolName.

hosts

val hosts: HostSetValue

Hosts involved in this protocol.

internalInputPorts

val internalInputPorts: Map<Host, InputPort>

internalOutputPorts

val internalOutputPorts: Map<Host, OutputPort>

name

override val name: String

nameCategory

override val nameCategory: String

protocolName

abstract val protocolName: ProtocolName

The name of the (cryptographic) protocol.

Inheritors

ABY

Plaintext

Commitment

ZKP