Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP

From MaRDI portal