H Duan, L Xiang, X Wang, P Chu, C Zhou - IEEE Transactions on …, 2023 - dl.acm.org
Verifying the correctness of computation without revealing the input is a critical issue
intensively studied in real-world applications. The recent surge of zero knowledge …