Skip to main content

Bài 1: Đấu giá kiểu Anh

Ghi chú
  • Đây là phiên bản đã viết của Bài giảng số 1 - Tiết # 2 .
  • Nó bao gồm phần giới thiệu về Plutus, mô hình (E) UTxO (và cách nó so sánh với các mô hình khác) và kết thúc bằng một phiên đấu giá tiếng Anh mẫu được quản lý bằng hợp đồng thông minh Plutus chạy trên Plutus Playground.
  • Những ghi chú này đã được cập nhật để phản ánh những thay đổi trong lần lặp hai của chương trình.
  • Cam kết Plutus được sử dụng trong các ghi chú này là ea0ca4e9f9821a9dbfc5255fa0f42b6f2b3887c4.

Học Plutus không dễ dàng, và có một số lý do cho điều đó.

  1. Plutus sử dụng mô hình (E) UTxO. Điều này khác và ít trực quan hơn so với phương pháp Ethereum để tạo hợp đồng thông minh. Nó có rất nhiều ưu điểm, nhưng nó đòi hỏi một cách suy nghĩ mới về hợp đồng thông minh. Và đó là trước khi chúng ta bắt đầu với chính ngôn ngữ.
  2. Plutus là mới và vẫn đang được phát triển nhanh chóng.
  3. Công cụ vẫn chưa phải là lý tưởng. Vì vậy, các nhà phát triển Haskell có kinh nghiệm sẽ nhận thấy rằng trải nghiệm với Plutus không hề dễ chịu, chẳng hạn như khi cố gắng truy cập tài liệu hoặc nhận các gợi ý cú pháp từ REPL. Nó cũng có thể là một thách thức để xây dựng Plutus ngay từ đầu. Cách dễ nhất hiện nay là sử dụng Nix. Nhóm Plutus đang làm việc để cung cấp hình ảnh Docker, điều này sẽ hữu ích.
  4. Plutus là Haskell, ít nhiều, có thể có một lộ trình học tập khó khăn cho những người đến từ nền tảng lập trình bắt buộc.
  5. Plutus là thương hiệu mới và điều này có nghĩa là không có nhiều tài nguyên trợ giúp có sẵn, chẳng hạn như các bài đăng trên StackOverflow.

Một trong những điều quan trọng nhất bạn cần hiểu để viết các hợp đồng thông minh Plutus là mô hình kế toán mà Cardano sử dụng, mô hình Đầu ra giao dịch chưa được gửi mở rộng.

Mô hình UTxO, không có (E) là mô hình đã được giới thiệu bởi Bitcoin, nhưng có những mô hình khác. Ví dụ như Ethereum, sử dụng cái gọi là mô hình dựa trên tài khoản, đó là mô hình bạn quen dùng từ ngân hàng thông thường, nơi mọi người đều có tài khoản, mỗi tài khoản có số dư và nếu bạn chuyển tiền từ tài khoản này sang tài khoản khác thì số dư sẽ nhận được được cập nhật cho phù hợp.

Đó không phải là cách mô hình UTxO hoạt động.

Kết quả giao dịch chưa được gửi chính xác như tên gọi. Chúng là kết quả giao dịch từ các giao dịch trước đó đã xảy ra trên blockchain chưa được chi tiêu.

Hãy xem một ví dụ mà chúng ta có hai UTxO như vậy. Một chiếc thuộc về Alice của 100 Ada, và chiếc khác thuộc về Bob của 50 Ada.

Các UTxO của Alice và Bob

Alice muốn gửi 10 ADA cho Bob, vì vậy cô ấy cần tạo một giao dịch.

Ghi chú

Giao dịch là một cái gì đó có chứa một số lượng đầu vào tùy ý và một số lượng đầu ra tùy ý. Tác dụng của giao dịch là tiêu thụ đầu vào và sản xuất đầu ra mới.

Điều quan trọng là bạn chỉ có thể sử dụng các UTxO hoàn chỉnh làm đầu vào. Alice không thể đơn giản chia 100 ADA hiện có của mình thành 90 và 10, cô ấy phải sử dụng 100 ADA đầy đủ làm đầu vào cho một giao dịch.

Alice tạo giao dịch

Sau khi được giao dịch sử dụng, đầu vào của Alice không còn là UTxO (giao dịch chưa sử dụng). Nó sẽ được sử dụng như một đầu vào cho Tx 1. Vì vậy, cô ấy cần tạo đầu ra cho giao dịch của mình.

Cô ấy muốn trả 10 ADA cho Bob, vì vậy một đầu ra sẽ là 10 ADA (cho Bob). Sau đó, cô ấy muốn thay đổi của mình trở lại, vì vậy cô ấy tạo ra đầu ra thứ hai là 90 ADA (cho chính mình). Toàn bộ UTxO của 100 ADA đã được chi tiêu, Bob nhận được giao dịch mới là 10 ADA và Alice nhận được 90 ADA thay đổi.

Giao dịch của Alice tạo ra hai UTxO mới

Trong bất kỳ giao dịch nào, tổng giá trị đầu ra phải khớp với tổng giá trị đầu vào. Mặc dù, nói đúng ra thì điều này không đúng. Có hai trường hợp ngoại lệ.

  1. Phí giao dịch. Trong một blockchain thực, bạn phải trả phí cho mỗi giao dịch.
  2. Mã thông báo gốc. Các giao dịch có thể tạo mã thông báo mới hoặc ghi mã thông báo, trong trường hợp này, đầu vào sẽ thấp hơn hoặc cao hơn đầu ra, tùy thuộc vào tình huống.

Hãy xem một ví dụ phức tạp hơn một chút.

Alice và Bob muốn chuyển 55 ADA mỗi người cho Charlie. Alice không có lựa chọn nào khác, vì cô ấy chỉ có một UTxO. Bob cũng không có lựa chọn nào khác vì cả hai UTxO của anh ấy đều không đủ lớn để bao gồm 55 ADA mà anh ấy muốn gửi cho Charlie. Bob sẽ phải sử dụng cả hai UTxO của mình làm đầu vào.

Alice và Bob Tạo một giao dịch với ba đầu ra

Rõ ràng sẽ không phải là một ý tưởng hay nếu bất kỳ giao dịch nào có thể sử dụng UTxO tùy ý. Nếu đúng như vậy thì Bob có thể tiêu tiền của Alice mà không cần cô ấy đồng ý.

Cách thức hoạt động là thêm chữ ký vào các giao dịch.

Trong giao dịch 1, chữ ký của Alice phải được thêm vào giao dịch. Trong giao dịch 2, cả Alice và Bob đều cần phải ký vào giao dịch. Ngẫu nhiên, giao dịch thứ hai, phức tạp hơn, không thể được thực hiện trong Daedalus, vì vậy bạn sẽ cần sử dụng CLI cho việc này.

Mọi thứ được giải thích cho đến nay chỉ là về mô hình UTxO, không phải là mô hình (E) UTxO.

Phần mở rộng được đưa vào khi chúng ta nói về hợp đồng thông minh, vì vậy để hiểu điều đó, chúng ta hãy tập trung vào việc tiêu thụ UTxO 100 ADA của Alice.

Alice's UTxO làm đầu vào (Dòng màu xanh lam)

Trong mô hình UTxO, việc xác thực quyết định liệu giao dịch mà đầu vào này thuộc về có được phép sử dụng UTxO hay không, phụ thuộc vào chữ ký điện tử. Trong trường hợp này, điều đó có nghĩa là Alice phải ký vào giao dịch để việc sử dụng UTxO có hiệu lực.

Ý tưởng của mô hình (E) UTxO là làm cho điều này trở nên tổng quát hơn.

Thay vì chỉ có một điều kiện, cụ thể là chữ ký thích hợp có trong giao dịch, chúng tôi thay thế điều này bằng logic tùy ý.

Đây là nơi Plutus đến.

Thay vì chỉ có một địa chỉ tương ứng với khóa công khai có thể được xác minh bằng chữ ký được thêm vào giao dịch, chúng tôi có nhiều địa chỉ chung hơn, không dựa trên khóa công khai hoặc mã băm của khóa công khai, mà thay vào đó chứa logic tùy ý. quyết định theo những điều kiện nào mà một UTxO cụ thể có thể được chi tiêu bằng một giao dịch cụ thể.

Vì vậy, thay vì một đầu vào được xác thực đơn giản bằng khóa công khai của nó, đầu vào sẽ biện minh rằng nó được phép sử dụng đầu ra này với một số phần dữ liệu tùy ý mà chúng tôi gọi là Redeemer .

Công cụ đổi quà được sử dụng để xác thực việc chi tiêu của UTxO

Chúng tôi thay thế địa chỉ khóa công khai (của Alice trong ví dụ của chúng tôi) bằng một tập lệnh và chúng tôi thay thế chữ ký điện tử bằng một Redeemer .

Nó chính xác nghĩa là gì? Ý của chúng ta là gì bởi logic tùy ý ?

Điều quan trọng là phải xem xét bối cảnh mà kịch bản có. Có một số tùy chọn.

Một tùy chọn là tất cả những gì script thấy là Redeemer. Trong trường hợp này, Redeemer chứa tất cả logic cần thiết để xác minh giao dịch. Tình cờ, đây là những gì Bitcoin làm. Trong Bitcoin, có những hợp đồng thông minh, nhưng chúng không thông minh lắm. Chúng được gọi là Bitcoin Script, hoạt động chính xác như thế này. Có một tập lệnh ở phía UTxO và một trình mua lại ở phía đầu vào, và tập lệnh này sẽ nhận được người mua và sử dụng nó để xác định xem có đồng ý sử dụng UTxO hay không.

Nhưng đây không phải là lựa chọn duy nhất. Chúng tôi có thể quyết định cung cấp thêm thông tin cho kịch bản.

Ethereum sử dụng một khái niệm khác. Trong Ethereum, tập lệnh có thể nhìn thấy mọi thứ - toàn bộ chuỗi khối - một thái cực ngược lại với Bitcoin. Trong Bitcoin, tập lệnh có rất ít ngữ cảnh, tất cả những gì nó có thể thấy là người mua lại. Trong Ethereum, các tập lệnh Solidity có thể thấy trạng thái hoàn chỉnh của blockchain.

Điều này làm cho các tập lệnh Ethereum mạnh mẽ hơn, nhưng nó cũng đi kèm với các vấn đề. Bởi vì các tập lệnh rất mạnh, rất khó để dự đoán những gì một tập lệnh nhất định sẽ làm và điều đó mở ra cánh cửa cho tất cả các loại vấn đề bảo mật và nguy hiểm. Rất khó cho các nhà phát triển của hợp đồng thông minh Ethereum để dự đoán mọi thứ có thể xảy ra.

Những gì Cardano làm là một cái gì đó ở giữa.

Trong Plutus, tập lệnh không thể nhìn thấy toàn bộ chuỗi khối, nhưng nó có thể thấy toàn bộ giao dịch đang được xác thực. Ngược lại với Bitcoin, nó không thể chỉ thấy người mua lại một đầu vào mà còn có thể thấy tất cả các đầu vào và đầu ra của giao dịch và chính giao dịch đó. Tập lệnh Plutus có thể sử dụng thông tin này để quyết định xem việc sử dụng đầu ra có ổn hay không.

Có một thành phần cuối cùng mà các tập lệnh Plutus cần để trở nên mạnh mẽ và biểu cảm như các tập lệnh Ethereum. Đó là cái gọi là Datum. Đó là một phần dữ liệu có thể được liên kết với UTxO cùng với giá trị UTxO.

Datum

Với điều này, có thể chứng minh về mặt toán học rằng Plutus ít nhất cũng mạnh mẽ như mô hình Ethereum - bất kỳ logic nào bạn có thể diễn đạt trong Ethereum, bạn cũng có thể diễn đạt nó bằng mô hình (E) UTxO.

Nhưng nó cũng có rất nhiều lợi thế so với mô hình Ethereum. Ví dụ: trong Plutus, bạn có thể kiểm tra xem một giao dịch có xác thực trong ví của bạn hay không, trước khi bạn gửi nó vào chuỗi.

Tuy nhiên, mọi thứ vẫn có thể xảy ra sai với xác thực ngoài chuỗi. Ví dụ: trong trường hợp bạn gửi một giao dịch đã được xác thực trong ví nhưng bị từ chối khi nó cố gắng tiêu thụ một đầu ra trên chuỗi đã được sử dụng bởi một giao dịch khác.

Trong trường hợp này, giao dịch của bạn sẽ không thành công mà bạn không phải trả bất kỳ khoản phí nào.

Nhưng nếu tất cả các yếu tố đầu vào vẫn ở đó mà giao dịch của bạn mong đợi, thì bạn có thể chắc chắn rằng giao dịch sẽ xác thực và sẽ có hiệu quả như dự đoán.

Đây không phải là trường hợp của Ethereum. Trong Ethereum, khoảng thời gian từ khi bạn xây dựng một giao dịch đến khi nó được kết hợp vào blockchain, rất nhiều thứ có thể xảy ra đồng thời và điều đó không thể đoán trước được và có thể có những tác động không thể đoán trước về những gì sẽ xảy ra khi tập lệnh của bạn cuối cùng thực thi.

Trong Ethereum, luôn có khả năng bạn phải trả phí gas cho một giao dịch ngay cả khi giao dịch cuối cùng không thành công do lỗi. Và điều đó được đảm bảo sẽ không bao giờ xảy ra với Cardano.

Ngoài ra, việc phân tích tập lệnh Plutus và kiểm tra, hoặc thậm chí chứng minh rằng nó an toàn cũng dễ dàng hơn, bởi vì bạn không phải xem xét toàn bộ trạng thái của blockchain, điều không thể biết trước được. Bạn có thể tập trung vào bối cảnh chỉ bao gồm giao dịch chi tiêu này. Vì vậy, bạn có một phạm vi hạn chế hơn nhiều và điều đó giúp bạn dễ dàng hiểu được những gì một tập lệnh thực sự đang làm và những gì có thể xảy ra sai sót.

Ai chịu trách nhiệm cung cấp dữ liệu, người đổi và trình xác thực? Quy tắc trong Plutus là giao dịch chi tiêu phải thực hiện điều đó trong khi giao dịch sản xuất chỉ phải cung cấp hàm băm.

Điều đó có nghĩa là nếu tôi tạo ra một đầu ra nằm tại một địa chỉ tập lệnh thì giao dịch tạo ra này chỉ phải bao gồm băm của tập lệnh và băm của dữ liệu thuộc về đầu ra. Tùy chọn, nó có thể bao gồm cả datum và script.

Nếu một giao dịch muốn sử dụng một đầu ra như vậy thì giao dịch đó phải cung cấp dữ liệu, trình đổi và tập lệnh. Điều đó có nghĩa là để sử dụng một đầu vào nhất định, bạn cần phải biết dữ liệu, bởi vì chỉ hàm băm được hiển thị công khai trên blockchain.

Đây đôi khi là một vấn đề và không phải những gì bạn muốn và đó là lý do tại sao bạn có tùy chọn bao gồm dữ liệu trong giao dịch sản xuất. Nếu điều này là không thể, chỉ những người biết dữ liệu bằng một số phương tiện khác ngoài việc nhìn vào chuỗi khối mới có thể chi tiêu một đầu ra như vậy.

Mô hình (E) UTxO không gắn liền với một ngôn ngữ lập trình cụ thể. Những gì chúng tôi có là Plutus, là Haskell, nhưng về cơ bản, bạn có thể sử dụng cùng một mô hình với một ngôn ngữ lập trình hoàn toàn khác và chúng tôi dự định viết các trình biên dịch cho các ngôn ngữ lập trình khác vào Plutus Script, là ngôn ngữ “hợp ngữ” cơ bản của Plutus.

Thay vì bắt đầu theo cách truyền thống, tức là bắt đầu rất đơn giản và thực hiện một khóa học sụp đổ trên Haskell, tiếp theo là một số hợp đồng Plutus đơn giản và từ từ thêm những thứ phức tạp hơn, nó sẽ thú vị hơn, đặc biệt là đối với bài giảng đầu tiên, để giới thiệu một hợp đồng thú vị hơn và chứng minh những gì Plutus có thể làm. Sau đó, chúng ta có thể sử dụng nó để xem xét một số khái niệm chi tiết hơn.

Như ví dụ giới thiệu của chúng tôi, chúng tôi sẽ xem xét một cuộc Đấu giá bằng tiếng Anh. Ai đó muốn đấu giá NFT (Mã thông báo không thể thay thế) - mã thông báo gốc trên Cardano chỉ tồn tại một lần. NFT có thể đại diện cho một số nghệ thuật kỹ thuật số hoặc có thể là một số tài sản trong thế giới thực.

Phiên đấu giá được tham số bởi chủ sở hữu mã thông báo, chính mã thông báo, giá thầu tối thiểu và thời hạn.

Vì vậy, giả sử Alice có một NFT và muốn bán đấu giá nó.

Alice tạo một cuộc đấu giá bằng tiếng Anh

Cô ấy tạo UTxO ở đầu ra tập lệnh. Chúng ta sẽ xem xét mã sau, nhưng trước tiên chúng ta sẽ chỉ xem xét các ý tưởng của mô hình UTxO.

Giá trị của UTxO là NFT và dữ liệu là Không . Sau này nó sẽ là người trả giá cao nhất và trả giá cao nhất. Nhưng hiện tại, vẫn chưa có giá thầu.

Trong blockchain thực, bạn không thể có UTxO chỉ chứa các mã thông báo gốc, chúng luôn phải đi kèm với một số Ada, nhưng để đơn giản, chúng tôi sẽ bỏ qua điều đó ở đây.

Không phải giả sử Bob muốn đặt giá thầu 100 Ada.

Bob đặt giá thầu

Để làm điều này, Bob tạo một giao dịch với hai đầu vào và một đầu ra. Đầu vào đầu tiên là đấu giá UTxO và đầu vào thứ hai là giá thầu 100 Ada của Bob. Đầu ra, một lần nữa, ở tập lệnh đầu ra, nhưng bây giờ giá trị và mức dữ liệu đã thay đổi. Trước đây số liệu là Không nhưng bây giờ là (Bob, 100).

Giá trị đã thay đổi bởi vì bây giờ không chỉ có NFT trong UTxO, mà còn có giá thầu Ada 100.

Với tư cách là người mua lại, để mở khóa phiên đấu giá ban đầu UTxO, chúng tôi sử dụng một thứ gọi là Giá thầu . Đây chỉ là một kiểu dữ liệu đại số. Sẽ có các giá trị khác nhưng một trong số đó là Giá thầu . Và kịch bản đấu giá sẽ kiểm tra xem tất cả các điều kiện đã được thỏa mãn chưa. Vì vậy, trong trường hợp này, kịch bản phải kiểm tra xem giá thầu có xảy ra trước thời hạn hay không, giá thầu đó có đủ cao hay không.

Nó cũng phải kiểm tra xem có các đầu vào và đầu ra chính xác hay không. Trong trường hợp này, điều đó có nghĩa là kiểm tra xem phiên đấu giá có phải là đầu ra chứa NFT và có mức dữ liệu chính xác hay không.

Tiếp theo, giả sử rằng Charlie muốn trả giá cao hơn Bob và đặt giá thầu 200 Ada.

Charlie ra giá

Charlie sẽ tạo một giao dịch khác, lần này là một giao dịch với hai đầu vào và hai đầu ra. Như trong trường hợp đầu tiên, hai đầu vào là giá thầu (lần này là giá thầu của Charlie là 200 Ada) và đấu giá UTxO. Một trong những kết quả đầu ra là phiên đấu giá được cập nhật UTxO. Cũng sẽ có đầu ra thứ hai, sẽ là UTxO trả về giá thầu 100 Ada của Bob.

Ghi chú

Trong thực tế, phiên đấu giá UTxO không được cập nhật vì không có gì thay đổi.

Điều thực sự xảy ra là phiên đấu giá cũ UTxO được sử dụng và một phiên đấu giá mới được tạo ra, nhưng nó có cảm giác cập nhật trạng thái của phiên đấu giá UTxO

Lần này, chúng tôi lại sử dụng Công cụ đổi giá thầu . Lần này tập lệnh phải kiểm tra xem đã đến thời hạn hay chưa, giá thầu có cao hơn giá thầu trước đó hay không, nó phải kiểm tra xem UTxO phiên đấu giá có được tạo chính xác hay không và phải kiểm tra xem người trả giá cao nhất trước đó có lấy lại giá thầu của họ hay không.

Cuối cùng, giả sử rằng sẽ không có giá thầu khác, vì vậy khi đã đến thời hạn cuối cùng, phiên đấu giá có thể được đóng lại.

Để làm được điều đó, ai đó phải tạo thêm một giao dịch khác. Đó có thể là Alice, người muốn thu thập giá thầu hoặc có thể là Charlie, người muốn thu thập NFT. Đó có thể là bất kỳ ai, nhưng Alice và Charlie có động cơ để làm như vậy.

Giao dịch này sẽ có một đầu vào - đấu giá UTxO, lần này là với người mua Đóng - và nó sẽ có hai đầu ra. Một trong những kết quả đầu ra dành cho người trả giá cao nhất, Charlie và anh ta nhận được NFT và đầu ra thứ hai thuộc về Alice, người có giá thầu cao nhất.

Trong trường hợp Đóng , tập lệnh phải kiểm tra xem đã đến thời hạn hay chưa và người chiến thắng sẽ nhận được NFT và người chủ đấu giá nhận được giá thầu cao nhất.

Có một kịch bản nữa để chúng ta xem xét, đó là không ai đưa ra bất kỳ giá thầu nào.

Không ai ra giá

Alice tạo phiên đấu giá, nhưng không nhận được giá thầu nào. Trong trường hợp này, phải có một cơ chế để Alice lấy lại NFT của mình.

Vì vậy, cô ấy tạo một giao dịch với người mua Đóng , nhưng bây giờ vì không có người đặt giá thầu, NFT không chuyển đến người trả giá cao nhất mà chỉ quay lại Alice.

Logic trong trường hợp này hơi khác một chút. Nó sẽ kiểm tra xem NFT có quay trở lại Alice hay không, tuy nhiên, nó không thực sự cần phải kiểm tra người nhận vì giao dịch sẽ được kích hoạt bởi Alice và cô ấy có thể gửi NFT đến bất cứ nơi nào cô ấy muốn.

Điều quan trọng cần nhận ra về Plutus là có mã trên chuỗi và mã ngoài chuỗi.

Mã trên chuỗi là các tập lệnh mà chúng ta đã thảo luận - các tập lệnh từ mô hình UTxO. Ngoài các địa chỉ khóa công khai, chúng tôi có địa chỉ tập lệnh và các đầu ra có thể nằm tại một địa chỉ như vậy và nếu một giao dịch cố gắng sử dụng đầu ra như vậy, tập lệnh sẽ được thực thi và giao dịch chỉ hợp lệ nếu tập lệnh thành công.

Nếu một nút nhận được một giao dịch mới, nó sẽ xác nhận nó trước khi chấp nhận nó vào mempool của nó và cuối cùng thành một khối. Đối với mỗi đầu vào của giao dịch, nếu đầu vào đó là địa chỉ tập lệnh, thì tập lệnh tương ứng sẽ được thực thi. Nếu tập lệnh không thành công, giao dịch không hợp lệ.

Ngôn ngữ lập trình mà tập lệnh này được thể hiện được gọi là Plutus Core, nhưng bạn không bao giờ viết Plutus Core bằng tay. Thay vào đó, bạn viết Haskell và điều đó được biên dịch xuống Plutus Core. Thường xuyên có thể có các ngôn ngữ cấp cao khác như Solidity, C hoặc Python có thể biên dịch xuống Plutus Core.

Nhiệm vụ của một tập lệnh là nói có hay không về việc liệu một giao dịch có thể sử dụng một đầu ra hay không.

Để mở khóa UTxO, bạn phải có khả năng xây dựng một giao dịch sẽ vượt qua quá trình xác thực và đó là trách nhiệm của bộ phận ngoài chuỗi của Plutus. Đây là phần chạy trên ví chứ không phải trên blockchain và sẽ xây dựng các giao dịch phù hợp.

Một trong những điều thú vị về Plutus là cả các bộ phận trên dây chuyền và các bộ phận ngoài dây chuyền đều được viết bằng Haskell. Một lợi thế rõ ràng của điều đó là bạn không phải học hai ngôn ngữ lập trình. Ưu điểm khác là bạn có thể chia sẻ mã giữa các bộ phận trong chuỗi và ngoài chuỗi.

Ở phần sau của khóa học này, chúng ta sẽ nói về các máy trạng thái và sau đó sự chia sẻ này giữa mã trên chuỗi và mã ngoài chuỗi trở nên trực tiếp hơn, nhưng ngay cả khi không có máy trạng thái vẫn có rất nhiều cơ hội để chia sẻ mã.

Chúng ta sẽ có một cái nhìn ngắn gọn về mã nhưng đừng lo lắng, bạn sẽ không hiểu nó tại thời điểm này.

Mã cho hợp đồng đấu giá bằng tiếng Anh tại

/path/to/plutus\-pioneer\-program/repo/code/week01/src/Week01/EnglishAuction.hs

Chúng tôi thấy một Phiên đấu giá kiểu dữ liệu đại diện cho các tham số cho hợp đồng, trong ví dụ của chúng tôi, Alice bắt đầu. Các tham số aCurrency và aToken đại diện cho NFT.

**data** Auction **\=** Auction
{ aSeller **::** !PubKeyHash
, aDeadline **::** !POSIXTime
, aMinBid **::** !Integer
, aCurrency **::** !CurrencySymbol
, aToken **::** !TokenName
} **deriving** (Show, Generic, ToJSON, FromJSON, ToSchema)

Bạn cũng thấy các kiểu dữ liệu khác, nhưng trọng tâm của mã là hàm mkAuctionValidator . Đây là chức năng xác định xem một giao dịch nhất định có được phép sử dụng UTxO tại địa chỉ tập lệnh này hay không.

<i>{-# INLINABLE mkAuctionValidator #-}</i>
mkAuctionValidator **::** AuctionDatum **\->** AuctionAction **\->** ScriptContext **\->** Bool
mkAuctionValidator ad redeemer ctx **\=**
traceIfFalse "wrong input value" correctInputValue &&
**case** redeemer **of**
MkBid b@Bid{..} **\->**
traceIfFalse "bid too low" (sufficientBid bBid) &&
traceIfFalse "wrong output datum" (correctBidOutputDatum b) &&
traceIfFalse "wrong output value" (correctBidOutputValue bBid) &&
traceIfFalse "wrong refund" correctBidRefund &&
traceIfFalse "too late" correctBidSlotRange
Close **\->**
traceIfFalse "too early" correctCloseSlotRange &&
**case** adHighestBid ad **of**
Nothing **\->**
traceIfFalse "expected seller to get token" (getsValue (aSeller auction) tokenValue)
Just Bid{..} **\->**
traceIfFalse "expected highest bidder to get token" (getsValue bBidder tokenValue) &&
traceIfFalse "expected seller to get highest bid" (getsValue (aSeller auction) $ Ada.lovelaceValueOf bBid)

**where**
...

Và đây là nơi diễn ra quá trình biên dịch sang Plutus Core. Nó sử dụng một thứ gọi là Template Haskell để lấy chức năng Haskell ở trên và biên dịch nó thành Plutus Core.

auctionTypedValidator :: Scripts.TypedValidator Auctioning auctionTypedValidator \= Scripts.mkTypedValidator @Auctioning $$(PlutusTx.compile [|| mkAuctionValidator ||]) $$(PlutusTx.compile [|| wrap ||]) where wrap \= Scripts.wrapValidator

Phần off-chain của mã xác định các điểm cuối có thể được gọi.

Chúng tôi có ba điểm cuối cho ví dụ này và mỗi điểm có một kiểu dữ liệu được xác định để đại diện cho các tham số của chúng.

data StartParams \= StartParams { spDeadline :: !POSIXTime , spMinBid :: !Integer , spCurrency :: !CurrencySymbol , spToken :: !TokenName } deriving (Generic, ToJSON, FromJSON, ToSchema)

data BidParams \= BidParams { bpCurrency :: !CurrencySymbol , bpToken :: !TokenName , bpBid :: !Integer } deriving (Generic, ToJSON, FromJSON, ToSchema)

data CloseParams \= CloseParams { cpCurrency :: !CurrencySymbol , cpToken :: !TokenName } deriving (Generic, ToJSON, FromJSON, ToSchema)

Sau đó, các hoạt động ngoài chuỗi được xác định.

Đầu tiên là logic bắt đầu .

start :: AsContractError e \=> StartParams -> Contract w s e () start StartParams{..} \= do pkh <- pubKeyHash <$> ownPubKey let a \= Auction { aSeller \= pkh , aDeadline \= spDeadline , aMinBid \= spMinBid , aCurrency \= spCurrency , aToken \= spToken } d \= AuctionDatum { adAuction \= a , adHighestBid \= Nothing } v \= Value.singleton spCurrency spToken 1 tx \= mustPayToTheScript d v ledgerTx <- submitTxConstraints auctionTypedValidator tx void $ awaitTxConfirmed $ txId ledgerTx logInfo @String $ printf "started auction %s for token %s" (show a) (show v)

Sau đó, lôgic giá thầu .

bid :: forall w s. BidParams -> Contract w s Text () bid BidParams{..} \= do (oref, o, d@AuctionDatum{..}) <- findAuction bpCurrency bpToken logInfo @String $ printf "found auction utxo with datum %s" (show d)

when (bpBid < minBid d) $
throwError $ pack $ printf "bid lower than minimal bid %d" (minBid d)
pkh **<-** pubKeyHash <$> ownPubKey
**let** b **\=** Bid {bBidder **\=** pkh, bBid **\=** bpBid}
d' **\=** d {adHighestBid **\=** Just b}
v **\=** Value.singleton bpCurrency bpToken 1 <> Ada.lovelaceValueOf bpBid
r **\=** Redeemer $ PlutusTx.toData $ MkBid b

lookups **\=** Constraints.typedValidatorLookups auctionTypedValidator <>
Constraints.otherScript auctionValidator <>
Constraints.unspentOutputs (Map.singleton oref o)
tx **\=** **case** adHighestBid **of**
Nothing **\->** mustPayToTheScript d' v <>
mustValidateIn (to $ aDeadline adAuction) <>
mustSpendScriptOutput oref r
Just Bid{..} **\->** mustPayToTheScript d' v <>
mustPayToPubKey bBidder (Ada.lovelaceValueOf bBid) <>
mustValidateIn (to $ aDeadline adAuction) <>
mustSpendScriptOutput oref r
ledgerTx **<-** submitTxConstraintsWith lookups tx
void $ awaitTxConfirmed $ txId ledgerTx
logInfo @String $ printf "made bid of %d lovelace in auction %s for token (%s, %s)"
bpBid
(show adAuction)
(show bpCurrency)
(show bpToken)

Và cuối cùng là logic chặt chẽ .

close :: forall w s. CloseParams -> Contract w s Text () close CloseParams{..} \= do (oref, o, d@AuctionDatum{..}) <- findAuction cpCurrency cpToken logInfo @String $ printf "found auction utxo with datum %s" (show d)

**let** t      **\=** Value.singleton cpCurrency cpToken 1
r **\=** Redeemer $ PlutusTx.toData Close
seller **\=** aSeller adAuction

lookups **\=** Constraints.typedValidatorLookups auctionTypedValidator <>
Constraints.otherScript auctionValidator <>
Constraints.unspentOutputs (Map.singleton oref o)
tx **\=** **case** adHighestBid **of**
Nothing **\->** mustPayToPubKey seller t <>
mustValidateIn (from $ aDeadline adAuction) <>
mustSpendScriptOutput oref r
Just Bid{..} **\->** mustPayToPubKey bBidder t <>
mustPayToPubKey seller (Ada.lovelaceValueOf bBid) <>
mustValidateIn (from $ aDeadline adAuction) <>
mustSpendScriptOutput oref r
ledgerTx **<-** submitTxConstraintsWith lookups tx
void $ awaitTxConfirmed $ txId ledgerTx
logInfo @String $ printf "closed auction %s for token (%s, %s)"
(show adAuction)
(show cpCurrency)
(show cpToken)

Có một số mã để ràng buộc mọi thứ.

endpoints :: Contract () AuctionSchema Text () endpoints \= (start' `select` bid' `select` close') >> endpoints where start' \= endpoint @"start" >>= start bid' \= endpoint @"bid" >>= bid close' \= endpoint @"close" >>= close

Và những dòng cuối cùng chỉ là những người trợ giúp để tạo ra một NFT mẫu để cho phép chúng tôi thử đấu giá NFT này trong sân chơi.

mkSchemaDefinitions ''AuctionSchema

myToken :: KnownCurrency myToken \= KnownCurrency (ValidatorHash "f") "Token" (TokenName "T" :| [])

mkKnownCurrencies ['myToken]

Một ví dụ về tái sử dụng mã là hàm minBid .

minBid :: AuctionDatum -> Integer minBid AuctionDatum{..} \= case adHighestBid of Nothing -> aMinBid adAuction Just Bid{..} -> bBid + 1

Chức năng này được sử dụng trong phần on-chain để xác thực, nhưng cũng được sử dụng trong mã off-chain, trong ví, trước khi nó làm phiền đến việc tạo giao dịch, để kiểm tra xem nó có đáng để làm như vậy hay không.

Chúng tôi sẽ thực hiện hợp đồng này tại Sân chơi Plutus tại địa phương của chúng tôi.

Trước khi biên dịch mã hợp đồng mẫu, chúng ta cần thiết lập Plutus. Bạn nên thiết lập một trình bao Nix từ kho lưu trữ chính của Plutus, tại đó cũng có thể được sử dụng để biên dịch các hợp đồng mẫu.

Có ghi chú chi tiết về cách làm điều này ở đây .

Điều này sẽ thiết lập môi trường của bạn với các phụ thuộc cần thiết để biên dịch các hợp đồng mẫu.

Khi bạn đã ở bên trong Nix shell, bạn có thể khởi động máy khách và máy chủ Plutus từ kho lưu trữ Plutus nhân bản.

Các video bài giảng được ghi lại vào nhiều thời điểm khác nhau và mã Plutus cùng với chúng được biên soạn dựa trên các cam kết cụ thể của nhánh chính của Plutus. Bạn có thể tìm thấy thẻ cam kết trong tệp cabal.project.

cd /path/to/plutus/repo/plutus-playground-client plutus-playground-server

cd /path/to/plutus/repo/plutus-playground-client npm run start

Để kiểm tra xem mọi thứ có theo thứ tự hay không, sau đó bạn có thể biên dịch mã cho Tuần 01. Điều này không cần thiết để chạy mã trong sân chơi, vì sân chơi có thể tự biên dịch mã.

cd /path/to/plutus-pioneer-program/repo/code/week01 cabal build all

Nếu mọi thứ suôn sẻ trong thiết lập ở trên, bạn sẽ có thể mở sân chơi tại https: // localhost: 8009 . Bạn có thể sẽ nhận được lỗi chứng chỉ, lỗi này có thể được bỏ qua.

Sân chơi Plutus

Sao chép và dán nội dung tệp EnglishAuction.sh vào sân chơi, thay thế hợp đồng demo hiện có.

Sân chơi Plutus

Nhấp vào nút biên dịch. Khi nó đã được biên dịch, hãy nhấp vào nút Mô phỏng.

Sân chơi Plutus

Các ví mặc định được thiết lập với 10 Lovelace và 10 T, trong đó T là mã thông báo gốc được mô phỏng bởi tập lệnh trong các dòng sau:

myToken :: KnownCurrency myToken \= KnownCurrency (ValidatorHash "f") "Token" (TokenName "T" :| [])

mkKnownCurrencies ['myToken]

Chúng tôi sẽ coi mã thông báo T là mã thông báo không thể thay thế (NFT) và mô phỏng điều này bằng cách thay đổi các ví sao cho Ví 1 có 1 T và các ví khác có 0 T.

Ngoài ra, 10 lovelace là thấp một cách vô lý, vì vậy hãy cho mỗi ví 1000 Ada, tức là 1.000.000.000 lovelace.

Nhấp vào tùy chọn "Thêm Ví", sau đó điều chỉnh số dư cho phù hợp:

Sân chơi Plutus

Bạn có thể thấy trong sân chơi rằng hợp đồng có ba điểm cuối: bắt đầu, giá thầu và kết thúc.

Theo mặc định, điểm cuối “Pay to Wallet” luôn ở đó trong sân chơi. Nó cho phép chuyển Lovelace từ ví này sang ví khác một cách đơn giản.

Nhấp vào “bắt đầu” trên ví 1, để tạo phiên đấu giá:

Đây là nơi người bán sẽ đặt ra các quy tắc cho cuộc đấu giá.

Trường getSlot chỉ định thời hạn cho cuộc đấu giá. Hợp đồng không cho phép đấu thầu sau thời hạn này.

Giả sử rằng thời hạn cuối cùng là Ô số 10.

Thời gian được đo bằng thời gian POSIX (giây kể từ ngày 1 tháng 1 năm 1970), vì vậy chúng ta cần tính giá trị này. May mắn thay trong gói sổ cái plutus-sổ cái trong mô-đun Ledger.Timeslot , có một chức năng slotToPOSIXTime . Nếu chúng tôi nhập cái này vào REPL, chúng tôi có thể nhận được giá trị mà chúng tôi cần. Mô phỏng bắt đầu vào đầu kỷ nguyên Shelley, vì vậy giá trị này - 1596059101 - phản ánh điều đó và giá trị này sẽ là vào ngày 29 tháng 7 năm 2020 - vị trí thứ 10 của kỷ nguyên Shelley.

Prelude Week01.EnglishAuction> import Ledger.TimeSlot Prelude Ledger.TimeSlot Week01.EnglishAuction> slotToPOSIXTime 10 POSIXTime {getPOSIXTime \= 1596059101}

Thêm giá trị này vào trường thời hạn.

SpMinField chỉ định số lượng ADA tối thiểu phải được đặt giá thầu. Nếu không đạt mức tối thiểu này trước thời hạn, sẽ không có cuộc đấu thầu nào thành công. Hãy thực hiện 100 Ada này.

Nhập 100000000 vào trường spMinBid.

Hai trường cuối cùng - spCurrencySymbol và unTokenName chỉ định đơn vị tiền tệ của NFT là chủ đề của phiên đấu giá. Trong Plutus, mã thông báo gốc được xác định bằng ký hiệu tiền tệ và tên.

Trong trường hợp này, ký hiệu là 66 và tên mã thông báo, như chúng ta đã thấy là T.

Nhập các giá trị này vào các trường tương ứng của chúng.

Sân chơi Plutus

Chúng tôi cũng có thể chèn các hành động "đợi", để đợi một số vị trí nhất định. Chúng tôi sẽ cần đợi ít nhất một thời điểm để giao dịch bắt đầu phiên đấu giá hoàn tất.

Sân chơi Plutus

Bây giờ đấu thầu có thể bắt đầu.

Giả sử rằng Ví 2 và 3 muốn đặt giá thầu cho mã thông báo này.

Ví 2 nhanh hơn và đặt giá thầu 100 Ada bằng cách gọi điểm cuối giá thầu với các thông số như được hiển thị bên dưới.

Sân chơi Plutus

Bây giờ chúng tôi chèn một hành động chờ khác và bây giờ chúng tôi thêm một giá thầu của Charlie (Wallet 3) cho 200 Ada.

Sân chơi Plutus

Giả sử rằng hai giá thầu này là giá thầu duy nhất.

Bây giờ chúng tôi thêm một hành động chờ đợi cho đến vị trí 11, là vị trí sau thời hạn của phiên đấu giá.

Sân chơi Plutus

Tại thời điểm này, bất kỳ ai cũng có thể gọi điểm cuối gần . Phiên đấu giá sẽ không tự giải quyết, nó cần được kích hoạt bởi một điểm cuối.

Khi điểm cuối đóng được kích hoạt, cuộc đấu giá sẽ được giải quyết theo các quy tắc.

  • Nếu có ít nhất một giá thầu, người trả giá cao nhất sẽ nhận được mã thông báo. Đây sẽ luôn là người đặt giá thầu cuối cùng vì tập lệnh sẽ không cho phép giá thầu không cao hơn giá thầu cao nhất hiện tại hoặc giá thầu thấp hơn mức giá thầu tối thiểu.
  • Nếu không có người đặt giá thầu, Wallet 1 sẽ lấy lại mã thông báo.

Giả sử rằng Alice (Ví 1) gọi điểm cuối gần . Chúng tôi sẽ thêm điều này và cũng thêm một hành động chờ khác mà chúng tôi cần ở cuối để xem giao dịch cuối cùng khi chúng tôi chạy mô phỏng.

Sân chơi Plutus

Bây giờ, hãy nhấp vào nút “Đánh giá” - nút ở cuối trang hoặc nút ở đầu trang.

Sau một lúc, bạn sẽ thấy chế độ xem giả lập.

Ở đầu trang, bạn sẽ thấy các vị trí có liên quan đến mô phỏng, tức là các vị trí đã xảy ra một hành động. Ở đây chúng ta thấy rằng đây là các khe 1,2,3,4 và 20.

Vị trí số 0 không phải do hợp đồng của chúng tôi gây ra, đó là giao dịch Genesis thiết lập số dư ban đầu của ví. Có ba đầu ra cho giao dịch này.

Sân chơi Plutus

Bây giờ hãy nhấp vào giao dịch Slot 1.

Giao dịch có một đầu vào và ba đầu ra. Đầu vào là UTxO duy nhất mà Wallet 1 có. Mặc dù đó là hai mã thông báo, 1000 Ada và 1T, chúng nằm trong một UTxO. Như đã đề cập trước đó, UTxO luôn cần được sử dụng toàn bộ, vì vậy toàn bộ UTxO được gửi dưới dạng đầu vào.

Kết quả đầu ra là phí 10 lovelace (đây là phí demo và không phản ánh mức phí thực sẽ là bao nhiêu), 999.999.990 lovelace trở lại Ví 1 và 1 T cho hợp đồng để giữ trong khi đấu thầu diễn ra. Ở đây bạn cũng thấy địa chỉ tập lệnh.

Như chúng ta đã biết từ phần giới thiệu về mô hình UTxO, cũng có thể có một mức dữ liệu và có một mức dữ liệu, nhưng điều này không hiển thị trong màn hình này.

Sân chơi Plutus

Vì vậy, bây giờ phiên đấu giá đã được thiết lập, hãy xem giao dịch tiếp theo, nơi Bob (Wallet 2) đặt giá thầu là 100 Ada.

Có hai đầu vào - tập lệnh UTxO và UTxO mà Bob sở hữu.

Ngoài ra còn có ba đầu ra. Đầu tiên là khoản phí 14,129 lovelace. Điều thứ hai mang lại cho Bob tiền thay đổi của anh ấy - số tiền ban đầu của anh ấy trừ đi các khoản phí và giá thầu. Đầu ra thứ ba khóa giá thầu vào hợp đồng.

Trình xác thực tập lệnh ở đây phải đảm bảo rằng Wallet 2 không thể chỉ lấy mã thông báo, vì vậy nó sẽ chỉ xác thực trong trường hợp có đầu ra mà mã thông báo kết thúc trong hợp đồng một lần nữa. Hãy nhớ rằng trong mô hình (E) UTxO, tất cả các đầu vào và đầu ra đều hiển thị với tập lệnh.

Sân chơi Plutus

Bây giờ chúng ta hãy xem xét giao dịch tiếp theo. Đây là nơi Charlie đặt giá thầu 200 Ada Lovelace (đó là 5 Lovelace trong video của Lars, nhưng tôi đã nhập nó là 4 và tôi không muốn chụp lại tất cả các ảnh chụp màn hình đó).

Các đầu vào ở đây là UTxO của Wallet 3 và địa chỉ tập lệnh.

Kết quả đầu ra là sự thay đổi của 6 Lovelace thành Wallet 3, tập lệnh được cập nhật với giá thầu cao mới của 4 Lovelace và việc trả lại giá thầu 3 Lovelace của Wallet 2 cho địa chỉ của Wallet 2.

Một lần nữa, logic trong tập lệnh phải đảm bảo rằng tất cả những điều này được xử lý chính xác, tức là giá thầu mới cao hơn giá thầu trước đó và mã thông báo T tiếp tục bị khóa trong hợp đồng cùng với giá thầu mới.

Sân chơi Plutus

Giao dịch cuối cùng là hành động đóng . Hai đầu vào này - một từ Alice để trả phí và đầu vào thứ hai là tập lệnh UTxO làm đầu vào. Có bốn kết quả đầu ra - phí từ Alice và sự thay đổi trở lại Alice, sau đó là giá thầu thành công 200 Ada cho Alice và chuyển NFT cho Charlie.

Sân chơi Plutus

Nếu chúng ta cuộn xuống, bây giờ chúng ta có thể thấy số dư cuối cùng.

Sân chơi Plutus

Hãy kiểm tra xem điều gì sẽ xảy ra khi có sự cố xảy ra, chẳng hạn như nếu Charlie đưa ra giá thầu thấp hơn giá thầu của Bob. Giả sử Charlie mắc lỗi và chỉ trả giá 20 Ada.

Bây giờ chúng tôi thấy rằng chúng tôi chỉ có bốn giao dịch và Bob thắng cuộc đấu giá.

Sân chơi Plutus

Hãy xem điều gì sẽ xảy ra nếu không có giá thầu hợp lệ.

Sân chơi Plutus

Bây giờ chỉ có ba giao dịch, giao dịch cuối cùng là giao dịch đóng. Vì đây là một cuộc đấu giá thất bại, không có giá thầu thành công, giao dịch này trả lại NFT cho Ví 1.

Sân chơi Plutus

Link tải trọn bộ tài liệu bằng tiếng Anh tại đây