{"title":"用于高效匿名身份验证的基于复杂正弦波形的新型零知识证明系统","authors":"Youhyun Kim;Ongee Jeong;Kevin Choi;Inkyu Moon;Bahram Javidi","doi":"10.1109/TSMC.2024.3460801","DOIUrl":null,"url":null,"abstract":"Zero-knowledge proof systems based on Feige-Fiat–Shamir (FFS) protocol are an interactive protocol between two anonymous authentication parties. However, they require heavy computations because of many iterations for reducing the probability that an attacker can trick a remote server. The algorithm’s time complexity rapidly increases with the total number of the challenge values, which should be unpredictable. Hence, the FFS protocol is not suitable for practical zero-knowledge proof systems. In this study, we propose new zero-knowledge proof systems based on phase mask generation that are complex sinusoidal waveform versions of the FFS algorithm for efficient anonymous authentication in the diverse interactive systems. The proposed anonymous authentication schemes need a single iteration only, allowing for efficient uses of a random challenge mask with large bit-depth. The proposed schemes allow the verifier to verify that the prover knows the secret mask, such as binary pattern, visual image, or hologram, which are the prover’s secrets, without revealing any information about it to anyone else, including the verifier. Various numerical simulations demonstrate the proposed schemes’ feasibility and robustness.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"54 12","pages":"7710-7720"},"PeriodicalIF":8.6000,"publicationDate":"2024-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"New Complex Sinusoidal Waveform-Based Zero-Knowledge Proof Systems for Efficient Anonymous Authentication\",\"authors\":\"Youhyun Kim;Ongee Jeong;Kevin Choi;Inkyu Moon;Bahram Javidi\",\"doi\":\"10.1109/TSMC.2024.3460801\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Zero-knowledge proof systems based on Feige-Fiat–Shamir (FFS) protocol are an interactive protocol between two anonymous authentication parties. However, they require heavy computations because of many iterations for reducing the probability that an attacker can trick a remote server. The algorithm’s time complexity rapidly increases with the total number of the challenge values, which should be unpredictable. Hence, the FFS protocol is not suitable for practical zero-knowledge proof systems. In this study, we propose new zero-knowledge proof systems based on phase mask generation that are complex sinusoidal waveform versions of the FFS algorithm for efficient anonymous authentication in the diverse interactive systems. The proposed anonymous authentication schemes need a single iteration only, allowing for efficient uses of a random challenge mask with large bit-depth. The proposed schemes allow the verifier to verify that the prover knows the secret mask, such as binary pattern, visual image, or hologram, which are the prover’s secrets, without revealing any information about it to anyone else, including the verifier. Various numerical simulations demonstrate the proposed schemes’ feasibility and robustness.\",\"PeriodicalId\":48915,\"journal\":{\"name\":\"IEEE Transactions on Systems Man Cybernetics-Systems\",\"volume\":\"54 12\",\"pages\":\"7710-7720\"},\"PeriodicalIF\":8.6000,\"publicationDate\":\"2024-09-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Transactions on Systems Man Cybernetics-Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/10697935/\",\"RegionNum\":1,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Systems Man Cybernetics-Systems","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10697935/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
New Complex Sinusoidal Waveform-Based Zero-Knowledge Proof Systems for Efficient Anonymous Authentication
Zero-knowledge proof systems based on Feige-Fiat–Shamir (FFS) protocol are an interactive protocol between two anonymous authentication parties. However, they require heavy computations because of many iterations for reducing the probability that an attacker can trick a remote server. The algorithm’s time complexity rapidly increases with the total number of the challenge values, which should be unpredictable. Hence, the FFS protocol is not suitable for practical zero-knowledge proof systems. In this study, we propose new zero-knowledge proof systems based on phase mask generation that are complex sinusoidal waveform versions of the FFS algorithm for efficient anonymous authentication in the diverse interactive systems. The proposed anonymous authentication schemes need a single iteration only, allowing for efficient uses of a random challenge mask with large bit-depth. The proposed schemes allow the verifier to verify that the prover knows the secret mask, such as binary pattern, visual image, or hologram, which are the prover’s secrets, without revealing any information about it to anyone else, including the verifier. Various numerical simulations demonstrate the proposed schemes’ feasibility and robustness.
期刊介绍:
The IEEE Transactions on Systems, Man, and Cybernetics: Systems encompasses the fields of systems engineering, covering issue formulation, analysis, and modeling throughout the systems engineering lifecycle phases. It addresses decision-making, issue interpretation, systems management, processes, and various methods such as optimization, modeling, and simulation in the development and deployment of large systems.