探索 Momentum 生態，瓜分 $101.5 萬獎勵
discoveryBanners
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico-11.51%
USELESS
USELESS-22.01%
IKUN
IKUN-17.79%
gib
gib-30.24%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-5.15%
ALON
ALON-6.41%
LAUNCHCOIN
LAUNCHCOIN-6.36%
GOONC
GOONC-5.65%
KLED
KLED+30.1%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-2.01%
Boopa
Boopa+1.7%
PORK
PORK-2.3%
header
CairoLang
一種可以輕鬆構建可證明程序的程式設計語言
CairoLang
CairoLang2025年5月8日
開羅變得更容易證明瞭！ Cairo 是一種可證明的語言，旨在為任何計算生成快速、廉價的 STARK 證明。 全新改進的 Cairo Playground by @walnut_dev 現在支援驗證和驗證您的 Cairo 代碼，所有這些都無需離開您的標籤頁。 無需設置，無需 CLI，只需： 1️⃣ 寫一些開羅 2️⃣ 選擇“證明和驗證”並點擊“運行” 3️⃣ 在幾秒鐘內獲得經過驗證的 STARK 證明 立即證明並驗證您的 Cairo 代碼：
7.3K
CairoLang
CairoLang2025年4月12日
您的開羅之旅從 Starklings ⭐ 開始 通過互動式練習學習 Cairo-lang 語法的基本知識。 只需按一下即可： 現在有： ✅ 更流暢的 DevX：跨 CLI 和 Web 的統一資料庫 ✅ 更新且更酷的登錄頁面
6.4K