前言这章主要讲述ZK-SNARKs所用到的算术电路、R1CS、QAP等1:算术电路算术运算电路1>半加器：实现半加运算的逻辑电路2>全加器：能进行被加数，加数和来自低位的进位信号相加，并根据求和结果给出该位的进位信号说明：2进制加，低位进位相当于结果S为=A+B+C(地位进位)高位进