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

R1CS

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

Functions

genKeypair

fun genKeypair(): Keypair

makeProof

fun makeProof(pk: ByteBuf): ByteBuf

populatePrimaryInputs

fun WireTerm.populatePrimaryInputs()

setupAuxInputs

fun WireTerm.setupAuxInputs()

value

fun WireTerm.value(): Var

verifyProof

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

Properties

auxInputHashes

val auxInputHashes: MutableMap<Int, VarArray>

auxInputNonces

val auxInputNonces: MutableMap<Int, VarArray>

auxInputs

val auxInputs: MutableMap<Int, Var>

is_eq_to

val is_eq_to: Long

isProver

val isProver: Boolean

output

var output: Var? = null

primaryInputs

val primaryInputs: MutableMap<Int, Var>

r1cs

val r1cs: R1CSInstance

wire

val wire: WireTerm