Unconditional classical verification with one quantum prover

Find a protocol in which a classical verifier checks any efficient quantum computation with one prover and no cryptographic assumptions.