ZKPProverInterpreter

fun ZKPProverInterpreter(program: ProgramNode, protocolAnalysis: ProtocolAnalysis, runtime: ViaductProcessRuntime)