Thảo luận sâu về các toán tử đệ quy trong Blockchain và ứng dụng của chúng
Trong lĩnh vực Blockchain và tiền điện tử, stablecoin thuật toán luôn là một chủ đề được quan tâm. Nhiều người tò mò về loại stablecoin mới này, cho rằng nó có thể sáng tạo hơn so với stablecoin thế chấp truyền thống hoặc cơ chế tạo lập thị trường tự động (AMM). Thậm chí có người mơ tưởng rằng stablecoin thuật toán có thể đạt được mục tiêu mà Bitcoin chưa thành công: một hệ thống tiền tệ toàn cầu hoàn toàn phi tập trung và có thể tự điều chỉnh. Ý tưởng này nảy sinh, ngoài việc hiểu biết không đầy đủ về Blockchain và bản chất của tiền tệ, còn phần lớn xuất phát từ việc stablecoin thuật toán giới thiệu một khái niệm mới - toán tử đệ quy.
Toán tử đệ quy là những toán tử trong quá trình biến đổi trạng thái hợp đồng thông minh liên tục, sử dụng trạng thái trước đó làm đầu vào và liên tục lặp lại để tạo ra trạng thái tiếp theo. Sự xuất hiện của các toán tử này không có gì đáng ngạc nhiên, vì 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 về cơ bả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í là hiệu ứng cấp số nhân. Đặc điểm phản hồi tích cực 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 đó, đối với những nhà phát triển đang tìm kiếm khả năng phát triển trò chơi không hợp tác mới, việc sử dụng toán tử đệ quy là một giải pháp đơn giản và khả thi.
Tuy nhiên, chuỗi thời gian thuần túy không phải là một thiết kế lý tưởng. Điều thực sự đáng chú ý là kết hợp các toán tử đệ quy với các yếu tố khác, đưa thông tin mới vào giữa hai lần thay đổ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. Đồng thời, tính không thể đoán trước này lại bị ảnh hưởng bởi các toán tử đệ quy, tạo ra một kỳ vọng chung nhất định, từ đó tác động ngược lại lên các toán tử khác, tạo ra hiệu ứng cộng hưởng, hình thành thuộ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 dạng.
Lấy một đồng tiền ổn định với thuật toán đơn giản làm ví dụ, toán tử định giá tạo ra một mức giá Pt, sau đó tổng lượng mở rộng là một toán tử đệ quy đa cấp Mt. Mt là hàm của Pt, trong khi 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 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ả. Ý tưởng này được xây dựng trên sự cân bằng của đường cung cầu, quá trình chơi game diễn ra trên thị trường thứ cấp, do đó không hoàn toàn chính xác, có thể dẫn đến quá trình truyền giá chậm, khó tạo ra 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ục tiêu của cái sau không phải là ổn định giá cả, mà là hiệu ứng tự gia tăng. Ví dụ, cơ chế mua lại trong một số hệ thống là một toán tử đệ quy phản hồi tích cực điển hình: việc mua lại dẫn đến giảm cung trên thị trường, giá tăng lên, từ đó nâng cao hiệu suất của hệ thống, đáp ứng nhiều nhu cầu hơn, mang lại nhiều lợi nhuận hơn, và do đó tăng cường việc mua lại, thúc đẩy giá tiếp tục tăng. Phương pháp đơn giản và rõ ràng này, với thuộc tính phản Markov, có thể sẽ 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 thuần túy, liệu toán tử đệ quy có thể xây dựng một thuộc tính chu kỳ ngắn ổn định hay không vẫn chưa rõ ràng. Do đó, việc các đồng tiền ổn định phụ thuộc vào toán tử đệ quy hội tụ vào cấu trúc ổn định là khá khó khăn. Đặc biệt là khi xem xét rằng đồng tiền ổn định thuật toán không thay đổi trực tiếp mối quan hệ cung cầu trên thị trường thứ cấp, mà là 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, nên khả năng lan truyền của 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, do đó việc thực hiện mục tiêu của chính nó trở nên rất khó.
Trong các toán tử đệ quy đa cấp, bước đưa ra thông tin mới là vô cùng quan trọng. Thuộc tính cân bằng chung của blockchain thực sự 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 dưới sự thiết kế của cấu trúc trò chơi, nhưng lại tồn tại một cấu trúc thông tin thống nhất khung. Những thông tin này kết hợp với các toán tử đệ quy, thiết lập một kỳ vọng tổng thể, dễ dàng tạo ra ảo tưởng về sự ổn định. Nhiều thiết kế có thể rơi vào ảo tưởng này, 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 đầy đủ thuộc tính cân bằng tổng thể. Thuộc tính này có thể hoàn toàn trái ngược với kỳ vọng, chẳng hạn như stablecoin thuật toán có thể không đạt được sự ổn định, cũng như bitcoin có thể không trở thành tiền tệ phổ quát.
Đôi khi, trong bước đưa thông tin, cũng có nhu cầu về tính ngẫu nhiên. Giả thuyết về tính ngẫu nhiên này có độ phụ thuộc vào thông tin là bằng không (hoàn toàn đối xứng), khác với thiết kế của các stablecoin trước đây. Khi tính ngẫu nhiên này kết hợp với toán tử đệ quy, nó lại dễ dàng tạo ra những tính chất ổn định hơn. Tính ngẫu nhiên tách rời cấu trúc trò chơi, thể hiện nhiều đặc trưng của thuật toán, có thể là một hướng nghiên cứu quan trọng trong tương lai cho stablecoin thuật toán.
Khi thiết kế 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 toán tử đệ quy sẽ dần dần yếu đi, thuộc tính phản hồi dương và âm của nó sẽ dần tiêu tan. Do đó, tồn tại một chỉ số về cường độ phản hồi của toán tử đệ quy. Nếu trong thiết kế dự án tài chính phi tập trung (DeFi), mục tiêu là tăng cường phản hồi dương và âm, cần giảm số lần đưa thông tin mới vào. Nếu theo đuổi một sự hồi quy dài hạn, thì dòng thông tin được đưa vào cũng phải có một thuộc tính chu kỳ nhất định. Trừ khi có thể chứng minh rằng ngay cả một toán tử ngẫu nhiên cũng có thể đạt được sự hồi quy dưới toán tử đệ quy được thiết kế, nhưng thiết kế này không dễ dàng thực hiện.
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ì cuộc chơi giá cả là một hình thức chơi 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 tại khi sử dụng chuỗi giá, thường không dựa vào Oracle phi tập trung hiệu quả, mà lại dựa vào cơ chế AMM. Điều này có thể mang lại khả năng dự đoán và kiểm soát cho các toán tử đệ quy, dẫn đến toàn bộ quá trình đệ quy trở thành một quá trình xác định hoặc có thể kiểm soát. Đây là vấn đề mà nhiều nhà thiết kế toán tử đệ quy chưa nghiêm túc giải quyết. Chúng ta không thể đơn giản mong đợi AMM dần trở nên hiệu quả (tức là độ lệch biến động nằm trong phạm vi có thể kiểm soát), vì hành vi tấn công sẽ trực tiếp phản ánh trong chuỗi giá lưu giữ của AMM, không thể tự động loại bỏ bằng thuật toán. Điều này có nghĩa là không thể loại bỏ quá trình kiểm soát bằng thuật toán, dẫn đến các toán tử đệ quy đi vào sự xác định, trái ngược với sự không chắc chắn mà chúng cần, từ đó mất đi ý nghĩa thiết kế.
Ngoài ra, nhiều dự án thiết kế lượng đệ quy không trực tiếp gắn liền với biến cung cầu quyết định chuỗi giá, vì việc thu thập biến này trên chuỗi khá khó khăn. Ngược lại, chúng thường 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ể tiếp cận trực tiếp cốt lõi của trò chơi - thị trường thứ cấp, làm cho tính dẫn truyền của toán tử có thể bị sai lệch.
Trong tương lai, nên có nhiều biến số hơn kết hợp với các toán tử đệ quy, đặc biệt là những tham số phản ánh độ khó trong cuộc chơi toàn thị trường. Đây là một loạt các toán tử phi tuyến đáng để khám phá sâu hơn. Khi thiết kế các dự án DeFi, cần phải phân tích cơ chế truyền thông tin của các toán tử đệ quy một cách chi tiết, để tránh bị dự đoán và kiểm soát. Thông qua việc đổi mới và tối ưu hóa liên tục, các toán tử đệ quy có tiềm năng đóng vai trò lớn hơn trong lĩnh vực blockchain và tiền điện tử, thúc đẩy sự ra đời của nhiều ứng dụng đổi mới hơn.
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.
14 thích
Phần thưởng
14
6
Đăng lại
Chia sẻ
Bình luận
0/400
DAOplomacy
· 15giờ trước
ah, lại một câu chuyện về thuật toán đệ quy nữa... thật lòng mà nói, tôi đã thấy điều này diễn ra không tốt trước đây.
Xem bản gốcTrả lời0
ForkTongue
· 08-12 06:43
Lại muốn làm trò quái gì nữa? Bài học từ ust vẫn chưa đủ sao?
Xem bản gốcTrả lời0
GateUser-2fce706c
· 08-12 06:36
Đã nói từ lâu rằng con đường đệ quy này chính là mật mã tài sản thực sự, ai sắp xếp sẽ giàu trước.
Xem bản gốcTrả lời0
LiquidityWhisperer
· 08-12 06:34
Lại gặp toán tử đệ quy được chơi cho Suckers
Xem bản gốcTrả lời0
GasFeeCrier
· 08-12 06:25
Lại có người muốn chơi bẫy Stablecoin thuật toán này?
Ứng dụng và thách thức của toán tử đệ quy trong blockchain: từ stablecoin thuật toán đến đổi mới Tài chính phi tập trung
Thảo luận sâu về các toán tử đệ quy trong Blockchain và ứng dụng của chúng
Trong lĩnh vực Blockchain và tiền điện tử, stablecoin thuật toán luôn là một chủ đề được quan tâm. Nhiều người tò mò về loại stablecoin mới này, cho rằng nó có thể sáng tạo hơn so với stablecoin thế chấp truyền thống hoặc cơ chế tạo lập thị trường tự động (AMM). Thậm chí có người mơ tưởng rằng stablecoin thuật toán có thể đạt được mục tiêu mà Bitcoin chưa thành công: một hệ thống tiền tệ toàn cầu hoàn toàn phi tập trung và có thể tự điều chỉnh. Ý tưởng này nảy sinh, ngoài việc hiểu biết không đầy đủ về Blockchain và bản chất của tiền tệ, còn phần lớn xuất phát từ việc stablecoin thuật toán giới thiệu một khái niệm mới - toán tử đệ quy.
Toán tử đệ quy là những toán tử trong quá trình biến đổi trạng thái hợp đồng thông minh liên tục, sử dụng trạng thái trước đó làm đầu vào và liên tục lặp lại để tạo ra trạng thái tiếp theo. Sự xuất hiện của các toán tử này không có gì đáng ngạc nhiên, vì 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 về cơ bả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í là hiệu ứng cấp số nhân. Đặc điểm phản hồi tích cực 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 đó, đối với những nhà phát triển đang tìm kiếm khả năng phát triển trò chơi không hợp tác mới, việc sử dụng toán tử đệ quy là một giải pháp đơn giản và khả thi.
Tuy nhiên, chuỗi thời gian thuần túy không phải là một thiết kế lý tưởng. Điều thực sự đáng chú ý là kết hợp các toán tử đệ quy với các yếu tố khác, đưa thông tin mới vào giữa hai lần thay đổ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. Đồng thời, tính không thể đoán trước này lại bị ảnh hưởng bởi các toán tử đệ quy, tạo ra một kỳ vọng chung nhất định, từ đó tác động ngược lại lên các toán tử khác, tạo ra hiệu ứng cộng hưởng, hình thành thuộ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 dạng.
Lấy một đồng tiền ổn định với thuật toán đơn giản làm ví dụ, toán tử định giá tạo ra một mức giá Pt, sau đó tổng lượng mở rộng là một toán tử đệ quy đa cấp Mt. Mt là hàm của Pt, trong khi 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 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ả. Ý tưởng này được xây dựng trên sự cân bằng của đường cung cầu, quá trình chơi game diễn ra trên thị trường thứ cấp, do đó không hoàn toàn chính xác, có thể dẫn đến quá trình truyền giá chậm, khó tạo ra 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ục tiêu của cái sau không phải là ổn định giá cả, mà là hiệu ứng tự gia tăng. Ví dụ, cơ chế mua lại trong một số hệ thống là một toán tử đệ quy phản hồi tích cực điển hình: việc mua lại dẫn đến giảm cung trên thị trường, giá tăng lên, từ đó nâng cao hiệu suất của hệ thống, đáp ứng nhiều nhu cầu hơn, mang lại nhiều lợi nhuận hơn, và do đó tăng cường việc mua lại, thúc đẩy giá tiếp tục tăng. Phương pháp đơn giản và rõ ràng này, với thuộc tính phản Markov, có thể sẽ 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 thuần túy, liệu toán tử đệ quy có thể xây dựng một thuộc tính chu kỳ ngắn ổn định hay không vẫn chưa rõ ràng. Do đó, việc các đồng tiền ổn định phụ thuộc vào toán tử đệ quy hội tụ vào cấu trúc ổn định là khá khó khăn. Đặc biệt là khi xem xét rằng đồng tiền ổn định thuật toán không thay đổi trực tiếp mối quan hệ cung cầu trên thị trường thứ cấp, mà là 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, nên khả năng lan truyền của 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, do đó việc thực hiện mục tiêu của chính nó trở nên rất khó.
Trong các toán tử đệ quy đa cấp, bước đưa ra thông tin mới là vô cùng quan trọng. Thuộc tính cân bằng chung của blockchain thực sự 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 dưới sự thiết kế của cấu trúc trò chơi, nhưng lại tồn tại một cấu trúc thông tin thống nhất khung. Những thông tin này kết hợp với các toán tử đệ quy, thiết lập một kỳ vọng tổng thể, dễ dàng tạo ra ảo tưởng về sự ổn định. Nhiều thiết kế có thể rơi vào ảo tưởng này, 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 đầy đủ thuộc tính cân bằng tổng thể. Thuộc tính này có thể hoàn toàn trái ngược với kỳ vọng, chẳng hạn như stablecoin thuật toán có thể không đạt được sự ổn định, cũng như bitcoin có thể không trở thành tiền tệ phổ quát.
Đôi khi, trong bước đưa thông tin, cũng có nhu cầu về tính ngẫu nhiên. Giả thuyết về tính ngẫu nhiên này có độ phụ thuộc vào thông tin là bằng không (hoàn toàn đối xứng), khác với thiết kế của các stablecoin trước đây. Khi tính ngẫu nhiên này kết hợp với toán tử đệ quy, nó lại dễ dàng tạo ra những tính chất ổn định hơn. Tính ngẫu nhiên tách rời cấu trúc trò chơi, thể hiện nhiều đặc trưng của thuật toán, có thể là một hướng nghiên cứu quan trọng trong tương lai cho stablecoin thuật toán.
Khi thiết kế 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 toán tử đệ quy sẽ dần dần yếu đi, thuộc tính phản hồi dương và âm của nó sẽ dần tiêu tan. Do đó, tồn tại một chỉ số về cường độ phản hồi của toán tử đệ quy. Nếu trong thiết kế dự án tài chính phi tập trung (DeFi), mục tiêu là tăng cường phản hồi dương và âm, cần giảm số lần đưa thông tin mới vào. Nếu theo đuổi một sự hồi quy dài hạn, thì dòng thông tin được đưa vào cũng phải có một thuộc tính chu kỳ nhất định. Trừ khi có thể chứng minh rằng ngay cả một toán tử ngẫu nhiên cũng có thể đạt được sự hồi quy dưới toán tử đệ quy được thiết kế, nhưng thiết kế này không dễ dàng thực hiện.
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ì cuộc chơi giá cả là một hình thức chơi 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 tại khi sử dụng chuỗi giá, thường không dựa vào Oracle phi tập trung hiệu quả, mà lại dựa vào cơ chế AMM. Điều này có thể mang lại khả năng dự đoán và kiểm soát cho các toán tử đệ quy, dẫn đến toàn bộ quá trình đệ quy trở thành một quá trình xác định hoặc có thể kiểm soát. Đây là vấn đề mà nhiều nhà thiết kế toán tử đệ quy chưa nghiêm túc giải quyết. Chúng ta không thể đơn giản mong đợi AMM dần trở nên hiệu quả (tức là độ lệch biến động nằm trong phạm vi có thể kiểm soát), vì hành vi tấn công sẽ trực tiếp phản ánh trong chuỗi giá lưu giữ của AMM, không thể tự động loại bỏ bằng thuật toán. Điều này có nghĩa là không thể loại bỏ quá trình kiểm soát bằng thuật toán, dẫn đến các toán tử đệ quy đi vào sự xác định, trái ngược với sự không chắc chắn mà chúng cần, từ đó mất đi ý nghĩa thiết kế.
Ngoài ra, nhiều dự án thiết kế lượng đệ quy không trực tiếp gắn liền với biến cung cầu quyết định chuỗi giá, vì việc thu thập biến này trên chuỗi khá khó khăn. Ngược lại, chúng thường 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ể tiếp cận trực tiếp cốt lõi của trò chơi - thị trường thứ cấp, làm cho tính dẫn truyền của toán tử có thể bị sai lệch.
Trong tương lai, nên có nhiều biến số hơn kết hợp với các toán tử đệ quy, đặc biệt là những tham số phản ánh độ khó trong cuộc chơi toàn thị trường. Đây là một loạt các toán tử phi tuyến đáng để khám phá sâu hơn. Khi thiết kế các dự án DeFi, cần phải phân tích cơ chế truyền thông tin của các toán tử đệ quy một cách chi tiết, để tránh bị dự đoán và kiểm soát. Thông qua việc đổi mới và tối ưu hóa liên tục, các toán tử đệ quy có tiềm năng đóng vai trò lớn hơn trong lĩnh vực blockchain và tiền điện tử, thúc đẩy sự ra đời của nhiều ứng dụng đổi mới hơn.