I built a basic implementation of a SNARK (PLONK) compiler, prover and verifier in python:
https://github.com/ethereum/re...
Intended primarily for educational value, and for simple inputs it can exactly reproduce verification keys generated by https://zkrepl.dev/
我在 python 中构建了一个 SNARK (PLONK) 编译器、证明者和验证者的基本实现：
https://github.com/ethereum/re...
主要用于教育价值，对于简单的输入，它可以准确地重现 https://zkrepl.dev/ 生成的验证密钥