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

您的Cairo旅程从Starklings开始 ⭐ 通过互动练习学习Cairo-lang语法的基础知识。 只需点击一下： 现在提供： ✅更流畅的开发体验：CLI和Web统一数据库 ✅更新且更酷的登录页面