Skip to content

Commit c495338

Browse files
committed
syntax
1 parent a308ce6 commit c495338

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

recursion/js/generate-proof.ts

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
import { Barretenberg, RawBuffer, UltraHonkBackend } from "@aztec/bb.js";
2-
import innerCircuit from "../circuits/inner/target/inner.json" assert { type: "json" };
3-
import recursiveCircuit from "../circuits/recursive/target/recursive.json" assert { type: "json" };
2+
import innerCircuit from "../circuits/inner/target/inner.json" with { type: "json" };
3+
import recursiveCircuit from "../circuits/recursive/target/recursive.json" with { type: "json" };
44
import { CompiledCircuit, Noir } from "@noir-lang/noir_js";
55

66
(async () => {
@@ -29,7 +29,7 @@ import { CompiledCircuit, Noir } from "@noir-lang/noir_js";
2929
// Verify recursive proof
3030
const verified = await recursiveBackend.verifyProof({ proof: recursiveProof, publicInputs: recursivePublicInputs });
3131
console.log("Recursive proof verified: ", verified);
32-
32+
3333
process.exit(verified ? 0 : 1);
3434
} catch (error) {
3535
console.error(error);

0 commit comments

Comments
 (0)