Nhà khoa học chính tại IOG, Aggelos Kiayias, giải thích lý do tại sao Cardano đã suy nghĩ lại các hợp đồng thông minh và cách nó ưu tiên bảo mật hơn tốc độ.
Cộng đồng theo dõi tiền điện tử, biết rằng Ethereum vừa hoàn thành quá trình chuyển đổi được chờ đợi từ lâu sang hệ thống xác thực bằng chứng cổ phần, có thể phân vân bài học tổng thể là gì từ bản nâng cấp hard fork Vasil trên chuỗi khối Cardano xảy ra lúc 21:44 UTC vào thứ Năm, ngày 22 tháng 9. Bản nâng cấp (dự kiến sẽ hoàn thành trong năm ngày, vào ngày 27 tháng 9.)
Tầm quan trọng của những thay đổi mang tính kỹ thuật của Vasil, giúp cải thiện khả năng lập trình của sổ cái và tiềm năng thông lượng của nó, có lẽ đòi hỏi bạn phải thu nhỏ tầm nhìn để xem một bức tranh lớn hơn.
Cardano, đôi khi được chào mời như một ” kẻ giết Ethereum “, đang chơi một trò chơi dài. Những người chỉ trích quá trình này ( được chia thành “thời đại” được đặt tên theo các nhà thơ Lãng mạn, nhà khoa học máy tính và nhà tư tưởng Khai sáng) thường chỉ trích giao thức vì đã tụt hậu so với các Blockchain hợp đồng thông minh khác vốn đã lưu trữ hệ sinh thái tài chính phi tập trung (DeFi) đang phát triển mạnh và đã tích lũy được tổng cộng hàng tỷ đô la giá trị bị khóa.
Nhưng những thành tựu ban đầu của nền tảng hợp đồng thông minh hàng đầu, Ethereum, là “tuyệt vời nhưng không có cấu trúc”, theo Aggelos Kiayias, nhà khoa học chính tại Cardano builder Input Output Global (IOG). Kiayias, giáo sư về mật mã tại Đại học Edinburgh, cho biết các hợp đồng thông minh trên Cardano “khác hẳn”.
Hợp đồng thông minh trên Cardano
Điều này là do Cardano được xây dựng dựa trên lập trình chức năng, một cách chính xác và dùng thuật toán để viết mã sử dụng dữ liệu bất biến để cho chương trình biết chính xác những gì phải làm, trái ngược với việc đạt được kết quả thông qua các đối tượng làm thay đổi trạng thái của chương trình .
“Tôi nghĩ rằng nhiều người đã gặp khó khăn khi các hợp đồng thông minh được tung ra ở Cardano vì họ hy vọng sẽ có một cách đơn giản để chuyển ngay lập tức các hợp đồng phức tạp từ Ethereum sang Cardano,” Kiayias nói trong một cuộc phỏng vấn với CoinDesk. “Nhưng nó đòi hỏi bạn phải làm quen với lập trình chức năng và phải suy nghĩ lại, đâu sẽ là cách tốt nhất để lập trình mọi thứ trong môi trường mới này? ”
Đối với Kiayias, lập trình chức năng không chỉ là một cách tiếp cận đơn giản và tự nhiên, mà khi nói đến cơ sở hạ tầng quan trọng, nó có ý nghĩa hoàn hảo. Đó là bởi vì ý định của một chương trình máy tính sau đó trở nên rất rõ ràng và dễ dàng xác minh. Sự đơn giản này cũng mời gọi khả năng tự động hóa của quá trình xác minh đó. Và trong khi cần phải đầu tư thời gian, Kiayias cho biết sự phức tạp của tập lệnh Plutus dựa trên chức năng của Cardano có thể được đơn giản hóa bằng cách sử dụng các ngôn ngữ dành riêng cho miền như Marlowe .
Cardano không phải là Blockchain duy nhất xác minh chính thức các hợp đồng thông minh; chuỗi khối Tezos cũng được thiết kế với suy nghĩ này . Tuy nhiên, ngày nay, những mối quan tâm như vậy có thể đã không còn hợp thời giữa cơn sốt DeFi khó thở.
Dựa trên Bitcoin
Một sự khác biệt cơ bản khác giữa Cardano và hầu hết các chuỗi hợp đồng thông minh lớp một khác là lựa chọn sử dụng thiết kế vay mượn từ Bitcoin.
Không giống như Ethereum, sử dụng mô hình dựa trên tài khoản thay vì giống như ngân hàng, Cardano dựa trên hệ thống “đầu ra giao dịch chưa sử dụng” ( UTXO ), tính toán những gì được giữ trong ví Bitcoin bằng cách giữ các tab trên thay đổi còn lại khi các phần của tiền xu được chi tiêu. Nhưng Cardano mở rộng thực hành này để không bị ràng buộc bởi các giới hạn dữ liệu của chuỗi khối Bitcoin, một cách tiếp cận được gọi là “đầu ra giao dịch chưa sử dụng mở rộng” ( EUTXO ).
Kiayias giải thích rằng thiết kế này là một sự phù hợp tự nhiên cho một phương pháp tiếp cận chức năng xác định và đi kèm với những lợi thế quan trọng.
“Một giao dịch phù hợp với bộ UTXO mở rộng hiện tại và sử dụng một số UTXO và giới thiệu những người khác, hoặc nó không phù hợp,” ông nói. “Vì vậy, tôi có sự đảm bảo mang tính xác định này về cách giao dịch của tôi sẽ tương tác với trạng thái blockchain và không bị sửa đổi bởi bất kỳ giao dịch nào khác”.
Kiayias đã chỉ ra rằng đây không phải là trường hợp của một mô hình dựa trên tài khoản như Ethereum. “Trong trường hợp này, tôi không thể dự đoán đầy đủ cách giao dịch của mình sẽ tương tác với trạng thái Blockchain như thế nào vì các giao dịch khác có thể bị ‘kẹp’ trước giao dịch của tôi, sửa đổi và sau đó giao dịch của tôi về cơ bản tương tác với trạng thái không tồn tại khi tôi đã phát hành nó. Điều này thực sự tạo ra sự khác biệt rất lớn cho các hợp đồng thông minh ”.
Quy mô bảo mật
Liên kết điều này với những thay đổi đang được Vasil thực hiện, mô hình UTXO của Cardano sẽ dễ được tham khảo hơn, giảm tải nhiều hơn cho chuỗi, tốt hơn cho việc mở rộng quy mô và cũng thích hợp hơn từ góc độ bảo mật.
>>> Đọc thêm: Nhà sáng lập Cardano Charles Hoskinson gọi Ethereum là ‘Nhà tù tiền điện tử’<<<
Kiayias cho biết:
“Việc nâng cấp Vasil sẽ làm cho việc đề cập đến UTXO trở nên khả thi và tiết kiệm không gian đáng kể nhờ đó,” Kiayias nói. “Vì vậy, trong khi về lý thuyết, đó là một việc xem xét sổ sách kế toán nhỏ, nhưng đó là một lợi thế rất lớn trong thực tế.”
Kiayias cho biết không có gì mới trong thế giới công nghệ khi thấy mọi người đổ xô về phía trước, điều này được cho là đã biến DeFi thành một loại sân chơi của hacker .
“Nếu tôi muốn cải thiện khả năng sử dụng hoặc tốc độ, tôi luôn có thể làm tốt hơn bạn bằng cách hy sinh tính bảo mật,” Kiayias nói, bảo vệ phương pháp tiếp cận có phương pháp của Cardano và quá trình đánh giá đồng cấp học thuật.
“Nhưng tôi nghĩ rằng chúng ta luôn cần một cách đánh giá khoa học về tính bảo mật của các hệ thống,” ông nói thêm.
Tiền điện tử gốc của Cardano, ADA , tăng khoảng 4% trong 24 giờ qua, giao dịch ở mức 46 xu tại thời điểm xuất bản.
