fix tests
This commit is contained in:
parent
3c45c450bd
commit
c9b68a5147
2 changed files with 4 additions and 4 deletions
|
@ -385,14 +385,14 @@ mod tests {
|
|||
};
|
||||
|
||||
let g16 = G16 {};
|
||||
let keypair = g16.setup(program.clone(), true);
|
||||
let keypair = g16.setup(program.clone());
|
||||
|
||||
let witness = program
|
||||
.clone()
|
||||
.execute(&vec![FieldPrime::from(42)])
|
||||
.unwrap();
|
||||
|
||||
let proof = g16.generate_proof(program.clone(), witness, keypair.pk, true);
|
||||
let proof = g16.generate_proof(program.clone(), witness, keypair.pk);
|
||||
assert!(g16.verify(keypair.vk, proof))
|
||||
}
|
||||
}
|
||||
|
|
|
@ -31,6 +31,6 @@ fn generate_proof() {
|
|||
.execute(&vec![FieldPrime::from(42)])
|
||||
.unwrap();
|
||||
|
||||
let keys = G16::new().setup(program.clone(), false);
|
||||
let _proof = G16::new().generate_proof(program, witness, keys.pk, false);
|
||||
let keys = G16::new().setup(program.clone());
|
||||
let _proof = G16::new().generate_proof(program, witness, keys.pk);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue