zk-STARK证明系统总览 - 深入理解zk-STARK证明系统
<aside> 💡 1.extend AIR: 在AIR的基础上加上了 multiset equality argument, permutation argument , inclusion argument , 这也是论文名字的由来
</aside>
<aside> 💡 2. 论文中也简要介绍Vanilla STARK ， 并且说明了eSTARK相比其做了哪些优化
</aside>
<aside> 💡 3. 论文中对FRI的描述简洁且易懂
</aside>
<aside> 💡 为Stark Recursive而生的Protocol，在PIOP和FRI做了很多优化,从而实现了最快的recursive stark
</aside>
<aside> 💡 STARK Recursive的优势相比Snark而言，是因为它的验证电路和证明电路都在同一个域上，并且是小域($2^{64}-2^{32}+1$)
</aside>
FRI
<aside> 💡 对于Stark Aggregation/Recursive来说，核心点在于怎么优化FRI的Commit阶段使，FRI Query阶段的计算成本更低。在Stark Recursive的电路中，大概70%的电路都是用来描述FRI的Query过程的
</aside>