P
Initializing...
Direct random-pair verification requires exponential resources · Prove2Me