Worked on the Plonky3/Plonky3 repository to deliver a robust upgrade to STIR query sampling, replacing the previous approach with unbiased rejection sampling to ensure uniform and distinct query indices. Leveraging Rust, algorithm design, and cryptography expertise, introduced a new sampling method using CanSampleUniformBits::sample_uniform_bits and implemented sampling without replacement. Expanded test coverage with property-based and empirical uniformity checks, ensuring soundness and reliability. Overhauled documentation with improved clarity and structure, aligning cross-repo references. All changes passed comprehensive CI and QA pipelines. This work reduced modular-bias risk, strengthened security-bound proofs, and improved maintainability for future adoption across related projects.