compiler/edu.cornell.cs.apl.viaduct.backends/Backend

Backend

interface Backend

A compiler extension that adds support for a cryptographic backend.

Functions

codeGenerator

abstract fun codeGenerator(context: CodeGeneratorContext): CodeGenerator

protocolFactory

abstract fun protocolFactory(program: ProgramNode): ProtocolFactory

Properties

protocolComposer

abstract val protocolComposer: ProtocolComposer

protocolParsers

abstract val protocolParsers: Map<ProtocolName, ProtocolParser<Protocol>>

protocols

abstract val protocols: Set<ProtocolName>

Protocols added by this backend.

Inheritors

DefaultCombinedBackend

ABYBackend

CleartextBackend

CommitmentBackend

ZKPBackend

Extensions

filter

fun Backend.filter(predicate: (ProtocolName) -> Boolean): Backend

Restricts the given back end to only use protocols satisfying predicate.