nvhieu1978 / plutus_dr.lars

Plutus Pioneer Program

Đây là nhánh của tôi về Chương trình tiên phong của Plutus, nơi tôi sẽ cập nhật các ví dụ về chi nhánh chính mới nhất của Plutus.

Tôi cũng sử dụng điều này để thêm nhận xét vào mã.

Bài giảng

• Bài giảng số 1: Video , Html

  • Welcome
  • (E)UTxO-model
  • Chạy một hợp đồng đấu giá mẫu trên một Playground
  • Bài tập về nhà

• Bài giảng số 2: Video , Html

  • Kích hoạt sự thay đổi.
  • Low-level, Các tập lệnh xác thực on-chain chưa được định kiểu.
  • High-level, Các tập lệnh xác thực on-chain định kiểu.

• Bài giảng số 3: Video , Html

  • Kịch bản context.
  • Xử lý thời gian (Time handling).
  • Hợp đồng được tham số hóa (Parameterized contracts).

• Bài giảng số 4: Video, Html

• Monads

• Đơn nguyên EmulatorTrace.

• Đơn nguyên Contract.

• Bài giảng số 5: Video, Html

• Values.

• Mã thông báo gốc và chính sách đúc tiền

• NFT's.

• Bài giảng số 6: Video, Html

• Oracles.

• Sử dụng PAB.

• Bài giảng số 7: Video, Html

• Commit schemes.

• Máy trạng thái (State machines).

• Bài giảng số 8: Video, Html

• Ví dụ khác về state machine: token sale.

• Kiểm tra tự động sử dụng dấu vết giả lập (emulator traces).

• Chuyển tiếp (Interlude): optics.

• Kiểm tra tài sản với QuickCheck.

• Thử nghiệm hợp đồng Plutus với thử nghiệm dựa trên tài sản.

• Bài giảng số 9: Video, Html

• Tổng quan về Marlowe. Site

• Marlowe trong Plutus.

• Giới thiệu Marlowe Playground.

• Bài giảng số 10: Video, Html

• Giới thiệu Uniswap.

• Triển khai Uniswap trong Plutus.

• Triển khai Uniswap với PAB.

• Demo.

• Sử dụng curl để tương tác với PAB.

Các Code ví dụ

• Lecture #1: English Auction
• Lecture #2: Simple Validation
• Lecture #3: Validation Context & Parameterized Contracts
• Lecture #4: Monads, EmulatorTrace & Contract
• Lecture #5: Minting Policies
• Lecture #6: Oracles
• Lecture #7: State Machines
• Lecture #8: Testing
• Lecture #9: Marlowe
• Lecture #10: Uniswap

Một số mô-đun Plutus

• Language.Marlowe.Semantics, chứa các kiểu và ngữ nghĩa Marlowe.
• Plutus.Contract.StateMachine, chứa các loại và chức năng để sử dụng máy trạng thái.
• Plutus.Contract.Test, cung cấp nhiều cách khác nhau để viết các bài kiểm tra cho các hợp đồng Plutus.
• Plutus.Contract.Test.ContractModel, hỗ trợ kiểm tra dựa trên tài sản của các hợp đồng Plutus.
• Plutus.Contracts.Uniswap, một triển khai Uniswap trong Plutus.
• Plutus.PAB.Webserver.API, chứa giao diện HTTP do PAB cung cấp.
• Plutus.Trace.Emulator, chứa các loại và chức năng liên quan đến dấu vết.
• Plutus.V1.Ledger.Ada, chứa hỗ trợ cho tiền tệ Ada.
• Plutus.V1.Ledger.Contexts, chứa định nghĩa của các kiểu liên quan đến context-related.
• Plutus.V1.Ledger.Interval, chứa định nghĩa và các hàm trợ giúp cho Interval .
• Plutus.V1.Ledger.Slot, c chứa định nghĩa của Slot.
• Plutus.V1.Ledger.Value, cchứa định nghĩa và các hàm trợ giúp cho Value.
• PlutusTx.Data, chứa định nghĩa của kiểu Data.
• PlutusTx.IsData.Class, định nghĩa lớp IsData.

Tài nguyên bổ sung

• Kho lưu trữ Plutus
• Tìm hiểu bạn một Haskell vì điều tốt!
• Khóa học về Haskell & Cryptocurrencies Mông Cổ