Skip to main content

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).

Link tải tài liệu

Nguồn tài liệu tại đây


Picture