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:

Perjalanan Kairo Anda dimulai dengan Starklings ⭐ Pelajari esensi sintaks Kairo-lang melalui latihan interaktif. Hanya dengan sekali klik: Sekarang dengan: ✅DevX yang lebih lancar: database terpadu di seluruh CLI dan Web ✅Halaman arahan yang diperbarui dan lebih keren