Build fails with invalid AArch64 register errors in block-multiplier during proof generation

Hi team,

I'm encountering a compilation issue when trying to generate a proof using the following command:

cargo run --release --bin noir-r1cs prepare ./target/basic.json -o ./noir-proof-scheme.nps

The build fails with multiple register-related errors coming from block-multiplier/src/aarch64/mod.rs. Here's a sample of the output:

...
error: invalid register v16: unknown register
   --> block-multiplier/src/aarch64/mod.rs:212:31
    |
212 |             lateout("v15") _, lateout("v16") _, lateout("v17") _, lateout("v18") _,
    |                               ^^^^^^^^^^^^^^^

error: invalid register v17: unknown register
   --> block-multiplier/src/aarch64/mod.rs:212:49

error: invalid register v18: unknown register
   --> block-multiplier/src/aarch64/mod.rs:212:67

error: invalid register v19: unknown register
   --> block-multiplier/src/aarch64/mod.rs:213:13

error: invalid register lr: unknown register
   --> block-multiplier/src/aarch64/mod.rs:213:31
...

System info:

OS: Linux kali 6.12.25-amd64 #1 SMP PREEMPT_DYNAMIC Kali 6.12.25-1kali1 (2025-04-30) x86_64 GNU/Linux

Rust version: rustc 1.88.0-nightly (17ffbc81a 2025-04-04)

Thank you in advance for your help

Start by running the reported cargo run command and inspect block-multiplier/src/aarch64/mod.rs around lines 212-213. Compare the AArch64 register usage with the reported x86_64 environment and Rust toolchain configuration. Done means the project builds and proof generation completes without invalid-register errors.