1. 引言

前序博客为：

• Plonky = Plonk + Halo + Rescue

针对的代码库为：

• https://github.com/mir-protocol/plonky

2. curve

Plonky代码库src/curve中支持了以下curves：

• 1）arkworks-rs的bls12-377 curve
• 2）Halo论文早期的Tweedledee和Tweedledum cycle curves，详细可参见 Halo中的elliptic curve cycle
• 3）ZCash halo2方案最终采用的Pallas和Vesta cycle curves，详细可参见 The Pasta Curves for Halo 2 and Beyond

其中：
1）src/curve/curve_adds.rs：定义了Projective和Affine坐标系下的2 point加法运算，最终加法结果以Projective坐标系表示。
2）