Hôm nay, Blockstream thông báo rằng họ đã ra mắt Simplicity, một ngôn ngữ hợp đồng thông minh mới được thiết kế cho Mạng lỏng trên Bitcoin, theo thông cáo báo chí gửi đến Tạp chí Bitcoin. Simplicity dựa trên mô hình UTXO của Bitcoin, làm cho nó tương thích với xác minh chính thức, cho phép các hợp đồng được chứng minh đúng về mặt toán học trước khi thực thi.
“Sự đơn giản mang lại cho Bitcoin sức mạnh hợp đồng thông minh biểu cảm, nhưng không có các vấn đề bảo mật liên quan đến các chuỗi dựa trên VM,” ông Dr. Adam Back, đồng sáng lập và CEO của Blockstream cho biết. “Nó được xây dựng từ đầu để
Xem bản gốc