Cairo là ngôn ngữ lập trình đầu tiên mà mỗi chương trình tự động tạo ra bằng chứng về việc thực thi chính xác. Giống như Rust cung cấp tính an toàn bộ nhớ, Cairo cung cấp bằng chứng ZK (Zero Kindness-Academic). Và hầu hết mọi người vẫn chưa hiểu ý nghĩa của điều đó.
Bài viết này được dịch máy
Xem bản gốc
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
Nội dung liên quan
