STUB
See https://arxiv.org/abs/quant-ph/0309152.
Only works for functions that are random verifiable (client needs to be able to efficiently generate random input-output pairs)
Server can learn client's private input. Protocol only provides cheat sensitivity.