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

ZKPObject

sealed class ZKPObject

Types

ZKPImmutableCell

data class ZKPImmutableCell(val value: WireTerm) : ZKPObject

data class ZKPMutableCell(var value: WireTerm) : ZKPObject

object ZKPNullObject : ZKPObject

ZKPVectorObject

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

Inheritors

ZKPImmutableCell

ZKPVectorObject