Worked on the Plonky3/Plonky3 repository to address a critical issue in cryptographic trace generation, focusing on the BLAKE3 hashing algorithm. Applied expertise in Rust and low-level programming to correct the modular addition logic by implementing wrapping_add, ensuring proper wraparound at 2^32 for large integer values. This fix preserved the integrity of cryptographic hash calculations and improved the reliability of trace outputs, particularly for edge-case inputs. The work enhanced the robustness of cryptographic workflows and supported downstream testing and integration. Demonstrated careful attention to numeric correctness and maintainable code practices within Rust-based cryptographic components throughout the project.