A proof of quantumness is an efficiently verifiable interactive test that an efficient quantum
computer can pass, but all efficient classical computers cannot (under some cryptographic …

We present and experimentally demonstrate a novel approach to verification and
benchmarking of quantum computing, implementing it on an ion-trap quantum computer …

For many years after the dawn of computing machines, it seemed to be the case that the
dynamics of any physical system (including all computers, which of course are physical …