Quỹ Ethereum và Quỹ An toàn The DAO tài trợ cho việc xác minh trình biên dịch Vyper

Quỹ An toàn The DAO hợp tác với Quỹ Ethereum để tài trợ cho công việc xác minh hình thức của trình biên dịch Vyper, với cam kết tài trợ 100.000 USD từ Quỹ Ethereum. Hiện tại, việc kiểm toán và xác minh hợp đồng thông minh Vyper chỉ dừng lại ở mức mã nguồn, trong khi Ethereum thực sự thực thi mã byte đã biên dịch, và sự nhất quán giữa hai bên phụ thuộc vào trình biên dịch. Dự án này nhằm đảm bảo rằng quá trình biên dịch Vyper không làm thay đổi ý nghĩa của mã thông qua chứng minh máy, và cuối cùng sẽ ra mắt chế độ biên dịch đã được xác minh trong trình biên dịch chính thức của Vyper. Quỹ An toàn The DAO được thành lập từ ETH không được nhận trong sự kiện hack The DAO năm 2016, với quy mô khoảng 250 triệu USD, nhằm tăng cường an ninh cho Ethereum.

Nội dung này chỉ được đưa ra nhằm mục đích cung cấp thông tin chung, không phải là lời khuyên về tài chính, đầu tư, pháp lý hoặc thuế. Mọi sự kiện, phần thưởng, ưu đãi trực tuyến hoặc thông tin liên quan được đề cập trong nội dung này không được xem là khuyến nghị, chào mời hoặc lời mời mua, bán, giao dịch hoặc thực hiện bất kỳ hoạt động nào khác liên quan đến tài sản crypto. Tài sản crypto có độ biến động cao và có thể dẫn đến thua lỗ.Tính khả dụng của các dịch vụ, sản phẩm và sự kiện liên quan của WEEX có thể khác nhau tùy theo khu vực. Bạn có trách nhiệm bảo đảm việc tham gia của mình tuân thủ các luật và quy định hiện hành tại địa phương.