Stablecoin thuật toán và toán tử đệ quy: Khám phá và thách thức trong đổi mới DeFi

Gần đây, stablecoin thuật toán đã trở thành chủ đề nóng trong lĩnh vực blockchain. Nhiều người tỏ ra tò mò về khái niệm này, cho rằng nó có thể vượt qua các stablecoin thế chấp truyền thống và mô hình nhà tạo lập thị trường tự động (AMM), thậm chí có khả năng đạt được mục tiêu mà Bitcoin không thể thực hiện: một hệ thống tiền tệ toàn cầu hoàn toàn phi tập trung và tự điều chỉnh. Sự kỳ vọng này xuất phát từ sự thiếu hiểu biết về bản chất của blockchain và tiền tệ, cũng như sự mới mẻ mà các toán tử đệ quy mới được giới thiệu bởi stablecoin thuật toán mang lại.

Toán tử đệ quy là thuật toán mà trong các biến đổi trạng thái hợp đồng thông minh liên tiếp, trạng thái trước đó được sử dụng làm đầu vào, và lặp đi lặp lại để tạo ra trạng thái tiếp theo. Thiết kế này không phải là hiếm trong môi trường blockchain, vì tính công khai của dữ liệu trên chuỗi và tính chất tuần tự của hợp đồng thông minh tự nhiên tạo thành một 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, tạo ra đặc điểm phản hồi tích cực mạnh mẽ, phù hợp cao với các thuộc tính tự gia tăng của trò chơi trên chuỗi.

Tuy nhiên, chuỗi thời gian thuần túy không phải là giải pháp lý tưởng, vì nó khiến trạng thái tương lai hoàn toàn được quyết định bởi trạng thái hiện tại. Điều thực sự đáng chú ý là việc kết hợp toán tử đệ quy với các yếu tố khác, đưa thông tin mới vào giữa các chuyển đổi trạng thái. Thông tin mới này thể hiện thuộc tính trò chơi, có tính không thể đoán trước, trong khi vẫn bị ảnh hưởng bởi toán tử đệ quy để hình thành một loại kỳ vọng chung nào đó. Sự tương tác phức tạp này lại ảnh hưởng đến các toán tử khác, tạo ra sự cộng hưởng và tạo ra các đặc tính kỳ vọng có thể kiểm soát. Chúng tôi gọi những loại toán tử này là toán tử đệ quy đa chiều.

Lấy một ví dụ về stablecoin thuật toán đơn giản phổ biến, toán tử định giá tạo ra giá Pt, trong khi tổng lượng mở rộng Mt là một toán tử đệ quy đa cấp. Mt là hàm của Pt, và Pt+1 lại phụ thuộc vào Mt, từ đó 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 các toán tử định giá, hình thành phản hồi tiêu cực theo chu kỳ, dần dần tiến tới sự ổn định giá cả. Thiết kế này dựa trên lý thuyết cân bằng đường cung và cầu, nhưng do quá trình trò chơi xảy ra trên thị trường thứ cấp, độ chính xác bị hạn chế, dẫn đến việc truyền dẫn giá cả chậm, khó đạt được sự cân bằng ổn định một cách nhanh chóng.

Ngoài việc cung cấp các toán tử phản hồi tiêu cực, còn có các toán tử hồi quy cung cấp phản hồi tích cực, với mục tiêu là đạt được tự tăng cường thay vì ổn định giá cả. Một ví dụ điển hình là cơ chế mua lại trong một hệ thống nào đó: việc mua lại làm giảm nguồn cung trên thị trường, đẩy giá lên, cải thiện hiệu suất, đáp ứng nhiều nhu cầu hơn, mang lại nhiều lợi nhuận hơn, từ đó tăng cường việc mua lại, tạo thành chu trình tốt. Phương pháp đơn giản, hiệu quả và có tính chất phản Markov này có thể sẽ được nhiều nhà phát triển giao thức trên chuỗi ưa chuộng trong tương lai.

Từ góc độ toán học thuần túy, vẫn còn nghi ngờ về 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. Do đó, các 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 là khi xem xét rằng stablecoin thuật toán thông qua việc thay đổi tổng lượng gián tiếp ảnh hưởng đến quan hệ cung cầu, quá trình truyền dẫn của nó chậm hơn, điều kiện để đạt được cân bằng ổn định khắt khe hơn, và khó khăn trong việc đạt được mục tiêu của chính nó.

Trong các toán tử đệ quy đa cấp, bước giới thiệu 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 thực sự có lợi cho việc giới thiệu 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 nhất định trong cấu trúc trò chơi cụ thể, nhưng lại tuân theo khung thông tin thống nhất. Những thông tin này kết hợp với các toán tử đệ quy, hình thành kỳ vọng tổng thể, dễ tạo ra ảo giác về sự ổn định. Nhiều thiết kế có thể rơi vào ảo giác này, và nếu thiếu phân tích lý thuyết trò chơi nghiêm ngặt, sẽ rất khó để nắm bắt toàn diện các đặc tính cân bằng tổng thể, điều này có thể dẫn đến kết quả trái ngược với mong đợi.

Trong lĩnh vực Tài chính phi tập trung, hầu hết các toán tử đệ quy đều liên quan đến chuỗi giá, vì trò chơi giá là hình thức trò chơi có thông tin 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 nay khi sử dụng chuỗi giá, thường phụ thuộc vào cơ chế AMM thay vì oracle phi tập trung hiệu quả, điều này có thể dẫn đến quá trình đệ quy trở nên có thể dự đoán hoặc có thể kiểm soát, trái ngược với mục đích thiết kế ban đầu. Hy vọng đơn giản rằng AMM sẽ dần trở nên hiệu quả là không đủ, vì hành vi tấn công phản ánh trực tiếp trong chuỗi giá của AMM, không thể bị loại trừ tự động thông qua thuật toán.

Ngoài ra, nhiều dự án thiết kế lượng đệ quy không liên quan trực tiếp đến 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. Cách làm này khó có thể trực tiếp chạm đến cốt lõi của thị trường thứ cấp, có thể dẫn đến sai lệch trong việc truyền dẫn thuật toán.

Trong tương lai, nên có nhiều biến số kết hợp với các toán tử đệ quy, đặc biệt là những tham số phản ánh độ khó của các trò chơi trên toàn thị trường. Lĩnh vực này xứng đáng được khám phá sâu hơn, hy vọng phát triển ra một loạt các toán tử phi tuyến. Khi thiết kế Tài chính phi tập trung, cần phân tích chi tiết cơ chế truyền thông tin của các toán tử đệ quy, tránh bị dự đoán và kiểm soát, từ đó đạt được đổi mới và đột phá thực sự.