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 :