两个零知识库Plonky2和Starky，代表了构建更高性能 SNARKs/STARKs 的新方法。Plonky2 是一个结合了Plonk和FRI的库，Starky 专注于运行基于AIR的STARKs，且支持对其的递归验证。该方法可以总结为，使用小域，然后使用递归FRI。
Plonky2
Starky
Plonky2入门指南 ——关于全世界最快的ZK技术
Plonky2由PolygonZero团队开发，实现了一种快速的递归SNARK，据其团队公开的基准测试，2020年，以太坊第一笔递归证明需要60s生成，而于今Plonky2在MacBookPro上生成只需170毫秒。下面将逐步剖析Plonky2。整体构造每个零知识证明系统都由
XPTY
Luna Lau
孙如绿叶