Pieter Wuille tiết lộ ‘Miniscript’ – ngôn ngữ hợp đồng thông minh mới cho Bitcoin

Hợp đồng thông minh có thể sớm được gia tăng Bitcoin khi lập trình viên nổi tiếng Pieter Wuille đã tiết lộ ngôn ngữ mã hóa mới được thiết kế dành riêng cho nó.

Theo danh sách gửi thư của nhà phát triển Bitcoin vào thứ 2, ngôn ngữ Miniscript nhằm mục đích giúp các lập trình viên dễ dàng viết các hợp đồng thông minh hay điều kiện chi tiêu Bitcoin. Các lập trình viên Wuille, Andrew Poelstra và Sanket Sanjalkar đã cùng làm việc về mã hóa trong khoảng 1 năm.

Mặc dù chỉ chia sẻ câu chuyện ‘hậu trường’ nhưng Wuille hiện đang đăng ngôn ngữ vào danh sách email bởi vì đã đến lúc ông muốn ngôn ngữ mới nhận được nhiều chú ý hơn.

“Script” chỉ là ngôn ngữ viết hợp đồng thông minh trong Bitcoin, cho phép người dùng chỉ định một số điều kiện cần phải đáp ứng trước khi chi tiêu Bitcoin. Giả sử, tiền được khóa cho đến một thời điểm nhất định trước khi được chi tiêu. Hoặc, hai người cần phải đăng nhập vào một giao dịch trước khi tiền được chuyển đi. Đây được gọi là “multi-sig”.

Khả năng lập trình tiền kỹ thuật số này là khá mới lạ. Vì trước khi có Bitcoin, có thể thực hiện các quy tắc như vậy mà không cần thông qua một ngân hàng hoặc một loại trung gian tương tự là câu chuyện không tưởng.

Mặt khác, Miniscript được xây dựng dựa trên ngôn ngữ lập trình này và được cải thiện theo nhiều cách. Một là dễ nhìn hơn một chút và vì Wuille lập luận với ví dụ “cho phép A lấy coin bất cứ lúc nào và cho phép B lấy coin sau 1 ngày”.

Đây là cách các quy tắc này được triển khai trong Script của Bitcoin:

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

Và quy tắc tương tự trong Minscript:

or_d (c: pk (A), and_v (vc: pk_h (B), cũ hơn (144)))

Miniscript được xây dựng dựa trên Script, có thể biên dịch thành ngôn ngữ gốc của Bitcoin.

Ngôn ngữ mới nhận được nhiều sự tán thưởng từ các nhà phát triển trong cộng đồng. Chẳng hạn, kỹ sư blockstream Rusty Russell đã tweet: “Đây sẽ là một trong số đó, ‘Làm thế quái nào chúng ta làm điều đó trước đây? Thật kém hấp dẫn và nguy hiểm”.

Có rất nhiều công dụng tiềm năng. Như Ericolasrozo đã tweet, ngôn ngữ có thể hỗ trợ triển khai các script phức tạp như vậy trong ví dễ dàng hơn. Hoặc, như nhà giáo dục Bitcoin, Jimmy Song đã mô tả, nó thậm chí có thể được sử dụng để củng cố mạng lightning.

Với tư duy mở rộng ra các ngôn ngữ blockchain, Song nhận xét ngôn ngữ hợp đồng thông minh khác với ngôn ngữ Solidity của Ethereum, bởi vì trong khi Ethereum có thể viết nhiều loại hợp đồng thông minh hơn nhưng Miniscript thì không thể.

Song lập luận điều này tốt hơn bởi vì nó làm giảm “tính phức tạp” và “bề mặt tấn công”.

Bản phát hành bao gồm hai triển khai đang hoạt động, trong các ngôn ngữ lập trình C++ và Rust mà Wuille gọi chúng là “công việc đang được tiến hành”. Ông cho biết thêm:

“Thông qua các thử nghiệm quy mô lớn ngẫu nhiên, chúng tôi tin tưởng thiết kế ngôn ngữ và các bằng chứng liên quan tương thích với các quy tắc về sự đồng thuận và tiêu chuẩn hiện có”.

• Cosmos sẽ có 3 ngôn ngữ mã hóa
• Đây là 10 ngôn ngữ lập trình hàng đầu trong blockchain

Dislaimer: Đây là thông tin cung cấp dưới dạng blog cá nhân, không phải thông tin tổng hợp hay lời khuyên đầu tư. Chúng tôi không chịu trách nhiệm về các quyết định đầu tư của bạn.