У Каїрі стало просто легше доводити! Cairo — це доказова мова, призначена для створення швидких і дешевих доказів STARK будь-яких обчислень. Новий і вдосконалений Cairo Playground від @walnut_dev тепер підтримує підтвердження та перевірку вашого каїрського коду, не виходячи з вкладки. Без налаштування, без CLI, просто: 1️⃣ Напишіть трохи Каїра 2️⃣ Виберіть «Довести та перевірити» та натисніть «Виконати» 3️⃣ Отримайте свій перевірений доказ STARK за лічені секунди Підтвердьте та підтвердьте свій код Каїра зараз: