Frank Laub

Improve error message for MethodId verification failures

1

A clear error message should be presented when MethodId verification fails. Especially in the case where the generated MethodId is smaller than the number of cycles (we run off the...

Late-bind CUDA and fallback to CPU if CUDA not found

4

Currently CUDA is required at runtime as shown by: ``` $ ldd $(which r0vm) linux-vdso.so.1 (0x00007ffe1a148000) libstdc++.so.6 => /lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007efe02b26000) libcuda.so.1 => /lib/x86_64-linux-gnu/libcuda.so.1 (0x00007efe011b2000) libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007efe01197000) libpthread.so.0 =>...

[BUG] Reproducible builds fail on macOS (execstack)

1

## Bug Report `cargo risczero build` fails on macOS 14.3 with the following: ``` => ERROR [build 4/5] RUN cargo +risc0 fetch --locked --target riscv32im-risc0-zkvm-elf --manifest-path risc0/zkvm/methods/guest/Cargo.toml 0.8s ------ >...