Distant Modeling of NIZK Protocol for Public Keys Certification

Abstract

We present the IT solutions for educational modeling of non-interactive zero knowledge (NIZK) cryptographic public keys certification protocols. Certified public keys can then be used in a variety of non-interactive protocols, for example, in protocols using technique designated verifier proofs. The solution is based on algebraic means provided by MPEI algebraic processor. The IT solution supports the following educational purposes: obtaining practical skills of remote implementation of multiple non-interactive oblivious transfer and of non-interactive zero-knowledge proof protocol, mastering the methods of a remote automatic modeling of cryptographic protocols and of non-interactive public keys certification, and the technique designated verifier proofs.