零知识证明-ZK-SNARKs基础(七)前言 这章主要讲述ZK-SNARKs 所用到的算术电路、R1CS、QAP等1:算术电路 算术运算电路 1>半加器:实现半加运算的逻辑电路 2>全加器:能进行被加数,加数和来自低位的进位信号相加,并根据求和结果给出该位的进位信号 说明:2进制加,低位进位 相当于 结果S为 = A+B+C(地位进位) 高位进位 = A+B+C(地位进位) 三个中 有最少2个为1 高位就有进位了 【1】 方程转算术电路 电路实现参考 https://blog.csdn.net/qq_34793644/article/detai