how to turn off console output when generating proofs and verifying?
how to turn off console output when generating proofs and verifying?