Verifiability plays a crucial role in establishing confidence in the capabilities of quantum devices in quantum supremacy experiments. In this presentation, we revisit Instantaneous Quantum Polynomial-Time (IQP) sampling, the only known sampling scheme with built-in verifiability. We propose new IQP constructions based on coding theory and the stabilizer formalism, enhancing the security of the IQP scheme. Additionally, we examine known attacks, including the linearity attack and the radical attack, to evaluate the security of our constructions. Furthermore, we examine the circuit complexity in experimentally implementing the IQP scheme.
Zhengfeng Ji is currently a professor in the Department of Computer Science and Technology at Tsinghua University. His research studies quantum computing from a computer science perspective, recently focusing on the quantum algorithm and complexity theory, quantum cryptography, and quantum software.