文件名称：zkvm:zkvm外观的草图
文件大小：3KB
文件格式：ZIP
更新时间：2024-05-06 06:05:36
Python
ZKVM 介绍 我们想要构建一个ZKP，以验证整个EVM块或尽可能多地验证它。 可以调整每个EVM操作码的用气成本。 如果它们非常昂贵，目前还可以排除一些操作码。 可以排除预编译。 此回购创建了一个草图，以此作为解释的方式，但也使我的想法清晰明了。 拱 我们有两个证明可以用来证明状态转换的有效性 证明1：构造堆栈 我们对正在执行的堆栈构造一个承诺。 因此，在这里我们进行负载和存储以及会员证明。 此块之后的新状态的命令也被存储。 承诺是该区块的整个堆栈。 它包括操作码以及从内存中加载的变量。 [barry]签名也去了吗？ 证明2：执行 对于堆栈中的每个操作码，我们执行它并更新堆栈。 每个EVM操作码都是一个自定义约束。 我们根据堆栈选择自定义约束，然后执行该约束。
【文件预览】：
zkvm-master
----transcript_gen.py(3KB)
----opcodes.py(174B)
----evm.py(537B)
----README.md(1KB)
----dummy_function.py(145B)