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

ZKPObject

sealed class ZKPObject

Types

ZKPImmutableCell

data class ZKPImmutableCell(value: WireTerm) : ZKPObject

ZKPMutableCell

data class ZKPMutableCell(value: WireTerm) : ZKPObject

ZKPNullObject

object ZKPNullObject : ZKPObject

ZKPVectorObject

class ZKPVectorObject(size: Int, defaultValue: Value, wireGenerator: WireGenerator) : ZKPObject

Inheritors

ZKPImmutableCell

ZKPMutableCell

ZKPVectorObject

ZKPNullObject