Can't verify proof (RuntimeError: unreachable)

Hello Everyone,

I have a nestJS project with noir_js & backend_barretenberg V0.19.4
I can generate a proof but I can’t verify it.

   const proof = await noir.generateFinalProof(inputs);
   const verify = await noir.verifyFinalProof(proof);

Here is the error:

'RuntimeError: unreachable\n' +
      '    at null.<anonymous> (wasm://wasm/010be49a:1:4210546)\n' +
      '    at null.<anonymous> (wasm://wasm/010be49a:1:182749)\n' +
      '    at null.<anonymous> (wasm://wasm/010be49a:1:1958852)\n' +
      '    at null.<anonymous> (wasm://wasm/010be49a:1:2044200)\n' +
      '    at null.<anonymous> (wasm://wasm/010be49a:1:1271932)\n' +
      '    at null.<anonymous> (wasm://wasm/010be49a:1:1297676)\n' +
      '    at BarretenbergWasmMain.call (file:///C:/relayer/node_modules/@aztec/bb.js/src/barretenberg_wasm/barretenberg_wasm_base/index.ts:101:34)\n' +
      '    at BarretenbergWasmMain.callWasmExport (file:///C:/relayer/node_modules/@aztec/bb.js/src/barretenberg_wasm/barretenberg_wasm_main/index.ts:114:10)\n' +
      '    at callback (C:\relayer\\node_modules\\comlink\\src\\comlink.ts:329:36)\n' +
      '    at MessagePort.l (file:///C:/relayer/node_modules/@aztec/bb.js/src/barretenberg_wasm/helpers/node/node_endpoint.ts:12:11)'

Thank in advance

Hey can you please cross-post to the Noir DIscord? Noir

5 Likes

Hey, URL isnt active now)

Thanks for flagging, I updated it.