Quantum Circuit Fragments: Efficient and Verifiable Format for Quantum Circuits. - Rei Tokami; Yasunari Suzuki; Yuuki Tokunaga (QCE, 2024)