In July 2025, Agathangelos Stylianidis enhanced the ProvableHQ/snarkVM repository by introducing an integer square root (isqrt) implementation to the field arithmetic macros, replacing the previous floating-point approach. This update addressed the need for greater precision and robustness in finite-field mathematical operations, particularly in the calculation of the parameter k, where floating-point errors could compromise correctness. Working in Rust and applying low-level programming and mathematical algorithm skills, Agathangelos delivered the feature through two well-documented commits. The work demonstrated careful attention to cryptographic accuracy and laid a foundation for future performance optimization in arithmetic-intensive code paths within snarkVM.