Chế độ lập trình của nhân dân tệ kỹ thuật số rõ ràng hơn, chuyển sang cấu trúc hai lớp hạn chế và mở

Về phát triển hợp đồng thông minh của nhân dân tệ kỹ thuật số, đã rõ ràng chính sách áp dụng nhiều mô hình lập trình khác nhau. Theo các nhân viên công nghệ của ngân hàng trung ương, hợp đồng thông minh dựa trên tài khoản và trên chuỗi công khai nhìn chung đều là “mã tự động thực thi dựa trên điều kiện kích hoạt”, nhưng điểm khác biệt nằm ở lựa chọn ngôn ngữ lập trình và phương thức thực thi.

Áp dụng tính toàn diện có giới hạn của Turing - Thiết kế ưu tiên an ninh

Hợp đồng thông minh của nhân dân tệ kỹ thuật số được thiết kế trong khuôn khổ tính toàn diện có giới hạn của Turing. Nghĩa là, mã do lập trình viên viết ra chỉ giới hạn trong các mẫu script đã được ngân hàng trung ương phê duyệt trước, chỉ cho phép các chức năng kiểm tra điều kiện đơn giản và kích hoạt tự động.

Phía sau chính sách thiết kế này là các cân nhắc về an ninh và quản lý rủi ro. Trong ngôn ngữ lập trình có tính toàn diện của Turing, về lý thuyết có thể thực thi mọi vấn đề tính toán khả thi, nhưng đi kèm là nguy cơ kết quả thực thi không thể dự đoán trước hoặc tăng tải hệ thống. Để đảm bảo tính ổn định của hạ tầng tài chính, việc có thể kiểm soát nội dung thực thi trước là điều thiết yếu.

Hỗ trợ nhiều ngôn ngữ lập trình - Solidity và các ngôn ngữ tiêu chuẩn Web3 cũng được hỗ trợ

Trong phát triển hợp đồng thông minh của nhân dân tệ kỹ thuật số, dự kiến sẽ sử dụng nhiều ngôn ngữ lập trình, bao gồm Solidity và các ngôn ngữ khác. Trong đó có cả các ngôn ngữ có tính toàn diện của Turing. Không phải môi trường lập trình không giới hạn như chuỗi công khai, mà trong khuôn khổ các cơ chế kiểm toán tiêu chuẩn và kiểm soát truy cập phù hợp với hệ thống tài chính, cách tích hợp các ngôn ngữ này là trọng tâm kỹ thuật.

Nói cách khác, các mô hình lập trình khác nhau sẽ cùng tồn tại, nhằm đáp ứng linh hoạt các tình huống sử dụng và tuân thủ quy định tài chính, hướng tới thiết kế cân bằng giữa tính linh hoạt và kiểm soát.

Tích hợp hệ thống tài chính là thách thức tiếp theo - Xây dựng tiêu chuẩn kiểm toán và truy cập là yếu tố then chốt

Trong việc triển khai hợp đồng thông minh của nhân dân tệ kỹ thuật số, thách thức lớn nhất là thiết kế tiêu chuẩn kiểm toán và cơ chế truy cập phù hợp cho toàn bộ các tổ chức tài chính. Trong môi trường hỗn hợp các mô hình lập trình hạn chế và mở, cần rõ ràng xác định điều kiện nào sẽ cấp quyền truy cập ở mức độ nào, và nội dung thực thi sẽ được giám sát và ghi lại ra sao.

Việc cân bằng giữa linh hoạt kỹ thuật và yêu cầu quy định để đảm bảo sự ổn định và minh bạch của toàn hệ thống tài chính sẽ là cột mốc tiếp theo trong phát triển hợp đồng thông minh của nhân dân tệ kỹ thuật số.