compiler/io.github.aplcornell.viaduct.backends.commitment/Commitment

Commitment

class Commitment(val cleartextHost: Host, val hashHosts: Set<Host>) : Protocol

Constructors

fun Commitment(cleartextHost: Host, hashHosts: Set<Host>)

Types

object Companion

Functions

open override fun authority(): Label

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

operator override fun compareTo(other: Protocol): Int

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

override fun hashCode(): Int

open override fun toDocument(): Document

Properties

open override val arguments: Map<String, Value>

The named arguments applied to protocolName.

val cleartextHost: Host

cleartextInputPorts

val cleartextInputPorts: Map<Host, InputPort>

val hashHosts: Set<Host>

val hosts: HostSetValue

Hosts involved in this protocol.

val inputPort: InputPort

internalInputPorts

val internalInputPorts: Map<Host, InputPort>

internalOutputPorts

val internalOutputPorts: Map<Host, OutputPort>

override val name: String

override val nameCategory: String

openCleartextOutputPort

val openCleartextOutputPort: OutputPort

openCommitmentOutputPorts

val openCommitmentOutputPorts: Map<Host, OutputPort>

open override val protocolName: ProtocolName

The name of the (cryptographic) protocol.