Stablecoin thuật toán và toán tử đệ quy: Khám phá trò chơi không hợp tác mới trên Blockchain

Gần đây, stablecoin thuật toán đã thu hút sự chú ý rộng rãi. Nhiều người cho rằng nó có thể đạt được mục tiêu mà Bitcoin không thể thực hiện: một loại tiền tệ toàn cầu hoàn toàn phi tập trung và tự điều chỉnh. Sự hình thành của ý tưởng này, ngoài việc không hiểu rõ về Blockchain và khái niệm tiền tệ, còn xuất phát từ việc stablecoin thuật toán đã giới thiệu các toán tử đệ quy mới.

Toán tử đệ quy là quá trình lấy trạng thái trước đó làm đầu vào và lặp đi lặp lại trong các biến đổi hợp đồng thông minh liên tiếp. Thiết kế này rất tự nhiên trong môi trường blockchain, vì tính công khai của dữ liệu trên chuỗi và đặc điểm tuần tự của hợp đồng thông minh tạo thành chuỗi thời gian. Việc xử lý đệ quy các thao tác tương tự có thể tạo ra cấu trúc phi tuyến tính, thậm chí hiệu ứng cấp số nhân, thể hiện đặc điểm phản hồi dương mạnh mẽ, phù hợp với thuộc tính tự tăng cường của trò chơi trên chuỗi.

Tuy nhiên, chuỗi thời gian đơn thuần không lý tưởng, vì thông tin của khoảnh khắc tiếp theo hoàn toàn được quyết định bởi khoảnh khắc trước đó. Điều đáng chú ý hơn là các toán tử đệ quy đa dạng: việc đưa vào thông tin mới trong hai lần thay đổi trạng thái, thể hiện thuộc tính trò chơi, tạo ra sự không thể đoán trước. Sự không thể đoán trước này lại bị ảnh hưởng bởi các toán tử đệ quy, hình thành kỳ vọng chung, tác động trở lại các toán tử khác, tạo ra các thuộc tính kỳ vọng có thể kiểm soát.

Lấy ví dụ về stablecoin thuật toán phổ biến, toán tử định giá sinh ra giá Pt, tổng lượng mở rộng Mt là một toán tử đa cấp đệ quy. Mt là hàm của Pt, trong khi Pt+1 lại phụ thuộc vào Mt, do đó Mt+1 và Mt thiết lập mối quan hệ đệ quy gián tiếp. Dưới sự phối hợp của toán tử định giá, hình thành phản hồi tiêu cực theo chu kỳ, dần dần hướng tới sự ổn định giá cả. Ý tưởng này dựa trên sự cân bằng của đường cung và cầu, quá trình trò chơi diễn ra trên thị trường thứ cấp, do đó không chính xác, có thể dẫn đến quá trình truyền tải chậm, khó hình thành sự cân bằng ổn định.

Toán tử đệ quy không chỉ cung cấp phản hồi tiêu cực mà còn cung cấp phản hồi tích cực. Cái sau nhắm vào tự tăng cường chứ không phải ổn định giá. Chẳng hạn như cơ chế mua lại của một hệ thống: Mua lại giảm cung cấp trên thị trường, đẩy giá lên, nâng cao hiệu suất, đáp ứng nhiều nhu cầu hơn, mang lại nhiều lợi nhuận hơn, gia tăng mua lại, tiếp tục đẩy giá lên. Phương pháp đơn giản rõ ràng và có thuộc tính phản Markov này có thể sẽ nhận được nhiều sự ưa chuộng hơn từ các nhà phát triển giao thức on-chain trong tương lai.

Từ góc độ toán học thuần túy, việc liệu toán tử đệ quy có thể xây dựng thuộc tính chu kỳ ngắn ổn định hay không vẫn chưa rõ ràng. Do đó, những stablecoin dựa vào toán tử đệ quy rất khó để hội tụ vào cấu trúc ổn định. Đặc biệt, stablecoin thuật toán thông qua việc thay đổi tổng lượng để gián tiếp ảnh hưởng đến mối quan hệ cung cầu, độ truyền dẫn chậm hơn, và các điều kiện ràng buộc để đạt được cân bằng ổn định nhiều hơn, khó có thể thực hiện được mục tiêu của chính nó.

Trong các toán tử đệ quy đa cấp, việc đưa ra thông tin mới là rất quan trọng. Các thuộc tính cân bằng chung của Blockchain dễ dàng đưa ra nhiều thông tin hơn, những thông tin này có một mức độ không chắc chắn dưới cấu trúc trò chơi, nhưng cũng có những đặc điểm khung. Khi kết hợp với các toán tử đệ quy, đã thiết lập được kỳ vọng tổng thể, dễ tạo ra ảo giác về tính ổn định. Nếu không dựa trên phân tích lý thuyết trò chơi nghiêm ngặt, rất khó để nắm bắt chính xác các thuộc tính cân bằng tổng thể, có thể ngược lại với kỳ vọng. Đôi khi, việc đưa ra thông tin cũng cần có tính ngẫu nhiên, giả sử sự phụ thuộc vào thông tin là bằng không, thì lại dễ tạo ra các trạng thái ổn định hơn, đây là hướng nghiên cứu tiềm năng cho Stablecoin thuật toán trong tương lai.

Khi sử dụng toán tử đệ quy, nếu có quá nhiều bước thông tin hoặc toán tử độc lập được đưa vào, hiệu ứng của chúng sẽ dần giảm đi. Do đó, toán tử đệ quy có chỉ số cường độ phản hồi. Khi thiết kế DeFi, nếu muốn củng cố phản hồi tích cực và tiêu cực, cần giảm số lần đưa thông tin mới vào; nếu theo đuổi hồi quy dài hạn, dòng thông tin được đưa vào cần có thuộc tính chu kỳ.

Trong lĩnh vực DeFi, hầu hết các toán tử đệ quy đều kết hợp với chuỗi giá, vì thông tin trò chơi giá tập trung nhất và khó bị thuật toán dự đoán hoặc kiểm soát. Tuy nhiên, hiện tại chủ yếu dựa vào cơ chế AMM hơn là oracle phi tập trung, điều này có thể dẫn đến quá trình đệ quy trở thành quá trình xác định hoặc có thể kiểm soát. Hành vi tấn công phản ánh trực tiếp trong chuỗi giá lưu giữ AMM, không thể bị loại trừ tự động bằng thuật toán, mâu thuẫn với sự không chắc chắn cần thiết của các toán tử đệ quy.

Ngoài ra, lượng đệ quy được thiết kế bởi nhiều dự án không phải liên kết trực tiếp với các biến cung cầu quyết định chuỗi giá mà liên quan đến tổng lượng tài sản. Điều này có thể dẫn đến việc không thể trực tiếp đến được thị trường thứ cấp, tính truyền dẫn của toán tử có thể xuất hiện sai lệch.

Trong tương lai, nên khám phá thêm nhiều biến số kết hợp với các toán tử đệ quy, đặc biệt là các tham số phản ánh độ khó trong việc chơi toàn thị trường. Khi thiết kế DeFi, cần thực hiện phân tích chi tiết về cơ chế truyền dẫn thông tin của các toán tử đệ quy, tránh bị dự đoán và kiểm soát.