Worked on ProvableHQ/snarkVM, delivering a targeted feature that enhanced field arithmetic by replacing floating-point square root operations and type conversions with an integer square root (isqrt) in the macros used for field computations. This adjustment improved the precision and robustness of finite-field arithmetic, particularly in the calculation of the parameter k, by reducing numeric error risk. The work was implemented in Rust, leveraging low-level programming and mathematical algorithms to align with cryptographic requirements. The changes were introduced through two well-documented commits, maintaining code clarity and laying the foundation for future performance optimization in arithmetic-intensive code paths.