 For small knowledge errors formula_30, such as e.g.formula_41 or formula_42 it can be seen as being stronger than the soundness of ordinary interactive proofs.In order to define a specific proof of knowledge, one need not only define the language, but also the witnesses the verifier should know.