Kair właśnie stał się łatwiejszy do udowodnienia! Cairo jest językiem sprawdzonym, zaprojektowanym do generowania szybkich, tanich dowodów STARK dla dowolnych obliczeń. Nowy i ulepszony Cairo Playground firmy @walnut_dev obsługuje teraz udowadnianie i weryfikowanie kodu Cairo, a wszystko to bez opuszczania zakładki. Bez konfiguracji, bez CLI, po prostu: 1️⃣ Napisz trochę Kairu 2️⃣ Wybierz "Udowodnij i zweryfikuj" i naciśnij "Uruchom" 3️⃣ Uzyskaj zweryfikowany dowód STARK w kilka sekund Potwierdź i zweryfikuj swój kod Cairo już teraz: