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 melhorado Cairo Playground by @walnut_dev agora suporta provar e verificar seu código do Cairo, tudo sem sair da sua guia. Sem configuração, sem CLI, apenas: 1️⃣ Escreva um pouco de Cairo 2️⃣ Selecione "Prove & Verify" e clique em "Executar" 3️⃣ Obtenha a sua prova STARK verificada em segundos Comprove e verifique o seu código Cairo agora: