Worked on the worldfnd/provekit repository to enhance the Noir-to-R1CS compiler, focusing on precise mapping of ACIR witnesses to R1CS witnesses for accurate constraint system generation. Leveraged Rust and compiler development expertise to implement witness mapping and introduce pretty-printers for R1CS matrices and witness mappings, streamlining the validation and debugging process for compiled circuits. These improvements addressed the reliability of proof generation and reduced the time required for troubleshooting complex circuit translations. The work demonstrated depth in zero-knowledge proof systems and debugging tools, delivering business value by improving assurance and onboarding for users working with advanced cryptographic compilers.