Caïro is nu nog makkelijker te bewijzen! Cairo is een bewijsbare taal, ontworpen om snelle, goedkope STARK-bewijzen van elke berekening te genereren. De nieuwe en verbeterde Cairo Playground van @walnut_dev ondersteunt nu het bewijzen en verifiëren van uw Cairo-code, allemaal zonder uw tabblad te verlaten. Geen installatie, geen CLI, gewoon: 1️⃣ Schrijf wat Caïro 2️⃣ Selecteer "Bewijzen en verifiëren" en klik op "Uitvoeren" 3️⃣ Ontvang uw geverifieerde STARK-bewijs binnen enkele seconden Bewijs en verifieer nu uw Cairo-code: