Ồ! Thật tuyệt vời! Việc xác minh chính thức (sử dụng Lean trong trường hợp này) có thể giúp ngăn chặn một số lỗi, như lỗ hổng làm giả không thể phát hiện đã được công bố ba ngày trước trong tính năng số lượng mã hóa của Solana. Về lâu dài, đây là công việc quan trọng:
Chúng tôi đã nhận được một khoản tài trợ từ chương trình zkEVM Verified của @ethereumfndn để phát triển các bản thiết kế Lean cho STIR và WHIR—hai giao thức IOPP dành cho mã Reed-Solomon. Chúng tôi đang thúc đẩy việc xác minh chính thức để hướng tới một tương lai zkEVM an toàn hơn. #zkEVM #FormalVerification @EF_ESP
Hiển thị ngôn ngữ gốc
6,42 N
29
Nội dung trên trang này được cung cấp bởi các bên thứ ba. Trừ khi có quy định khác, OKX không phải là tác giả của bài viết được trích dẫn và không tuyên bố bất kỳ bản quyền nào trong các tài liệu. Nội dung được cung cấp chỉ nhằm mục đích thông tin và không thể hiện quan điểm của OKX. Nội dung này không nhằm chứng thực dưới bất kỳ hình thức nào và không được coi là lời khuyên đầu tư hoặc lời chào mời mua bán tài sản kỹ thuật số. Việc sử dụng AI nhằm cung cấp nội dung tóm tắt hoặc thông tin khác, nội dung do AI tạo ra có thể không chính xác hoặc không nhất quán. Vui lòng đọc bài viết trong liên kết để biết thêm chi tiết và thông tin. OKX không chịu trách nhiệm về nội dung được lưu trữ trên trang web của bên thứ ba. Việc nắm giữ tài sản kỹ thuật số, bao gồm stablecoin và NFT, có độ rủi ro cao và có thể biến động rất lớn. Bạn phải cân nhắc kỹ lưỡng xem việc giao dịch hoặc nắm giữ tài sản kỹ thuật số có phù hợp hay không dựa trên tình hình tài chính của bạn.