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

Package edu.cornell.cs.apl.viaduct.backends.zkp

Types

ZKP
Link copied to clipboard
class ZKP(prover: Host, verifiers: Set<Host>) : Protocol
Content copied to clipboard
ZKPBackend
Link copied to clipboard
object ZKPBackend : Backend
Content copied to clipboard
ZKPProtocolComposer
Link copied to clipboard
object ZKPProtocolComposer : AbstractProtocolComposer
Content copied to clipboard
ZKPProtocolFactory
Link copied to clipboard
class ZKPProtocolFactory(program: ProgramNode) : ProtocolFactory
Content copied to clipboard
ZKPProtocolParser
Link copied to clipboard
object ZKPProtocolParser : ProtocolParser<ZKP>
Content copied to clipboard

Parser for the ZKP protocol.

Functions

zkpMuxPostprocessor
Link copied to clipboard
fun zkpMuxPostprocessor(protocolAssignment: ProtocolAssignment): ProgramPostprocessor
Content copied to clipboard