カイロの証明がさらに簡単になりました! Cairoは証明可能な言語であり、あらゆる計算の高速で安価なSTARK証明を生成するように設計されています。 新しく改良された Cairo Playground by @walnut_dev は、タブを離れることなく、Cairo コードの証明と検証をサポートするようになりました。 セットアップもCLIも不要で、ただ: 1️⃣ カイロを書いてください 2️⃣ "Prove & Verify"を選択し、"Run"を押す 3️⃣ 検証済みのSTARKプルーフを数秒で取得 今すぐカイロのコードを証明して検証してください。