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 để được chỉ định chính thức, an toàn và hiệu quả. Với Simplicity, chúng tôi đang mở khóa một loạt các trường hợp sử dụng sáng tạo trên Bitcoin.”
Sự đơn giản tránh các đặc điểm rủi ro cao như đệ quy, vòng lặp không giới hạn và biến toàn cục. Thiết kế này nhằm giảm thiểu khả năng xảy ra lỗi và lỗ hổng đã ảnh hưởng đến các hệ thống hợp đồng thông minh khác.
Ngôn ngữ này được đề xuất lần đầu vào năm 2012 bởi kỹ sư của Blockstream, Dr. Russell O’Connor và kể từ đó đã được phát triển bởi nhóm nghiên cứu của công ty. Blockstream nổi tiếng với việc đóng góp vào hạ tầng và nâng cấp giao thức Bitcoin, bao gồm Taproot.
Simplicity hỗ trợ một số trường hợp sử dụng, chẳng hạn như:
Kho chứa có thể lập trình. Ngân hàng thông minh gốc Bitcoin đa người dùng. Các sàn giao dịch phi tập trung không có tài sản được bọc hoặc trạng thái toàn cầu. Hệ thống danh tính và uy tín sử dụng các khẳng định đã ký. Các thiết lập lưu ký tổ chức sử dụng các phương pháp chữ ký B-N. Quản trị và huy động vốn với các quy tắc bỏ phiếu tĩnh, logic thanh toán định kỳ và các dịch vụ kiểm soát truy cập. “Chúng tôi thiết kế Simplicity để cho phép các ứng dụng Bitcoin gốc biểu cảm mà không thừa hưởng sự phức tạp và mong manh của các hệ sinh thái hợp đồng thông minh khác,” Giám đốc Nghiên cứu tại Blockstream Andrew Poelstra cho biết. “Bằng cách kết hợp các phương pháp chính thức với mô hình UTXO, chúng tôi đang tạo ra một nền tảng cho tài chính lập trình an toàn trên Bitcoin mà cả các nhà phát triển và các thực thể như các tổ chức tài chính có thể phụ thuộc vào.”
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
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 để được chỉ định chính thức, an toàn và hiệu quả. Với Simplicity, chúng tôi đang mở khóa một loạt các trường hợp sử dụng sáng tạo trên Bitcoin.”
Sự đơn giản tránh các đặc điểm rủi ro cao như đệ quy, vòng lặp không giới hạn và biến toàn cục. Thiết kế này nhằm giảm thiểu khả năng xảy ra lỗi và lỗ hổng đã ảnh hưởng đến các hệ thống hợp đồng thông minh khác.
Ngôn ngữ này được đề xuất lần đầu vào năm 2012 bởi kỹ sư của Blockstream, Dr. Russell O’Connor và kể từ đó đã được phát triển bởi nhóm nghiên cứu của công ty. Blockstream nổi tiếng với việc đóng góp vào hạ tầng và nâng cấp giao thức Bitcoin, bao gồm Taproot.
Simplicity hỗ trợ một số trường hợp sử dụng, chẳng hạn như:
Kho chứa có thể lập trình.
Ngân hàng thông minh gốc Bitcoin đa người dùng.
Các sàn giao dịch phi tập trung không có tài sản được bọc hoặc trạng thái toàn cầu.
Hệ thống danh tính và uy tín sử dụng các khẳng định đã ký.
Các thiết lập lưu ký tổ chức sử dụng các phương pháp chữ ký B-N.
Quản trị và huy động vốn với các quy tắc bỏ phiếu tĩnh, logic thanh toán định kỳ và các dịch vụ kiểm soát truy cập.
“Chúng tôi thiết kế Simplicity để cho phép các ứng dụng Bitcoin gốc biểu cảm mà không thừa hưởng sự phức tạp và mong manh của các hệ sinh thái hợp đồng thông minh khác,” Giám đốc Nghiên cứu tại Blockstream Andrew Poelstra cho biết. “Bằng cách kết hợp các phương pháp chính thức với mô hình UTXO, chúng tôi đang tạo ra một nền tảng cho tài chính lập trình an toàn trên Bitcoin mà cả các nhà phát triển và các thực thể như các tổ chức tài chính có thể phụ thuộc vào.”
Mạng Liquid hiện có hơn 3,27 tỷ đô la giá trị tổng cộng bị khóa (TVL), chủ yếu là Bitcoin và các tài sản phát hành. Sự tích hợp của Simplicity vào môi trường này nhằm cung cấp các công cụ mới cho các tổ chức đang tìm cách xây dựng ứng dụng trong hệ sinh thái của Bitcoin.
#bitcoin
#btc
#CandyDrop Airdrop Event 6.0
#Join Alpha RION Airdrop to Earn $40
#White House Crypto Report