SP1

https://github.com/succinctlabs/sp1

liquan.eth: sp1 是一个 zkVM，能够证明任意 rust 程序的执行。相比于 halo2 等需要手动写复杂的电路的 zk 框架，sp1 能够更方便普通开发者使用 zk 技术。

Plonky3

https://github.com/Plonky3/Plonky3

Harry: Plonky3 是一个用于实现多项式 IOP（PIOP）的工具包，例如 PLONK 和 STARK。它旨在支持多种多项式承诺方案，例如 Brakedown。

如何科学的冲“土狗”？一文详述从交易策略到寻找“金狗”的全过程

https://www.panewslab.com/zh/articledetails/yso8o3lw.html

Mark·R: 如何用科学策略对抗赛博运气