We propose a new identification system based on algorithmic problems related to computing isomorphisms between central simple algebras. We design a statistical zero knowledge protocol which relies on the hardness of computing isomorphisms between orders in division algebras which generalizes a protocol by Hartung and Schnorr, which relies on the hardness of integral equivalence of quadratic forms.
翻译:我们提出一个新的识别系统,其基础是计算中简单代数之间异形的算法问题。 我们设计了一个统计零知识协议,该协议依赖于分类代数命令之间计算不单形的硬性。 分代数命令将哈特恩和施诺尔之间的协议简单化,后者依赖四方形整体等同的硬性。