Cairo vừa trở nên dễ chứng minh hơn! Cairo là một ngôn ngữ có thể chứng minh, được thiết kế để tạo ra các bằng chứng STARK nhanh chóng, rẻ cho bất kỳ tính toán nào. Cairo Playground mới và cải tiến bởi @walnut_dev hiện hỗ trợ chứng minh và xác minh mã Cairo của bạn, tất cả mà không cần rời khỏi tab của bạn. Không cần cài đặt, không cần CLI, chỉ cần: 1️⃣ Viết một số mã Cairo 2️⃣ Chọn “Chứng minh & Xác minh” và nhấn “Chạy” 3️⃣ Nhận bằng chứng STARK đã được xác minh của bạn trong vài giây Chứng minh và xác minh mã Cairo của bạn ngay bây giờ: