Knowledge of proofs