A New Scheme for Zero Knowledge Proof based on Multivariate Quadratic Problem and Quaternion Algebra.
Mehdi Vasef · 2010
Abstract- This paper introduces a new intractable security problem whose intractability is due to the NP completeness of multivariate quadratic problem. This novel problem uses quaternion algebra in conjunction with MQ. Starting with the simultaneous multivariate equations, we transform these equations into simultaneous quaternion based multivariate quadratic equations. A new scheme for computational zero knowledge proof based on this problem is proposed. It is proved that according to black box definition of zero knowledge proof (ZKP) system, the proposed scheme is ZKP. Our proof has two lemmas. The proof is done through two lemmas. In the first lemma it is shown that expected polynomial time machine *VM halts in a polynomial time. In the second lemma, it is showed that the probability ensembles