2/ FPGA Arithmetic Primitives (Versal HBM):Implemented optimized FPGA-based adders and multipliers targeting M31Ext3, Goldilocks, and BN254 fields. Each arithmetic block was tailored for Versal HBM devices, taking advantage of high-bandwidth memory to maximize throughput and minimize latency. This lays the groundwork for full hardware acceleration of proof generation on FPGAs. ...