A proof complexity perspective on effectively zero-knowledge proofs | Digital Library | PAMCET | PAMCET