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

WireIn

data class WireIn(val v: Int, val index: Int, val hash: List<Byte>, val nonce: List<Byte>) : WireTerm

Constructors

fun WireIn(v: Int, index: Int, hash: List<Byte>, nonce: List<Byte>)

Properties

val hash: List<Byte>

val nonce: List<Byte>

val v: Int

Extensions

fun WireTerm.asString(): String

fun WireTerm.eval(): Int

fun WireTerm.hash(): String

fun WireTerm.normalize(counter: NormalizeCounter): WireTerm

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

fun WireTerm.wireName(): String