如何为Cairo程序生成一个证明并进行验证？

Question

在SNARKs中，您可以使用佐克拉底或史纳克为程序/计算生成一个证明，并在本地或Ethereum上验证它。

类似于这个未回答的问题，如何在开罗和斯塔克做同样的事情，比如说，15字谜

cairo-run可以生成一个证据，或者只生成一个跟踪吗？

我可以用cairo-sharp将它发送到cairo-sharp，但是我不能在本地生成或看到证据。有没有办法通过运行我自己的不带锐利的验证器来生成证据？

Answer 1

您可以使用giza https://github.com/maxgillett/giza在本地生成一个证明。