Vitalik Buterin: 我在 python 中构建了一个 SNARK (PLONK) 编译器、证明者和验证者的基本实现： github.com/ethereum/resea… 主要用于教育价值，对于简单的输入，它可以准确地复制 zkrepl.dev 生成的验证密钥

原推：I built a basic implementation of a SNARK (PLONK) compiler, prover and verifier in python:

github.com/ethereum/resea…

Intended primarily for educational value, and for simple inputs it can exactly reproduce verification keys generated by zkrepl.dev
https://twitter.com/VitalikButerin/status/1575885920221466624