ZKP

class ZKP(prover: Host, verifiers: Set<Host>) : Protocol

Types

Companion
Link copied to clipboard
object Companion

Functions

authority
Link copied to clipboard
open override fun authority(hostTrustConfiguration: HostTrustConfiguration): Label

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

compareTo
Link copied to clipboard
operator override fun compareTo(other: Protocol): Int
equals
Link copied to clipboard
operator override fun equals(other: Any?): Boolean
hashCode
Link copied to clipboard
override fun hashCode(): Int
toDocument
Link copied to clipboard
open override fun toDocument(): Document

Properties

arguments
Link copied to clipboard
open override val arguments: Map<String, Value>

The named arguments applied to protocolName.

cleartextInput
Link copied to clipboard
val cleartextInput: Map<Host, InputPort>
hosts
Link copied to clipboard
val hosts: HostSetValue

Hosts involved in this protocol.

internalInputPorts
Link copied to clipboard
val internalInputPorts: Map<Host, InputPort>
internalOutputPorts
Link copied to clipboard
val internalOutputPorts: Map<Host, OutputPort>
name
Link copied to clipboard
override val name: String
nameCategory
Link copied to clipboard
override val nameCategory: String
outputPorts
Link copied to clipboard
val outputPorts: Map<Host, OutputPort>
protocolName
Link copied to clipboard
open override val protocolName: ProtocolName

The name of the (cryptographic) protocol.

prover
Link copied to clipboard
val prover: Host
secretInputPort
Link copied to clipboard
val secretInputPort: InputPort
verifiers
Link copied to clipboard
val verifiers: Set<Host>