Fix small issue in example

privacy-scaling-explorations · Apr 2, 2024 · c81ab28 · c81ab28
1 parent 428f6db
commit c81ab28
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/keccak.rs b/examples/keccak.rs
@@ -2316,7 +2316,7 @@ fn keccak_plaf(circuit_param: KeccakCircuit, k: u32) {
         let (plaf, plaf_wit_gen) = chiquito2Plaf(circuit, k, false);
 
         let mut plaf = plaf;
-        plaf.set_challange_alias(0, "r_keccak".to_string());
+        plaf.set_challenge_alias(0, "r_keccak".to_string());
         let wit = plaf_wit_gen.generate(Some(wit_gen));
         write_files("keccak_output", &plaf, &wit).unwrap();
     }
@@ -2333,7 +2333,7 @@ fn keccak_run(circuit_param: KeccakCircuit, k: u32) -> bool {
     );
 
     let prover = MockProver::<Fr>::run(k, &circuit, Vec::new()).unwrap();
-    let result = prover.verify_par();
+    let result = prover.verify();
 
     println!("result = {:#?}", result);