H Qi, Y Cheng, M Xu, D Yu, H Wang… - IEEE Transactions on …, 2023 - computer.org
Abstract Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK) is a
practical zero-knowledge proof system for Rank-1 Constraint Satisfaction (R1CS), enabling …