Chứng chỉ biên dịch cho hợp đồng thông minh
Translation Certification for Smart Contracts.
Tính chính xác của trình biên dịch là vấn đề cũ đã nhận được sự quan tâm mới trong bối cảnh hợp đồng thông minh - tức là mã được biên dịch trên các Blockchain công khai, chẳng hạn như Ethereum hoặc Cardano, thường kiểm soát một lượng lớn tài sản tài chính và không thể cập nhật nữa sau khi đã được cam kết với Blockchain. Lỗi trong hợp đồng thông minh là một vấn đề đáng kể trong thực tế [1]. Các công việc gần đây cũng đã xác định trình biên dịch ngôn ngữ hợp đồng thông minh có thể làm trầm trọng thêm vấn đề này [8, Phần 3] (trong trường hợp này là trình biên dịch Vyper). Cụ thể hơn, các tác giả báo cáo họ đã (a) tìm thấy lỗi trong trình biên dịch Vyper làm tổn hại đến bảo mật hợp đồng thông minh và (b) thực hiện xác minh trên mã được tạo ra, vì họ cảnh giác với lỗi biên dịch. Do đó, để hỗ trợ lý luận về mã nguồn hợp đồng thông minh, các tác giả cần nắm được tính chính xác của trình biên dịch hợp đồng thông minh. Ngoài ra, các tác giả cũng cần một liên kết có thể xác minh giữa mã nguồn và mã đã biên dịch để ngăn chặn các cuộc tấn công thay thế mã.