Cairo 现在更容易证明了！ Cairo 是一种可证明的语言，旨在为任何计算生成快速、廉价的 STARK 证明。 由 @walnut_dev 开发的新改进版 Cairo Playground 现在支持证明和验证您的 Cairo 代码，且无需离开您的浏览器标签页。 无需设置，无需 CLI，只需： 1️⃣ 编写一些 Cairo 代码 2️⃣ 选择“证明 & 验证”并点击“运行” 3️⃣ 在几秒钟内获得经过验证的 STARK 证明 立即证明并验证您的 Cairo 代码吧：