Giới thiệu về Simplicity
Blockstream, nhà phát triển giao thức layer-2 của Bitcoin với sản phẩm Liquid, do cypherpunk Bitcoin Adam Back dẫn dắt, đã chính thức ra mắt Simplicity, một ngôn ngữ hợp đồng thông minh mới được thiết kế dành riêng cho Bitcoin. Theo thông báo vào thứ Năm được chia sẻ với Cointelegraph, các hợp đồng thông minh Simplicity sẽ được tích hợp vào Liquid. Công ty cho biết động thái này đánh dấu một bước tiến quan trọng trong việc biến Bitcoin từ một kho lưu trữ giá trị an toàn thành một nền tảng lập trình cho tài chính phi tập trung.
Phiên bản SimplicityHL
Blockstream cũng giới thiệu SimplicityHL, một phiên bản cao cấp hơn của ngôn ngữ này, giúp việc phát triển trở nên dễ dàng hơn với mức độ trừu tượng cao hơn. Một đại diện của Blockstream đã thông báo với Cointelegraph rằng phiên bản này của ngôn ngữ “đã có sẵn và có thể sử dụng ngay hôm nay,” cùng với một môi trường phát triển tích hợp dựa trên web cũng đã được cung cấp.
Khác biệt giữa Simplicity và Solidity
Simplicity khác biệt với ngôn ngữ Solidity của Ethereum chủ yếu do các kiến trúc cơ sở khác nhau của hai blockchain. Solidity được phát triển cho Ethereum Virtual Machine, nơi trạng thái là bản chụp mà mạng đã đồng ý về tất cả số dư tài khoản và dữ liệu được lưu trữ tại một khối nhất định. Ngược lại, Bitcoin sử dụng kiến trúc đầu ra giao dịch chưa chi tiêu (UTXO), trong khi mạng Ethereum sử dụng trạng thái toàn mạng. Sự khác biệt này ảnh hưởng đến cách thức hoạt động của các hợp đồng thông minh Simplicity.
Một đại diện của Blockstream cho biết: “Việc không dựa vào trạng thái toàn cầu là một sự thay đổi lớn.” “Mọi thông tin trạng thái mà hợp đồng của bạn cần phải đi kèm với giao dịch.”
Các nhà nghiên cứu của Blockstream cho biết các nhà phát triển Solidity sẽ cần phải từ bỏ thói quen đọc từ các biến có thể truy cập toàn cầu và thay vào đó cung cấp tất cả thông tin cần thiết ở mỗi bước. Trong một hệ thống như vậy, hai hợp đồng thông minh không thể chia sẻ trạng thái hoặc tham chiếu cùng một biến; mọi thứ phải được truyền đạt rõ ràng trong các giao dịch.
Tuy nhiên, các đại diện của công ty giải thích rằng cách tiếp cận này cũng mang lại lợi ích tích cực: “Ngay cả khi có điều gì đó sai, chỉ có phần cụ thể của hợp đồng của bạn trong đồ thị giao dịch bị ảnh hưởng. Đây là một tư duy khác so với trạng thái toàn cầu, nhưng cuối cùng dẫn đến các hợp đồng an toàn hơn và được kiểm soát hơn theo thiết kế.”
Các nhà phát triển cũng sẽ không thể sử dụng đệ quy hoặc vòng lặp không giới hạn, mà Blockstream tuyên bố là không cần thiết cho logic trên chuỗi.
Danh sách các ngôn ngữ lập trình hợp đồng thông minh
Simplicity gia nhập danh sách ngày càng tăng của các ngôn ngữ lập trình hợp đồng thông minh theo miền. Noir, một ngôn ngữ lập trình được phát hành vào năm 2022 để viết và xác minh các chứng minh không biết (ZK-proofs), đã được các nhà phát triển của lớp-2 Ethereum ưu tiên bảo mật Aztec áp dụng vào năm 2023. Noir đã trở thành một ngôn ngữ lập trình hợp đồng thông minh được xây dựng đặc biệt cho các ứng dụng bảo vệ quyền riêng tư, tích hợp sâu ZK-proofs vào kiến trúc của chúng.
Một ví dụ khác là Leo, một ngôn ngữ lập trình hợp đồng thông minh cũng tạo ra các hệ thống ZK-proof với cú pháp liên quan chặt chẽ và chú ý đến quyền riêng tư. Vyper của Ethereum là một ngôn ngữ tương thích EVM được thiết kế để giảm bề mặt tấn công, hiện đang được sử dụng bởi một số giao thức tài chính phi tập trung (DeFi) hàng đầu của Ethereum.
