Toán tử đệ quy của Nghiên cứu Bản chất Ngành DeFi
NEST爱好者
2021-02-04 04:19
本文约2188字,阅读全文需要约9分钟
Vai trò và ý tưởng thiết kế của toán tử đệ quy trong stablecoin thuật toán.

Viết bởi | Banach

Sản xuất | Người hâm mộ NEST (nestfans.com) được tác giả ủy quyền xuất bản

Sản xuất | Người hâm mộ NEST (nestfans.com) được tác giả ủy quyền xuất bản

Nhiều người quan tâm đến cái gọi là stablecoin thuật toán và cảm thấy rằng các stablecoin hoặc AMM được thế chấp trước đây không phải là mới và thậm chí còn tưởng tượng rằng các stablecoin thuật toán có thể thực hiện được những gì Bitcoin không thể.Sứ mệnh: 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. Lý do cho loại ý tưởng này là ngoài việc không thể hiểu đầy đủ về chuỗi khối và tiền tệ, việc giới thiệu các toán tử đệ quy mới trong các stablecoin thuật toán là một động lực quan trọng:Toán tử đệ quy tương đối mới lạ và chưa từng xuất hiện nên có thể sẽ “làm nên điều kỳ diệu” một cách mạnh mẽ.

Cái gọi là toán tử đệ quy đề cập đến toán tử trong quá trình chuyển đổi hợp đồng thông minh liên tục, trạng thái tiếp theo là toán tử lấy trạng thái trước đó làm đầu vào và liên tục tạo đệ quy. Không có gì đáng ngạc nhiên khi các toán tử đệ quy xuất hiện, bởi vì trên chuỗi, tính mở của dữ liệu và thiết kế nối tiếp của các hợp đồng thông minh tạo thành một chuỗi thời gian, để cùng một loại hoạt động có thể được xử lý đệ quy,có thể dẫn đến cấu trúc phi tuyến tính, thậm chí là hiệu ứng cấp số nhân. Đây là một tính năng phản hồi tích cực rất mạnh mẽ, hoàn toàn phù hợp với đặc tính tự củng cố của trò chơi trên chuỗi. Vì vậy, đối với những người tìm kiếm mớitrò chơi bất hợp tácĐối với những người không có khả năng, sử dụng toán tử đệ quy là một giải pháp đơn giản và khả thi.

Đệ quy chuỗi thời gian thuần túy không phải là một ý tưởng hay, bởi vì thông tin của thời điểm tiếp theo được xác định hoàn toàn bởi thời điểm trước đó. Những thứ thực sự đáng được quan tâm là:Kết hợp các toán tử đệ quy với các toán tử khác, thông tin mới được đưa vào trong hai lần thay đổi trạng thái, thông tin này phản ánh các thuộc tính của trò chơi nên không thể đoán trước. Tính không thể đoán trước này cũng bị ảnh hưởng bởi toán tử đệ quy, toán tử này có một kỳ vọng chung nhất định, phản ứng với các toán tử khác để tạo thành cộng hưởng và tạo ra các thuộc tính dự kiến ​​có thể kiểm soát được. Chúng tôi gọi loại toán tử nàyNhiều toán tử đệ quy.

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

Các toán tử đệ quy không chỉ có thể có các toán tử cung cấp phản hồi tiêu cực mà còn có các toán tử cung cấp phản hồi tích cực. Loại toán tử này nhằm mục đích tự củng cố hơn là các stablecoin theo thuật toán:ổn định giá. điển hình nàyhệ thống NESTTrong cơ chế mua lại, mua lại dẫn đến nguồn cung thị trường giảm và giá tăng, do đó hiệu suất tốt hơn, đáp ứng nhiều nhu cầu hơn và có thể mang lại nhiều thu nhập hơn, tăng mua lại và tăng giá... Trên thực tế , phản hồi tích cực hơn có thể được xây dựng toán tử đệ quy,Do tính chất đồng nhất và chống Markov của nó, phương pháp này sẽ thu hút nhiều sự chú ý hơn từ các nhà phát triển giao thức trên chuỗi trong tương lai.

Theo nghĩa thuần túy toán học,Không rõ liệu một toán tử đệ quy có thể xây dựng một thuộc tính ổn định trong thời gian ngắn hay không, do đó, rất khó để một stablecoin được xây dựng bởi một toán tử đệ quy hội tụ thành một cấu trúc ổn định, đặc biệt là đã đề cập ở trên,Các stablecoin theo thuật toán không thay đổi mối quan hệ trực tiếp giữa cung và cầu trên thị trường thứ cấp, nhưng gián tiếp thay đổi mối quan hệ giữa cung và cầu bằng cách thay đổi tổng lượng. Sự dẫn truyền của nó chậm hơn và có nhiều ràng buộc hơn để đạt được trạng thái cân bằng ổn định (khả năng bất ổn sẽ lớn hơn), và rất có khả năng Khó đạt được mục tiêu của bạn.

Trong nhiều toán tử đệ quy, bước giới thiệu thông tin là rất quan trọng và cốt lõi của bước này là nắm bắt thông tin mới. Ở một mức độ nào đó, thuộc tính cân bằng chung của chuỗi khối thực sự dễ dàng giới thiệu thêm thông tin, thông tin này có một mức độ không chắc chắn nhất định theo thiết kế của cấu trúc trò chơi, nhưng sự không chắc chắn này được đóng khung (với cấu trúc thông tin thống nhất),Thông tin này được kết hợp với toán tử đệ quy để thiết lập một kỳ vọng tổng thể, dễ tạo ra ảo tưởng về sự ổn định, chúng tôi cho rằng nhiều thiết kế 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, thì khó có thể nắm bắt đầy đủ các thuộc tính cân bằng tổng thể (Bitcoin chỉ không thể trở thành một loại tiền tệ phổ quát).Đôi khi trong bước giới thiệu thông tin cũng có yêu cầu về tính ngẫu nhiên nhất định, tính ngẫu nhiên này giả định rằng sự phụ thuộc vào thông tin bằng 0 (hoàn toàn đối xứng), khác với thiết kế stablecoin trước đây. dễ dàng hơn để tạo ra các đặc điểm ổn định. Loại ngẫu nhiên này phá vỡ cấu trúc của trò chơi và phản ánh nhiều hơn các đặc điểm của thuật toán. Đó là hướng mà các stablecoin thuật toán cần khai thác trong tương lai

Khi chúng ta sử dụng toán tử đệ quy,Khi có quá nhiều bước để giới thiệu thông tin hoặc có quá nhiều toán tử độc lập, tác dụng của toán tử đệ quy sẽ giảm dần và các thuộc tính phản hồi tích cực và tiêu cực của nó sẽ dần tiêu tan, do đó, có một chỉ báo về cường độ phản hồi của đệ quy nhà điều hành. Nếu chúng ta cố gắng tăng cường phản hồi tích cực và tiêu cực khi thiết kế DeFi, chúng ta cần giảm tần suất giới thiệu thông tin mới. được chứng minh rằng ngay cả khi Nó là một toán tử ngẫu nhiên cũng có thể đạt được hồi quy theo toán tử đệ quy đã thiết kế.Thiết kế này không dễ dàng.

Trong lĩnh vực DeFi, hầu hết các toán tử đệ quy sẽ kết hợp các chuỗi giá, bởi vì trò chơi giá là trò chơi có nhiều thông tin tập trung nhất và không dễ bị thuật toán dự đoán hoặc kiểm soát (trên thực tế, trạng thái cân bằng giá của tài sản thanh khoản là NP). Tuy nhiên, khi sử dụng chuỗi giá hiện tại, nó không dựa vào một nhà tiên tri phi tập trung hiệu quả mà dựa vào cơ chế AMM.Điều này sẽ mang lại khả năng dự đoán và kiểm soát cho toán tử đệ quy, khiến toàn bộ quy trình đệ quy trở thành quy trình xác định hoặc có thể kiểm soát được, đây là điều mà nhiều nhà thiết kế toán tử đệ quy chưa nghiêm túc xử lý.. Điều này không thể đơn thuần hy vọng rằng AMM sẽ dần phát huy tác dụng (độ lệch dao động nằm trong phạm vi có thể kiểm soát được),Do hành vi gây hấn được phản ánh trực tiếp trong chuỗi giá dự trữ của AMM, thuật toán không thể tự động loại bỏ nó, nghĩa là thuật toán không thể loại bỏ quá trình kiểm soát, điều này sẽ dẫn đến tính chất xác định của toán tử đệ quy (trái ngược với sự không chắc chắn được yêu cầu bởi toán tử đệ quy), Do đó làm mất đi ý nghĩa của thiết kế.

Ngoài ra, số lượng đệ quy của nhiều thiết kế dự án không được liên kết trực tiếp với biến cung và cầu xác định chuỗi giá, bởi vì rất khó để có được biến này trên chuỗi, nhưng có liên quan đến tổng lượng tài sản.Điều này khiến không thể đi thẳng vào cốt lõi của trò chơi: thị trường thứ cấp, tính dẫn điện của nhà điều hành có thể bị sai lệch

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

NEST爱好者
作者文库