Introducing cuda-nova:
A @NVIDIAHPCDev CUDA Rust arithmetic backend for @Microsoft Nova.
It keeps Nova’s protocol unchanged while offloading R1CS SpMV, NIFS cross-terms, and witness folds to the GPU.
With HyperKZG + GPU MSM, a verified 1,024-step V100 proof fell from 612.6s to 329.5s—1.86× faster.
https://t.co/YJ0WlTsclJ