Kairo menjadi lebih mudah untuk dibuktikan! Kairo adalah bahasa yang dapat dibuktikan, dirancang untuk menghasilkan bukti STARK yang cepat dan murah dari perhitungan apa pun. Cairo Playground yang baru dan ditingkatkan oleh @walnut_dev sekarang mendukung pembuktian dan verifikasi kode Kairo Anda, semuanya tanpa meninggalkan tab Anda. Tidak ada pengaturan, tidak ada CLI, hanya: 1️⃣ Tulis beberapa Kairo 2️⃣ Pilih "Buktikan & Verifikasi" dan tekan "Jalankan" 3️⃣ Dapatkan bukti STARK terverifikasi Anda dalam hitungan detik Buktikan dan verifikasi kode Kairo Anda sekarang: