P
Initializing...
A raw typed strategy already gives the original verifier's source value · Prove2Me