Le Caire est devenu plus facile à prouver ! Cairo est un langage prouvable, conçu pour générer des preuves STARK rapides et bon marché de n’importe quel calcul. La nouvelle version améliorée de Cairo Playground de @walnut_dev prend désormais en charge la vérification de votre code Cairo, sans quitter votre onglet. Pas de configuration, pas de CLI, juste : 1️⃣ Écrivez un peu de Cairo 2️⃣ Sélectionnez « Prouver et vérifier » et appuyez sur « Exécuter » 3️⃣ Obtenez votre preuve STARK vérifiée en quelques secondes Prouvez et vérifiez votre code Cairo maintenant :

Votre voyage au Caire commence avec Starklings ⭐ Apprenez les bases de la syntaxe Cairo-lang à travers des exercices interactifs. À portée de clic : Maintenant avec : ✅DevX plus fluide : base de données unifiée sur l’interface de ligne de commande et le Web ✅Page d’accueil mise à jour et plus cool