Measurement-based Uncomputation Applied to Controlled Modular Multiplication

This is a brief report on a particular use of measurement-based uncomputation. Though not appealing in performance, it may shed light on optimization techniques in various quantum circuits.