为什么在检查zkSNARK algo中的QAP时，逻辑门被分配给整数？

Question

我试图了解zkSNARK是如何工作的。通过Vitalik的这篇文章，在“检查QAP”一节中，他说：“如果在上面表示逻辑门的每一个x坐标上求出的多项式等于零，那就意味着所有的检查都通过了；”

有人能帮我理解为什么逻辑门对应于数字1,2,3,4吗？

Answer 1

将“坐标”(整数)分配给算术门是一种通过拉格朗日插值将多个验证方程组合成一个单一的验证方程，然后在一个随机点对单个方程进行测试的方法。随机点的选取有效地导致了组合中原始方程的随机权值。这一点可以与Schnorr协议的挑战相比较。对于引用的语句，结果多项式表示电路中的所有门。