トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
CairoLang
証明可能なプログラムを簡単に構築できるプログラミング言語
Cairo just got easier to prove!
Cairo is a provable language, designed to generate fast, cheap STARK proofs of any computation.
The new and improved Cairo Playground by @walnut_dev now supports proving and verifying your Cairo code, all without leaving your tab.
No setup, no CLI, just:
1️⃣ Write some Cairo
2️⃣ Select “Prove & Verify” and hit “Run”
3️⃣ Get your verified STARK proof in seconds
Prove and verify your Cairo code now:
7.29K
トップ
ランキング
お気に入り