compiler/io.github.aplcornell.viaduct.backends.zkp

Package-level declarations

Types

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

object ZKPBackend : Backend

ZKPProtocolComposer

object ZKPProtocolComposer : AbstractProtocolComposer

ZKPProtocolFactory

class ZKPProtocolFactory(val program: ProgramNode) : ProtocolFactory

ZKPProtocolParser

object ZKPProtocolParser : ProtocolParser<ZKP>

Parser for the ZKP protocol.

Functions

zkpMuxPostprocessor

fun zkpMuxPostprocessor(protocolAssignment: ProtocolAssignment): ProgramPostprocessor