Revert "use keccak for non-recursive proofs"

This reverts commit beb1ac2.

Author: JanKuczma

scripts/generate-mock-proofs.ts

@@ -52,7 +52,7 @@ async function generateProof(circuitName: string, circuit: any, inputs: any) {
   const { witness } = await noir.execute(inputs);
   const honk = new UltraHonkBackend(circuit.bytecode);
   const { proof, publicInputs } = await honk.generateProof(witness, {
-    keccak: true,
+    keccakZK: true,
   });
 
   const publicInputsFlat = flattenFieldsAsArray(publicInputs);

scripts/generate-solidity-verifiers.ts

@@ -8,7 +8,7 @@ import withdrawCircuit from "../target/withdraw.json";
 async function generateSolidityVerfier(circuitName: string, circuit: any) {
   const honk = new UltraHonkBackend(circuit.bytecode);
 
-  const vk = await honk.getVerificationKey({ keccak: true });
+  const vk = await honk.getVerificationKey({ keccakZK: true });
 
   const contractName =
     circuitName
@@ -19,7 +19,7 @@ async function generateSolidityVerfier(circuitName: string, circuit: any) {
   console.log(`Generating Solidity verifier for ${contractName} circuit...`);
 
   const verifierContract = await honk.getSolidityVerifier(vk, {
-    keccak: true,
+    keccakZK: true,
   });
 
   fs.writeFileSync(`contracts/${contractName}.sol`, verifierContract);