Thảo luận về ứng dụng và giới hạn của toán tử đệ quy trong Blockchain
Nhiều người có sự quan tâm mạnh mẽ đến stablecoin thuật toán, cho rằng nó có thể đạt được mục tiêu mà Bitcoin không hoàn thành: thiết lập 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. Ý tưởng này nảy sinh không chỉ do sự hiểu biết không đầy đủ về khái niệm Blockchain và tiền tệ, mà còn do stablecoin thuật toán đã giới thiệu các toán tử đệ quy mới mẻ.
Toán tử đệ quy là một thao tác trong việc biến đổi hợp đồng thông minh liên tiếp, sử dụng trạng thái trước đó làm đầu vào và lặp đi lặp lại để tạo ra trạng thái tiếp theo. Tính công khai của dữ liệu trên blockchain và thiết kế 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, thậm chí hiệu ứng cấp số nhân hình học. Đặc điểm phản hồi dương mạnh mẽ này hoàn toàn phù hợp với thuộc tính tự tăng cường của trò chơi trên chuỗi, do đó trở thành một phương án khả thi đơn giản để khám phá khả năng trò chơi phi hợp tác mới.
Tuy nhiên, chuỗi thời gian thuần túy không phải là lựa chọn 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 thực sự đáng chú ý là kết hợp toán tử đệ quy với các yếu tố khác, giới thiệu thông tin trò chơi mới trong các trạng thái thay đổi. Tính không thể dự đoán này bị ảnh hưởng bởi toán tử đệ quy, có một số kỳ vọng chung nhất định, tác động trở lại các toán tử khác để tạo ra sự cộng hưởng, tạo ra thuộc tính kỳ vọng có thể kiểm soát. Chúng tôi gọi loại toán tử này là toán tử đệ quy đa dạng.
Lấy ví dụ về stablecoin với thuật toán đơn giản, toán tử định giá tạo ra giá Pt, tổng lượng mở rộng Mt là hàm của Pt, trong khi Pt+1 lại phụ thuộc vào Mt. Như vậy, Mt+1 và Mt thiết lập mối quan hệ đệ quy gián tiếp thông qua 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 gần đến 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 chơi diễn ra trên thị trường thứ cấp, độ chính xác không cao, dẫn đến quá trình truyền dẫn chậm, khó hình thành sự cân bằng ổn định.
Toán tử đệ quy không chỉ có thể cung cấp phản hồi tiêu cực mà còn có thể cung cấp phản hồi tích cực. Một số hệ thống có cơ chế mua lại là ví dụ điển hình: mua lại làm 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, tăng cường mua lại, đẩy giá lên hơn nữa. Phương pháp đơn giản và rõ ràng này với thuộc tính phản Markov có thể thu hút nhiều nhà phát triển giao thức trên chuỗi hơn trong tương lai.
Từ góc độ toán học, việc các 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 đó, các đồng tiền ổn định dựa vào các toán tử đệ quy khó có thể hội tụ vào cấu trúc ổn định. Đặc biệt, các đồng tiền ổn định 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, tính truyền dẫn chậm hơn, điều kiện ràng buộc để đạt được cân bằng ổn định nhiều hơn, khó khăn trong việc thực hiện mục tiêu của chính nó.
Trong các toán tử đệ quy nhiều lớ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 vào 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, nhưng lại có tính khung. Khi kết hợp với các toán tử đệ quy, dễ dàng tạo ra ảo giác về sự ổn định. Nếu không dựa trên phân tích lý thuyết trò chơi chặt chẽ, rất khó để nắm bắt toàn diện các thuộc tính cân bằng tổng thể, có thể trái ngược với kỳ vọng.
Khi sử dụng toán tử đệ quy, nếu bước đưa thông tin hoặc toán tử độc lập quá nhiều, hiệu ứng của toán tử đệ quy sẽ dần dần suy yếu, thuộc tính phản hồi tích cực và tiêu cực sẽ dần dần tiêu tán. Do đó, toán tử đệ quy có chỉ số cường độ phản hồi. Trong thiết kế DeFi, nếu muốn tăng cường 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; nếu theo đuổi hồi quy dài hạn, việc đưa dòng thông tin nên có thuộc tính chu kỳ nhất định.
Hầu hết các toán tử đệ quy trong lĩnh vực DeFi kết hợp với chuỗi giá, vì trò chơi giá cả là trò chơi có thông tin tập trung nhất và khó bị dự đoán hoặc kiểm soát bởi thuật toán. Tuy nhiên, hiện tại việc sử dụng chuỗi giá thường phụ thuộc vào cơ chế AMM hơn là các oracle phi tập trung hiệu quả, điều này có thể khiến quá trình đệ quy trở thành quá trình xác định hoặc có thể kiểm soát. Vấn đề này không thể đơn giản dựa vào việc AMM dần trở nên hiệu quả, vì hành vi tấn công phản ánh trực tiếp trong chuỗi giá lưu trữ của AMM, không thể tự động loại trừ bằng thuật toán.
Ngoài ra, nhiều dự án thiết kế lượng đệ quy và các biến cung cầu quyết định chuỗi giá không gắn trực tiếp, 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 thị trường thứ cấp, làm sai lệch tính truyền dẫn của các toán tử.
Trong tương lai, nên khám phá thêm sự kết hợp giữa nhiều biến và toán tử đệ quy, đặc biệt là các tham số phản ánh độ khó của việc chơi toàn thị trường. Lĩnh vực này xứng đáng được nghiên cứu sâu, nhưng cần phải phân tích cơ chế truyền thông tin chi tiết của toán tử đệ quy để tránh bị dự đoán và kiểm soát.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Blockchain đệ quy toán tử: Phân tích đổi mới và hạn chế của Tài chính phi tập trung
Thảo luận về ứng dụng và giới hạn của toán tử đệ quy trong Blockchain
Nhiều người có sự quan tâm mạnh mẽ đến stablecoin thuật toán, cho rằng nó có thể đạt được mục tiêu mà Bitcoin không hoàn thành: thiết lập 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. Ý tưởng này nảy sinh không chỉ do sự hiểu biết không đầy đủ về khái niệm Blockchain và tiền tệ, mà còn do stablecoin thuật toán đã giới thiệu các toán tử đệ quy mới mẻ.
Toán tử đệ quy là một thao tác trong việc biến đổi hợp đồng thông minh liên tiếp, sử dụng trạng thái trước đó làm đầu vào và lặp đi lặp lại để tạo ra trạng thái tiếp theo. Tính công khai của dữ liệu trên blockchain và thiết kế 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, thậm chí hiệu ứng cấp số nhân hình học. Đặc điểm phản hồi dương mạnh mẽ này hoàn toàn phù hợp với thuộc tính tự tăng cường của trò chơi trên chuỗi, do đó trở thành một phương án khả thi đơn giản để khám phá khả năng trò chơi phi hợp tác mới.
Tuy nhiên, chuỗi thời gian thuần túy không phải là lựa chọn 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 thực sự đáng chú ý là kết hợp toán tử đệ quy với các yếu tố khác, giới thiệu thông tin trò chơi mới trong các trạng thái thay đổi. Tính không thể dự đoán này bị ảnh hưởng bởi toán tử đệ quy, có một số kỳ vọng chung nhất định, tác động trở lại các toán tử khác để tạo ra sự cộng hưởng, tạo ra thuộc tính kỳ vọng có thể kiểm soát. Chúng tôi gọi loại toán tử này là toán tử đệ quy đa dạng.
Lấy ví dụ về stablecoin với thuật toán đơn giản, toán tử định giá tạo ra giá Pt, tổng lượng mở rộng Mt là hàm của Pt, trong khi Pt+1 lại phụ thuộc vào Mt. Như vậy, Mt+1 và Mt thiết lập mối quan hệ đệ quy gián tiếp thông qua 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 gần đến 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 chơi diễn ra trên thị trường thứ cấp, độ chính xác không cao, dẫn đến quá trình truyền dẫn chậm, khó hình thành sự cân bằng ổn định.
Toán tử đệ quy không chỉ có thể cung cấp phản hồi tiêu cực mà còn có thể cung cấp phản hồi tích cực. Một số hệ thống có cơ chế mua lại là ví dụ điển hình: mua lại làm 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, tăng cường mua lại, đẩy giá lên hơn nữa. Phương pháp đơn giản và rõ ràng này với thuộc tính phản Markov có thể thu hút nhiều nhà phát triển giao thức trên chuỗi hơn trong tương lai.
Từ góc độ toán học, việc các 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 đó, các đồng tiền ổn định dựa vào các toán tử đệ quy khó có thể hội tụ vào cấu trúc ổn định. Đặc biệt, các đồng tiền ổn định 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, tính truyền dẫn chậm hơn, điều kiện ràng buộc để đạt được cân bằng ổn định nhiều hơn, khó khăn trong việc thực hiện mục tiêu của chính nó.
Trong các toán tử đệ quy nhiều lớ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 vào 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, nhưng lại có tính khung. Khi kết hợp với các toán tử đệ quy, dễ dàng tạo ra ảo giác về sự ổn định. Nếu không dựa trên phân tích lý thuyết trò chơi chặt chẽ, rất khó để nắm bắt toàn diện các thuộc tính cân bằng tổng thể, có thể trái ngược với kỳ vọng.
Khi sử dụng toán tử đệ quy, nếu bước đưa thông tin hoặc toán tử độc lập quá nhiều, hiệu ứng của toán tử đệ quy sẽ dần dần suy yếu, thuộc tính phản hồi tích cực và tiêu cực sẽ dần dần tiêu tán. Do đó, toán tử đệ quy có chỉ số cường độ phản hồi. Trong thiết kế DeFi, nếu muốn tăng cường 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; nếu theo đuổi hồi quy dài hạn, việc đưa dòng thông tin nên có thuộc tính chu kỳ nhất định.
Hầu hết các toán tử đệ quy trong lĩnh vực DeFi kết hợp với chuỗi giá, vì trò chơi giá cả là trò chơi có thông tin tập trung nhất và khó bị dự đoán hoặc kiểm soát bởi thuật toán. Tuy nhiên, hiện tại việc sử dụng chuỗi giá thường phụ thuộc vào cơ chế AMM hơn là các oracle phi tập trung hiệu quả, điều này có thể khiến quá trình đệ quy trở thành quá trình xác định hoặc có thể kiểm soát. Vấn đề này không thể đơn giản dựa vào việc AMM dần trở nên hiệu quả, vì hành vi tấn công phản ánh trực tiếp trong chuỗi giá lưu trữ của AMM, không thể tự động loại trừ bằng thuật toán.
Ngoài ra, nhiều dự án thiết kế lượng đệ quy và các biến cung cầu quyết định chuỗi giá không gắn trực tiếp, 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 thị trường thứ cấp, làm sai lệch tính truyền dẫn của các toán tử.
Trong tương lai, nên khám phá thêm sự kết hợp giữa nhiều biến và toán tử đệ quy, đặc biệt là các tham số phản ánh độ khó của việc chơi toàn thị trường. Lĩnh vực này xứng đáng được nghiên cứu sâu, nhưng cần phải phân tích cơ chế truyền thông tin chi tiết của toán tử đệ quy để tránh bị dự đoán và kiểm soát.