Cairo ficou mais fácil de provar! Cairo é uma linguagem demonstrável, projetada para gerar provas STARK rápidas e baratas de qualquer computação. O novo e aprimorado Cairo Playground da @walnut_dev agora suporta a comprovação e verificação do seu código Cairo, tudo sem sair da guia. Sem configuração, sem CLI, apenas: 1️⃣ Escreva um pouco de Cairo 2️⃣ Selecione "Provar e Verificar" e clique em "Executar" 3️⃣ Obtenha sua prova STARK verificada em segundos Comprove e verifique seu código Cairo agora: