Giza=Winterfell + Cairo VM

1. 引言

开源代码见：

• https://github.com/maxgillett/giza

Giza使用Winterfell库来证明和验证Cairo VM中程序执行的正确性。

Winterfell为：A STARK prover and verifier for arbitrary computations。

Giza提供了2种使用模式：

• 1）模式一：外部Cairo runner创建execution trace，并将该execution trace提供给CLI以生成证明。所提供的trace中包含了：

  • 包含寄存器记录的二进制文件；
  • 运行某Cairo程序所访问的内存状态。

  为了证明该execution，必须重构除额外的辅助trace值，并使用内置的Rust runner来重新执行该trace，以计算出这些值。

• 2）模式二：仅接收某Cairo程序和初始寄存器状态，使用runner来构建所有所需的trace信息（包括trace值和内存值）。不同于模式一，当前并未完全支持Python hint和program input。当前不推荐通过该模式与Giza交互，也暂未通过CLI暴露该模式接口。