标签：pinocchio

本篇文章呈现的是 Alice 如何向 Bob 展示满足 QAP 的赋值。