Subjects: Computer Science >> Integration Theory of Computer Science submitted time 2022-05-10 Cooperative journals: 《计算机应用研究》
Abstract: Bullens et al. left an open problems in CSI-Fish is to devise a identification protocol that allows for the challenge set to be #1;rather than the small set #1;. This paper proposed a zero-knowledge proof scheme based on supersingular isogeny. This scheme addresses the open problem by taking the challenge C as a isogeny , and reduces the soundness error and the size of public key. This scheme can be turned into non-interactive zero-knowledge proof scheme using the Fiat-Shamir transform. Then signature scheme and group signature scheme based on supersingular isogeny can be implemented under the quantum random oracles model. And this paper analyzes the security and correctness of these schemes.