Don’t trust someone who says he understands quantum:
Reimagining of Schrödinger’s cat breaks quantum mechanics — and stumps physicists.
On the other hand, the thought experiment described in the link also contains Alice, Bob and a coin toss… 
Ps at 3:51: ‘…the classical verifier is allowed to interact with 2 provers instead of 1 so he can test them against each other.’ I was also thinking if something like that could be possible in a proof of space for the Safe Network.