Quantum compilers translate programs into native gates, insert SWAP gates to route interactions onto a device, and optimize the result. The output is quantum assembly, a flat gate list that hides the algorithm's structure (QFT, Grover iteration, QAOA layers). Understanding, auditing, porting, or reusing such assembly r...
Pingchuan Ma, Zhan-Tong Xue, Zong-Jie Li et al.· 0 citations
This work presents an automated framework that removes redundant checks while provably preserving soundness in zero-knowledge proof systems, and evaluates circuits spanning MLP, CNN, RNN, and transformer architectures generated by two production frameworks.
Zhan-Tong Xue, Ping-Chuan Ma, Zhaoyu Wang et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.