viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.libsnarkwrapper
/
R1CSInstance
R1CSInstance
open
class
R1CSInstance
Constructors
Functions
Constructors
R1CSInstance
Link copied to clipboard
open
fun
R1CSInstance
(
)
Functions
Add
Equality
Link copied to clipboard
open
fun
AddEquality
(
a
:
Var
,
b
:
Var
)
delete
Link copied to clipboard
open
fun
delete
(
)
generate
Proof
Link copied to clipboard
open
fun
generateProof
(
provingKey
:
ByteBuf
)
:
ByteBuf
gen
Keypair
Link copied to clipboard
open
fun
genKeypair
(
)
:
Keypair
get
Is
Prover
Link copied to clipboard
open
fun
getIsProver
(
)
:
Boolean
mk
Add
Link copied to clipboard
open
fun
mkAdd
(
lhs
:
Var
,
rhs
:
Var
)
:
Var
mk
And
Link copied to clipboard
open
fun
mkAnd
(
lhs
:
Var
,
rhs
:
Var
)
:
Var
mk
Equal
To
Link copied to clipboard
open
fun
mkEqualTo
(
a
:
Var
,
b
:
Var
)
:
Var
mk
LE
Link copied to clipboard
open
fun
mkLE
(
a
:
Var
,
b
:
Var
)
:
Var
mk
Less
Than
Link copied to clipboard
open
fun
mkLessThan
(
a
:
Var
,
b
:
Var
)
:
Var
mk
Mult
Link copied to clipboard
open
fun
mkMult
(
lhs
:
Var
,
rhs
:
Var
)
:
Var
mk
Mux
Link copied to clipboard
open
fun
mkMux
(
b
:
Var
,
lhs
:
Var
,
rhs
:
Var
)
:
Var
mk
Not
Link copied to clipboard
open
fun
mkNot
(
v
:
Var
)
:
Var
mk
Or
Link copied to clipboard
open
fun
mkOr
(
lhs
:
Var
,
rhs
:
Var
)
:
Var
mk
Private
Val
Prover
Link copied to clipboard
open
fun
mkPrivateValProver
(
val
:
Long
,
hash
:
VarArray
,
nonce
:
VarArray
)
:
Var
mk
Private
Val
Verifier
Link copied to clipboard
open
fun
mkPrivateValVerifier
(
hash
:
VarArray
,
nonce
:
VarArray
)
:
Var
mk
Public
Bitvec
Link copied to clipboard
open
fun
mkPublicBitvec
(
bits
:
BoolVector
)
:
VarArray
open
fun
mkPublicBitvec
(
buf
:
ByteBuf
)
:
VarArray
mk
Public
Val
Link copied to clipboard
open
fun
mkPublicVal
(
val
:
Long
)
:
Var
set
Is
Prover
Link copied to clipboard
open
fun
setIsProver
(
value
:
Boolean
)
verify
Proof
Link copied to clipboard
open
fun
verifyProof
(
verificationKey
:
ByteBuf
,
proof
:
ByteBuf
)
:
Boolean