Kairo ble akkurat lettere å bevise! Kairo er et bevisbart språk, designet for å generere raske, billige STARK-bevis på enhver beregning. Den nye og forbedrede Cairo Playground fra @walnut_dev støtter nå bevising og verifisering av Kairo-koden din, alt uten å forlate fanen. Ingen oppsett, ingen CLI, bare: 1️⃣ Skriv litt Kairo 2️⃣ Velg "Bevis og bekreft" og trykk "Kjør" 3️⃣ Få ditt verifiserte STARK-bevis på sekunder Bevis og bekreft Kairo-koden din nå: