Bạn đã nghe về "hard fork của Alonzo" và "ra mắt hợp đồng thông minh của Cardano" — nhưng bạn có thể giải thích điều mà nâng cấp này thực sự thay đổi không? Hầu hết các bài tổng hợp chỉ nhấn mạnh vào những lời đồn về DeFi hoặc chuyện giá cả. Bài viết này không làm điều nào trong số đó: bạn sẽ hiểu chính xác điều nâng cấp Alonzo đã làm và tại sao nó quan trọng, với một mô hình tư duy có thể giữ suốt đời.
Đây là phiên bản một câu: hard fork Alonzo là nâng cấp giao thức đã cung cấp cho Cardano các hợp đồng thông minh, biến sổ cái chỉ có thể ghi lại số dư thành một sổ có thể thực thi các quy tắc và chạy các chương trình. Datums, redeemers, Plutus, tài sản thế chấp – những cơ chế nằm sau đó.
Hình 1: Các kỷ nguyên Cardano — Alonzo thêm lớp hợp đồng thông minh
Tại sao Hard Fork lại là một điều quan trọng?
Một "hard fork" nghe có vẻ đáng sợ, nhưng trên Cardano nó chỉ là một cải tiến giao thức: một bộ quy tắc mới mà mạng lưới đồng ý tuân theo. Từ ngữ này khiến người mới bắt đầu cảm thấy sợ hãi vì những trường hợp chia tách đồng tiền nổi tiếng. Bộ kết hợp hard fork – cơ chế đặc biệt của Cardano – làm ngược lại: các nút cũ và mới vẫn tiếp tục hoạt động trên một chuỗi duy nhất trong khi các quy tắc thay đổi. Không có sự chia tách, không có đồng tiền mới, không có airdrop; ADA của bạn không bị ảnh hưởng vào ngày 12 tháng 9 năm 2021, trong khi chuỗi bên dưới đã trở nên có khả năng hơn.
Cải tiến Alonzo là lớp cuối cùng của một kế hoạch đã có sẵn
Câu chuyện về "cardano alonzo" được hiểu tốt nhất như một quá trình xây dựng, chứ không phải một sự kiện đơn lẻ. Nâng cấp Alonzo là lớp cuối cùng của giai đoạn Goguen, dựa trên hai nâng cấp trước đó:
- Allegra (tháng 12 năm 2020) đã thêm dữ liệu mô tả và khóa token – "sàn" cho phép chuỗi lưu trữ thêm thông tin.
- Mary (tháng 2-3 năm 2021) đã thêm tài sản gốc – "cáp kết nối" cho phép người dùng tạo các token không phải là ADA (NFT, stablecoin) mà không cần hợp đồng thông minh.
- Alonzo (12 tháng 9 năm 2021) đã thêm lớp thực thi – các "thiết bị thông minh": các chương trình (chương trình Plutus) chạy trên sổ cái và thực thi các quy tắc.
Nếu không có Allegra và Mary, Alonzo sẽ không có gì để dựa vào – mỗi lần nâng cấp đều thêm một lớp mới, được xây dựng trên lớp cũ.
Hình 2: Trước và sau Alonzo — từ cuốn sổ thành máy tính
Trước khi Alonzo: Chuỗi chỉ có thể ghi lại
Trước khi nâng cấp Alonzo, Cardano đã làm một việc cực kỳ tốt: ghi lại ai sở hữu gì và chuyển chúng một cách an toàn. Mỗi giao dịch là một chuyển khoản đơn giản – Alice gửi 5 ADA cho Bob. Mạng xác nhận chữ ký và số dư, và chỉ vậy thôi. Như một cuốn sổ cực kỳ an toàn, chống lại sự thay đổi, nó lưu trữ các bản ghi về quyền sở hữu của ADA và các token bản địa (nhờ Mary), nhưng không thể tác động lên chúng – không có cách nào để viết "chuyển đến Bob chỉ khi Bob giao hàng vào thứ Năm."
Đó là hạn chế chính mà việc ra mắt hợp đồng thông minh Cardano đã loại bỏ: chuỗi đã có khả năng giữ và chuyển giá trị theo các quy tắc có thể lập trình, không chỉ là các chữ ký một lần.
Sau Alonzo: Chuỗi có thể tính toán
Khi Plutus chạy trên mainnet, Cardano trở thành một máy tính cũng như một cuốn sách. Một giao dịch giờ đây có thể chứa một chương trình, và mạng sẽ chạy nó để quyết định liệu giao dịch có được phép hay không.
Kết quả thực tế: mọi người có thể xây dựng các ứng dụng phân tán (DApps) và các sản phẩm DeFi trên Cardano – cho vay, sàn giao dịch, bảo hiểm – nơi “ngân hàng” hoặc “sàn giao dịch” là một chương trình hoạt động công khai trên sổ cái, không phải là một công ty đứng sau một trang web. Đó là mục đích thực sự của hard fork: một sự kiện khả năng, không phải sự kiện giá.
Hình 3: Giao dịch hợp đồng thông minh hoạt động thế nào — validator kiểm tra cả ba đầu vào
Cách giao dịch hợp đồng thông minh hoạt động thực sự
Đây là mô hình tư duy giúp các hợp đồng thông minh của Cardano "click". Khi giá trị được khóa tại một địa chỉ script, để chi tiêu nó, cần có một validator (trình xác thực) nói "có". Script này nhận được ba đầu vào, tương ứng với các khái niệm hàng ngày của người Việt Nam:
- Datum – "hồ sơ" (the dossier). Trạng thái được khóa tại địa chỉ script: những gì được giữ và theo những điều kiện nào.
- Redeemer – "lệnh" (the command). Điều người dùng đang yêu cầu thực hiện ngay bây giờ: "thả các khoản tiền này", "đổi các token này".
- ScriptContext – "toàn bộ căn phòng" (the whole room). Một ảnh chụp của toàn bộ giao dịch, để script có thể kiểm tra xem có bất kỳ điều gì đáng ngờ xảy ra ở nơi khác trong đó.
Validator là một người bảo vệ an ninh đọc tất cả ba thứ trước khi mở cửa: hồ sơ cho anh ta biết nội dung trong hộp, lệnh cho anh ta biết điều gì bạn muốn, phòng cho anh ta biết những gì đang xảy ra. Chỉ khi tất cả các kiểm tra đều thông qua thì giao dịch mới được thực hiện.
Đây là mô hình kế toán EUTXO (Extended Unspent Transaction Output) của Cardano – mỗi đầu ra của script là một "box" được xác minh riêng biệt, một sự khác biệt thiết kế có chủ đích so với mô hình tài khoản của Ethereum.
Phép so sánh ngôi nhà: Nhớ lại toàn bộ câu chuyện
Hãy nhớ các thời đại như một ngôi nhà:
- Byron đã đặt nền móng: một blockchain hoạt động và an toàn.
- Shelley đã xây dựng các bức tường: phân quyền thông qua các stake pool.
- Allegra đã lắp sàn: metadata để sổ cái có thể chứa thêm thông tin.
- Mary đã chạy hệ thống dây điện: các token không phải là ADA.
- Alonzo đã cắm các thiết bị thông minh: các chương trình chạy trên sổ cái.
- Babbage đã thêm hệ thống ống dẫn cho việc mở rộng (sidechains, thông lượng cao hơn).
- Voltaire thêm tính năng quản trị: cộng đồng bỏ phiếu cho các thay đổi trong tương lai.
Alonzo hard fork là thời điểm ngôi nhà trở nên có thể ở được – trước đó có đường điện nhưng không có thiết bị; sau đó các thiết bị đã có thể chạy.
Hình 4: Phép so sánh ngôi nhà — Alonzo cắm các thiết bị thông minh
Plutus: Ngôn ngữ đã làm cho điều đó có thể xảy ra
Câu chuyện về "alonzo plutus" là một câu chuyện kỹ thuật có chủ đích. Plutus là ngôn ngữ hợp đồng thông minh của Cardano, được viết bằng Haskell và bắt nguồn từ phép tính lambda của Alonzo Church – nhà logic học mà công trình của ông trong những năm 1930 cũng đặt tên cho bản nâng cấp này. Ba điều quan trọng:
- Nó mang tính xác định (deterministic). Cùng một script với cùng các đầu vào sẽ cho ra cùng một kết quả mỗi lần.
- Chi phí được tính rõ ràng. Chạy một script có chi phí đơn vị thực thi (ExUnits) – CPU và bộ nhớ – ngoài phí tiêu chuẩn.
- Được bảo vệ bằng tài sản thế chấp. Một giao dịch chạy một script phải đặt tài sản thế chấp – vốn sẽ bị mất nếu script thất bại, tương tự như đặt cọc (booking deposit) khi thuê nhà. Cơ chế chống DoS này ngăn chặn các kẻ tấn công xả các script rác vào mạng miễn phí.
Cách nâng cấp thực sự được triển khai
Đội ngũ không bật nút trên mainnet trong một ngày. Sự ra mắt diễn ra theo một lộ trình testnet phân cấp:
- Alonzo Blue — mạng thử nghiệm đầu tiên, một phiên bản alpha sớm tập trung vào kết nối các nút chính.
- Alonzo White / Purple — các mạng thử nghiệm đầy đủ nơi các nhà phát triển thực thi các script Plutus thực tế.
- Mainnet — 12 tháng 9 năm 2021 — bộ kết hợp hard fork đã kích hoạt Plutus trên chuỗi sản xuất.
Hình 5: Ra mắt Alonzo theo từng giai đoạn — testnet trước, trái ngược với "đưa sản phẩm ra trước"
Chương trình Plutus Pioneer đã được triển khai song song, đào tạo hàng trăm nhà phát triển trước khi nền tảng hoạt động – do đó, khi mainnet được phát hành, đã có một cộng đồng biết cách xây dựng. Cách tiếp cận theo giai đoạn, testnet trước tiên này hoàn toàn trái ngược với định kiến của ngành tiền điện tử "đưa sản phẩm ra trước, sửa lỗi sau".
Alonzo thực sự đã thay đổi thế nào – phiên bản chân thật
Đây là sự trung thực mà hầu hết các bài viết bỏ qua: khả năng này đã đến vào tháng 9 năm 2021, nhưng thành phố được xây dựng sau đó. Hard fork đã bật công tắc đèn; các phòng được chiếu sáng nhưng hầu hết trống rỗng trong những ngày đầu. DEX, các ứng dụng cho vay và phần còn lại của DeFi đã mất từ vài tháng đến một năm để phát triển.
Mô hình tư duy đúng đắn: Alonzo đã biến Cardano từ một nơi lưu trữ hồ sơ thành một nền tảng có thể lập trình – nhưng các chương trình phải được viết. "Có thể làm hợp đồng thông minh" không phải là "có một thành phố DeFi đầy đủ".
Hỏi đáp
Alonzo hard fork có phải là một sự chia tách đồng tiền không? Không. Vì Cardano sử dụng bộ kết hợp hard fork, các nút cũ và mới vẫn ở trên một chuỗi. Không có đồng tiền mới, không có airdrop – số dư ADA không bị ảnh hưởng.
Sự khác biệt giữa nâng cấp Mary và Alonzo là gì? Mary (đầu năm 2021) cho phép người dùng tạo các token không phải là ADA mà không cần hợp đồng thông minh. Alonzo (tháng 9 năm 2021) đã thêm lớp thực thi – các chương trình (script Plutus) có thể thực thi các quy tắc và hỗ trợ các DApp. Token trước, khả năng lập trình sau.
Plutus có giống Solidity không? Cả hai đều là ngôn ngữ hợp đồng thông minh với thiết kế khác nhau. Plutus dựa trên Haskell và mang tính xác định (cùng đầu vào → cùng kết quả); Solidity (Ethereum) chạy trong mô hình tài khoản với ngữ nghĩa thực thi khác, và chi phí script của Cardano rõ ràng và có thể dự đoán được.
Tại sao tôi phải trả tiền ngay cả khi một script Cardano thất bại? Chạy một script tốn CPU và bộ nhớ (đơn vị thực thi), và giao dịch phải đặt tài sản thế chấp (một khoản đặt cọc). Nếu script thất bại, khoản đặt cọc bị thu để bù đắp cho công việc và ngăn chặn các kẻ tấn công spam mạng.
Nâng cấp Alonzo có ảnh hưởng đến nguồn cung ADA không? Không. Nó thay đổi những gì chuỗi có thể làm, không phải giới hạn nguồn cung cố định 45 tỷ của ADA, một quy tắc giao thức được đặt từ khi khởi tạo.
Điểm mấu chốt trong một câu
Nếu bạn không nhớ gì khác: hard fork Alonzo là bản nâng cấp giao thức ngày 12 tháng 9 năm 2021, giúp Cardano có hợp đồng thông minh – biến sổ cái chỉ có thể ghi lại số dư thành một nền tảng có thể chạy các chương trình, với chi phí rõ ràng và tài sản thế chấp chống lạm dụng. Trước đó, nó là một cuốn sổ an toàn; sau đó, nó là một máy tính. Các ứng dụng đến sau, nhưng khả năng đã đến vào ngày đó.
Tham chiếu nhanh
| Thuật ngữ | Định nghĩa |
|---|---|
| Bộ kết hợp hard fork | Cơ chế nâng cấp của Cardano thay đổi các quy tắc chuỗi mà không chia tách mạng lưới |
| Alonzo | Bản nâng cấp giao thức ngày 12 tháng 9 năm 2021 đã đưa hợp đồng thông minh vào mainnet của Cardano |
| Plutus | Ngôn ngữ hợp đồng thông minh của Cardano dựa trên Haskell, bắt nguồn từ phép tính lambda |
| Datum | Trạng thái được khóa tại một địa chỉ script ("hồ sơ" / dossier) |
| Redeemer | Hành động người dùng muốn thực hiện ("lệnh" / command) |
| ScriptContext | Ảnh chụp toàn bộ giao dịch mà script chạy bên trong ("căn phòng" / the room) |
| EUTXO | Mô hình kế toán của Cardano, trong đó mỗi đầu ra của script là một "box" được xác minh độc lập |
| Đơn vị thực thi (ExUnits) | Chi phí CPU và bộ nhớ khi chạy một script Plutus, được tính vào phí |
| Tài sản thế chấp | Khoản tiền một giao dịch đặt lên, bị mất nếu script thất bại (như đặt cọc / deposit) |
| Goguen | Kỷ nguyên mà Alonzo hoàn thành: biến Cardano thành một chuỗi hợp đồng thông minh có thể lập trình |