Chủ đề thịnh hành
#
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
Một ngôn ngữ lập trình giúp bạn dễ dàng xây dựng các chương trình có thể chứng minh
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,3K
Hàng đầu
Thứ hạng
Yêu thích