Skip to content

Commit

Permalink
chore: fix std error
Browse files Browse the repository at this point in the history
  • Loading branch information
Al-Kindi-0 committed Oct 25, 2023
1 parent 14fbba8 commit 578a344
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions verifier/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -52,12 +52,13 @@ pub fn verify(
let security_level = proof.security_level();

// define a set of acceptable proof options by the verifier
let acceptable_opt: AcceptableOptions = AcceptableOptions::OptionSet(vec![
let opt = [
WinterProofOptions::new(27, 8, 16, FieldExtension::Quadratic, 4, 7),
WinterProofOptions::new(27, 8, 16, FieldExtension::Quadratic, 8, 255),
WinterProofOptions::new(27, 16, 21, FieldExtension::Cubic, 4, 7),
WinterProofOptions::new(27, 16, 21, FieldExtension::Cubic, 8, 255),
]);
];
let acceptable_opt: AcceptableOptions = AcceptableOptions::OptionSet(opt.to_vec());

// build public inputs and try to verify the proof
let pub_inputs = PublicInputs::new(program_info, stack_inputs, stack_outputs);
Expand Down

0 comments on commit 578a344

Please sign in to comment.