interpreter/io.github.aplcornell.viaduct.backend.aby

Package-level declarations

Types

ABYCircuitBuilder

class ABYCircuitBuilder(val arithCircuit: Circuit, val boolCircuit: Circuit, val yaoCircuit: Circuit, val bitlen: Long, val role: Role)

sealed class ABYCircuitGate

enum ABYCircuitType : Enum<ABYCircuitType>

ABYCleartextValue

data class ABYCleartextValue(val value: Value) : ABYValue

ABYConstantGate

class ABYConstantGate(val value: Int, val circuitType: ABYCircuitType) : ABYCircuitGate

ABYConversionGate

class ABYConversionGate(inputGate: ABYCircuitGate, val circuitType: ABYCircuitType) : ABYCircuitGate

class ABYDummyInGate(val circuitType: ABYCircuitType) : ABYCircuitGate

class ABYInGate(val value: Int, val circuitType: ABYCircuitType) : ABYCircuitGate

ABYOperationGate

class ABYOperationGate(val operation: PutOperationGate, operands: List<ABYCircuitGate>, val circuitType: ABYCircuitType) : ABYCircuitGate

ABYProtocolInterpreter

class ABYProtocolInterpreter(host: Host, otherHost: Host, role: Role, program: ProgramNode, protocolAnalysis: ProtocolAnalysis, runtime: ViaductRuntime, connectionMap: Map<Host, HostAddress>, port: Int = DEFAULT_PORT) : AbstractProtocolInterpreter<ABYProtocolInterpreter.ABYClassObject>

data class ABYSecretValue(val value: ABYCircuitGate) : ABYValue

sealed class ABYValue

PutOperationGate

typealias PutOperationGate = Circuit.(arguments: List<Share>) -> Share

A method that adds the gate for an operation with the given arguments to the circuit and returns the resulting share.

This is simply a generalization of the putOPGate methods (which can be unary, binary, or ternary) to a list of arguments.

Functions

addConversionGates

fun ABYCircuitGate.addConversionGates(target: ABYCircuitType): ABYCircuitGate

Add a conversion gate---if necessary---to match the target circuit type.

operatorToCircuit

fun operatorToCircuit(operator: Operator, arguments: List<ABYCircuitGate>, circuitType: ABYCircuitType): ABYCircuitGate

Returns an ABY circuit implementing the given operator.

fun Circuit.putNOTGate(input: Share): Share

Implements bitwise not.