開羅變得更容易證明瞭！ Cairo 是一種可證明的語言，旨在為任何計算生成快速、廉價的 STARK 證明。 全新改進的 Cairo Playground by @walnut_dev 現在支援驗證和驗證您的 Cairo 代碼，所有這些都無需離開您的標籤頁。 無需設置，無需 CLI，只需： 1️⃣ 寫一些開羅 2️⃣ 選擇“證明和驗證”並點擊“運行” 3️⃣ 在幾秒鐘內獲得經過驗證的 STARK 證明 立即證明並驗證您的 Cairo 代碼：