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: