R1CSInstance

Constructors

R1CSInstance

AddEquality

open fun AddEquality(a: Var, b: Var)

delete

open fun delete()

generateProof

genKeypair

getIsProver

mkAdd

open fun mkAdd(lhs: Var, rhs: Var): Var

mkAnd

open fun mkAnd(lhs: Var, rhs: Var): Var

mkEqualTo

open fun mkEqualTo(a: Var, b: Var): Var

mkLE

open fun mkLE(a: Var, b: Var): Var

mkLessThan

open fun mkLessThan(a: Var, b: Var): Var

mkMult

open fun mkMult(lhs: Var, rhs: Var): Var

mkMux

open fun mkMux(b: Var, lhs: Var, rhs: Var): Var

mkNot

open fun mkNot(v: Var): Var

mkOr

open fun mkOr(lhs: Var, rhs: Var): Var

mkPrivateValProver

mkPrivateValVerifier

mkPublicBitvec

mkPublicVal

setIsProver

verifyProof

open fun verifyProof(verificationKey: ByteBuf, proof: ByteBuf): Boolean