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

R1CS

class R1CS(val isProver: Boolean, val wire: WireTerm, val is_eq_to: Long)

Constructors

fun R1CS(isProver: Boolean, wire: WireTerm, is_eq_to: Long)

Functions

fun genKeypair(): Keypair

fun makeProof(pk: ByteBuf): ByteBuf

populatePrimaryInputs

fun WireTerm.populatePrimaryInputs()

fun WireTerm.setupAuxInputs()

fun WireTerm.value(): Var

fun verifyProof(vk: ByteBuf, pf: ByteBuf): Boolean

Properties

val auxInputHashes: MutableMap<Int, VarArray>

val auxInputNonces: MutableMap<Int, VarArray>

val auxInputs: MutableMap<Int, Var>

val is_eq_to: Long

val isProver: Boolean

var output: Var? = null

val primaryInputs: MutableMap<Int, Var>

val r1cs: R1CSInstance

val wire: WireTerm