feat: nuke UltraPlonk

Author: olehmisar

README.md

@@ -152,19 +152,6 @@ export default {
 };
 ```
 
-Change the proof flavor. It will generate different Solidity verifiers. If you switch to `ultra_plonk`, use `noir.getCircuit(name, UltraPlonkBackend)` to get ultra plonk backend.
-
-```js
-export default {
-  noir: {
-    // default is "ultra_keccak_honk"
-    flavor: "ultra_plonk",
-    // you can also specify multiple flavors
-    // flavor: ["ultra_keccak_honk", "ultra_plonk"],
-  },
-};
-```
-
 The default folder where Noir is located is `noir`. You can change it in `hardhat.config.js`:
 
 ```js

src/Noir.ts

@@ -34,7 +34,7 @@ export class NoirExtension {
    * Call this only once per circuit as it creates a new backend each time.
    *
    * @param name name of the circuit
-   * @param backendClass Backend class. Depends on the `noir.flavor` type you have set in Hardhat config. Either {@link UltraHonkBackend} or {@link UltraPlonkBackend}
+   * @param backendClass Backend class. Currently, only {@link UltraHonkBackend}-like backends are supported.
    */
   async getCircuit<T = UltraHonkBackend>(
     name: string,
@@ -65,5 +65,4 @@ export async function getTarget(noirDir: string | HardhatConfig) {
 export type ProofFlavor = keyof typeof ProofFlavor;
 export const ProofFlavor = {
   ultra_keccak_honk: "ultra_keccak_honk",
-  ultra_plonk: "ultra_plonk",
 } as const;

src/tasks.ts

@@ -109,16 +109,11 @@ async function generateSolidityVerifier(
 ) {
   const path = await import("path");
   const fs = await import("fs");
-  const { UltraHonkBackend, UltraPlonkBackend } = await import("@aztec/bb.js");
+  const { UltraHonkBackend } = await import("@aztec/bb.js");
 
   let verifier: string;
   const program = JSON.parse(fs.readFileSync(file, "utf-8"));
   switch (flavor) {
-    case "ultra_plonk": {
-      const backend = new UltraPlonkBackend(program.bytecode);
-      verifier = await backend.getSolidityVerifier();
-      break;
-    }
     case "ultra_keccak_honk": {
       const backend = new UltraHonkBackend(program.bytecode);
       const vk = await backend.getVerificationKey({ keccak: true });

test/fixture-projects/hardhat-project/hardhat.config.ts

@@ -21,7 +21,7 @@ const config: HardhatUserConfig = {
   },
   noir: {
     version: TEST_NOIR_VERSION,
-    flavor: ["ultra_keccak_honk", "ultra_plonk"],
+    flavor: ["ultra_keccak_honk"],
   },
 };
 

test/noir.test.ts

@@ -1,5 +1,4 @@
 // tslint:disable-next-line no-implicit-dependencies
-import { UltraPlonkBackend } from "@aztec/bb.js";
 import { assert, expect } from "chai";
 import fs from "fs";
 import { TASK_CLEAN, TASK_COMPILE } from "hardhat/builtin-tasks/task-names";
@@ -78,40 +77,6 @@ describe("Integration tests examples", function () {
       );
       expect(resultJs).to.eq(true);
     });
-
-    it("proves and verifies on-chain ultra_plonk", async function () {
-      await this.hre.run("compile");
-
-      // Deploy a verifier contract
-      const contractFactory =
-        await this.hre.ethers.getContractFactory("UltraVerifier");
-      const contract = await contractFactory.deploy();
-      await contract.waitForDeployment();
-
-      // Generate a proof
-      const { noir, backend } = await this.hre.noir.getCircuit(
-        "my_circuit",
-        UltraPlonkBackend,
-      );
-      const input = { x: 1, y: 2 };
-      const { witness } = await noir.execute(input);
-      const { proof, publicInputs } = await backend.generateProof(witness);
-      // it matches because we marked y as `pub` in `main.nr`
-      expect(BigInt(publicInputs[0])).to.eq(BigInt(input.y));
-
-      // Verify the proof on-chain
-      const result = await contract.verify(proof, [
-        this.hre.ethers.toBeHex(input.y, 32),
-      ]);
-      expect(result).to.eq(true);
-
-      // You can also verify in JavaScript.
-      const resultJs = await backend.verifyProof({
-        proof,
-        publicInputs: [String(input.y)],
-      });
-      expect(resultJs).to.eq(true);
-    });
   });
 
   describe("HardhatConfig extension", function () {