Scripting smart contracts for distributed ledger technology
Viết các hợp đồng thông minh cho công nghệ sổ cái phân tán
Bài nghiên cứu này cung cấp tổng quan về các ngôn ngữ tập lệnh được sử dụng trong các Crypto hiện nay. Đặc biệt là chúng tôi xem xét một số chi tiết về các ngôn ngữ tập lệnh của Bitcoin, Nxt và Ethereum, trong ngữ cảnh tổng quan cấp độ cao về Công nghệ sổ cái phân tán và Crypto. Chúng tôi khảo sát các cách tiếp cận khác nhau và đưa ra một cái nhìn tổng quan về những lời bình luận đối với các ngôn ngữ hiện nay. Chúng tôi cũng đề cập đến các công nghệ có thể được sử dụng để củng cố các phần mở rộng và đổi mới trong tập lệnh và hợp đồng, bao gồm các công nghệ để xác minh, chẳng hạn như bằng chứng không kiến thức (Zero Knowledge Proof), mã Code mang theo bằng chứng (Proof-Carrying Code) và phân tích tĩnh, cũng như các cách tiếp cận để làm cho hệ thống hiệu quả hơn, ví dụ: Cây cú pháp trừu tượng Merkelized (MAST - Merkelized Abstract Syntax Tree).
Nguồn tài liệu tại đây