feat: switch to keccakZK

Author: olehmisar

src/tasks.ts

@@ -116,7 +116,7 @@ async function generateSolidityVerifier(
   switch (flavor) {
     case "ultra_keccak_honk": {
       const backend = new UltraHonkBackend(program.bytecode);
-      const vk = await backend.getVerificationKey({ keccak: true });
+      const vk = await backend.getVerificationKey({ keccakZK: true });
       verifier = await backend.getSolidityVerifier(vk);
       break;
     }

test/noir.test.ts

@@ -58,7 +58,7 @@ describe("Integration tests examples", function () {
       const input = { x: 1, y: 2 };
       const { witness } = await noir.execute(input);
       const { proof, publicInputs } = await backend.generateProof(witness, {
-        keccak: true,
+        keccakZK: true,
       });
       // it matches because we marked y as `pub` in `main.nr`
       expect(BigInt(publicInputs[0])).to.eq(BigInt(input.y));
@@ -73,7 +73,7 @@ describe("Integration tests examples", function () {
           proof,
           publicInputs: [String(input.y)],
         },
-        { keccak: true },
+        { keccakZK: true },
       );
       expect(resultJs).to.eq(true);
     });