Groth16算法使得证明者可以在可信设置中利用椭圆曲线点计算二次算术程序，并由验证者快速检查。它使用来自可信设置的辅助椭圆曲线点来防止伪造证明。
### 前提条件
本文是[RareSkills Book of Zero Knowledge Proofs](https://learnblockc...
...m-2}$ mod m 即使所求解。
这里可以使用快速幂取模算法：
```
long pow_mod(long a,long b,long m){
long ans = 1;
long base = a%c;
while(b){
if(b & 1) ans = (ans*base)%c;
base = (base*base)%c;
b >>= 1;
}
return ans;...