用于零知识证明的R1CS基于数据流的规范化生成算法| IEEE会议出版物| IEEE Xplore