Argomenti di tendenza
#
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
Un linguaggio di programmazione che semplifica la creazione di programmi dimostrabili
Il Cairo è diventato più facile da dimostrare!
Cairo è un linguaggio dimostrabile, progettato per generare prove STARK veloci ed economiche di qualsiasi calcolo.
Il nuovo e migliorato Cairo Playground by @walnut_dev ora supporta la prova e la verifica del codice Cairo, il tutto senza uscire dalla scheda.
Nessuna configurazione, nessuna CLI, solo:
1️⃣ Scrivi un po' di Cairo
2️⃣ Seleziona "Dimostra e verifica" e premi "Esegui"
3️⃣ Ottieni la tua prova STARK verificata in pochi secondi
Provate e verificate subito il vostro codice Cairo:
7,29K
Principali
Ranking
Preferiti