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

Package-level declarations

Types

class LibsnarkJNI

class R1CS(val isProver: Boolean, val wire: WireTerm, val is_eq_to: Long)

sealed class ZKPObject

ZKPProtocolInterpreterFactory

object ZKPProtocolInterpreterFactory : ProtocolBackend

ZKPProverInterpreter

class ZKPProverInterpreter(program: ProgramNode, protocolAnalysis: ProtocolAnalysis, val runtime: ViaductProcessRuntime) : SingleProtocolInterpreter<ZKPObject>

ZKPVerifierInterpreter

class ZKPVerifierInterpreter(program: ProgramNode, val protocolAnalysis: ProtocolAnalysis, val runtime: ViaductProcessRuntime) : SingleProtocolInterpreter<ZKPObject>

Functions

fun WireTerm.toR1CS(isProver: Boolean, is_eq_to: Int): R1CS