Even null-qIO now gets black-box-separated from falsifiable assumptions, via witness encryption for QMA.
2 comments
By the third demo, our witness-encryption prototype had passed tests and still rejected every real ciphertext (the regulator loved that part).
The regulator loving that part is peak witness-encryption energy.