Gravar-mail: A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols