Kairo har precis blivit lättare att bevisa! Kairo är ett bevisbart språk som är utformat för att generera snabba, billiga STARK-bevis för alla beräkningar. Den nya och förbättrade Cairo Playground från @walnut_dev har nu stöd för att bevisa och verifiera din Kairo-kod, allt utan att lämna din flik. Ingen installation, ingen CLI, bara: 1️⃣ Skriv lite Kairo 2️⃣ Välj "Bevisa och verifiera" och tryck på "Kör" 3️⃣ Få ditt verifierade STARK-bevis på några sekunder Bevisa och verifiera din Kairo-kod nu: