runtime/edu.cornell.cs.apl.viaduct.backend.zkp

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

Types

LibsnarkJNI
Link copied to clipboard
class LibsnarkJNI
Content copied to clipboard
R1CS
Link copied to clipboard
class R1CS(isProver: Boolean, wire: WireTerm, is_eq_to: Long)
Content copied to clipboard
ZKPInit
Link copied to clipboard
class ZKPInit
Content copied to clipboard
ZKPObject
Link copied to clipboard
sealed class ZKPObject
Content copied to clipboard
ZKPProtocolInterpreterFactory
Link copied to clipboard
object ZKPProtocolInterpreterFactory : ProtocolBackend
Content copied to clipboard
ZKPProverInterpreter
Link copied to clipboard
class ZKPProverInterpreter(program: ProgramNode, protocolAnalysis: ProtocolAnalysis, runtime: ViaductProcessRuntime) : SingleProtocolInterpreter<ZKPObject>
Content copied to clipboard
ZKPVerifierInterpreter
Link copied to clipboard
class ZKPVerifierInterpreter(program: ProgramNode, protocolAnalysis: ProtocolAnalysis, runtime: ViaductProcessRuntime) : SingleProtocolInterpreter<ZKPObject>
Content copied to clipboard

Functions

toR1CS
Link copied to clipboard
fun WireTerm.toR1CS(isProver: Boolean, is_eq_to: Int): R1CS
Content copied to clipboard