# Can't verify proof (RuntimeError: unreachable)

**URL:** <https://forum.aztec.network/t/cant-verify-proof-runtimeerror-unreachable/2703>\
**Category:** Noir\
**Tags:** noir\
**Created:** [January 3, 2024, 11:09am UTC](https://forum.aztec.network/t/cant-verify-proof-runtimeerror-unreachable/2703 "2024-01-03T11:09:29Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![shuffle](https://dub1.discourse-cdn.com/flex013/user_avatar/forum.aztec.network/shuffle/32/1734_2.png) [@shuffle](https://forum.aztec.network/u/shuffle)\
**Post date:** [January 3, 2024, 11:09am UTC](https://forum.aztec.network/t/cant-verify-proof-runtimeerror-unreachable/2703/1 "2024-01-03T11:09:29Z")

</div>

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.

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

```

Here is the error:

```auto
'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

---

<div class="post-metadata">

**Author:** ![zepedro](https://dub1.discourse-cdn.com/flex013/user_avatar/forum.aztec.network/zepedro/32/41_2.png) [@zepedro](https://forum.aztec.network/u/zepedro)\
**Post date:** [January 3, 2024, 11:29am UTC](https://forum.aztec.network/t/cant-verify-proof-runtimeerror-unreachable/2703/2 "2024-01-03T11:29:44Z")

</div>

Hey can you please cross-post to the Noir DIscord? [Noir](https://discord.gg/Y99uGZ5Z2D)

---

<div class="post-metadata">

**Author:** ![Lezuko](https://dub1.discourse-cdn.com/flex013/user_avatar/forum.aztec.network/lezuko/32/1909_2.png) [@Lezuko](https://forum.aztec.network/u/Lezuko)\
**Post date:** [January 18, 2024, 6:16pm UTC](https://forum.aztec.network/t/cant-verify-proof-runtimeerror-unreachable/2703/3 "2024-01-18T18:16:20Z")

</div>

Hey, URL isnt active now)

---

<div class="post-metadata">

**Author:** ![joshc](https://dub1.discourse-cdn.com/flex013/user_avatar/forum.aztec.network/joshc/32/20_2.png) [@joshc](https://forum.aztec.network/u/joshc)\
**Post date:** [January 18, 2024, 6:16pm UTC](https://forum.aztec.network/t/cant-verify-proof-runtimeerror-unreachable/2703/4 "2024-01-18T18:16:32Z")

</div>

Thanks for flagging, I updated it.
