Viết bởi | Banach

Thời gian | 2021.01.27

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ảnTại sao có một toán tử kích hoạt?Khi logic bên trong của hợp đồng đáp ứng một số điều kiện nhất định, trạng thái của hợp đồng cần được thay đổi, lúc này hợp đồng sẽ không được thực hiện tự động mà cần có thao tác bên ngoài để kích hoạt nó., được xác định bởi bản chất của hợp đồng thông minh theo kiến ​​trúc Satoshi Nakamoto:Mỗi hoạt động là một cuộc đấu giá toàn cầu. Nhiều thiết kế cố gắng tự động hóa việc kích hoạt đã không xem xét nghiêm túc vấn đề của trò chơi này, nếu việc sắp xếp bị ép buộc, rất có khả năng là。

Xung đột trò chơi: tấn công/chênh lệch giá, về cơ bản hơn, có một chiến lược thống trị cho hành vi trên chuỗiBản chất của toán tử kích hoạt là gì?Bản chất là trao đổi dựa trên mức tiêu thụ GAS + chi phí mang thông tin và lợi ích thay đổi trạng thái, nhưng sự trao đổi này là phi tuyến tính (về quy mô)

. Vì đặc tính phi tuyến của nó, liệu nó có thể hình thành tính tự cường trong một chiều nhất định để tích lũy giá trị? Điều này liên quan đến việc phân tích cẩn thận các toán tử kích hoạt.Nói chung, các toán tử kích hoạt bao gồm ba loại:Liệu nó có chứa các quyền hay không, nghĩa là đối tượng được kích hoạt có bị hạn chế hay không, chẳng hạn như cả người đi vay và người cho vay, người khởi xướng hoàn trả phải là người đi vay, trong khi người khởi xướng thanh lý có thể là bất kỳ ai;Thứ hai là liệu có mang thông tin vào hợp đồng khi được kích hoạt hay không, bao gồm cả việc có mang tài sản hay không, trong trường hợp này, chi phí kích hoạt có thể sẽ thay đổi, bởi vì kích hoạt không mang thông tin là phí xăng nhiều hơn và sẽ không có chi phí bổ sung (có thể có lợi ích bổ sung, tùy thuộc vào hợp đồng), nhưng thông tin mang theo thường bao gồm một số chi phí bổ sung, đặc biệt là chi phí vận chuyển tài sản, ít nhất là chi phí rủi ro vốn cũng là một loại.Cuối cùng, liệu tính hợp lệ của trình kích hoạt có liên quan đến thời gian hay không

, tương quan càng lớn thì càng ảnh hưởng đến chiến lược kích hoạt, vì vậy, tương quan thời gian cũng là một biến số quan trọng mà người vận hành kích hoạt cần xem xét.Trong thiết kế DeFi, toán tử kích hoạt được định nghĩa là hành vi của bên thứ ba trong trò chơi, nghĩa là nó không được kích hoạt dựa trên hai bên trực tiếp của giao dịch, mà được hoàn thành bởi bất kỳ bên thứ ba nào và chủ yếu được sử dụng để thanh lý , mang lại câu hỏi thiết kế khuyến khích. Trong các kịch bản khác nhau, các ưu đãi khác nhau sẽ được thiết kế, đặc biệt là liệu có thêm hiệu ứng chi phí và thời gian thông tin hay không, vốn tạo nên các đặc điểm khác nhau của nhiều toán tử kích hoạt. Kích hoạt hoàn toàn dựa trên chi phí thông tin có thể là trường hợp người hưởng lợi cuối cùng là người khai thác, bởi vì đây là hành vi đấu giá và kích hoạt hiệu ứng thời gian có thể được thiết kế nhưđấu giá Hà Lan

cấu trúc, để phần lớn giá trị được sở hữu bởi trình kích hoạt thực sự. Nhưng cần lưu ý rằng việc ai sở hữu giá trị mang lại hai sự khác biệt: Thứ nhất là sự khác biệt về tốc độ thời gian và thứ hai là sự khác biệt về mức độ sẵn sàng tham gia, điều này có thể thấy trong các mô hình thanh lý DeFi khác nhau.Ngoài thanh lý, toán tử kích hoạt còn có một chức năng rất quan trọng, đó là tự động bảo hiểm rủi roCoFiX 2.0 , tại thời điểm này, ngành chưa được thực hành chuyên sâu, nghĩa là giá trị cốt lõi của toán tử kích hoạt chưa được khám phá sâu, có thể tìm thấy tronggiao thức phiên bản. Ngoài ra, các toán tử kích hoạt tạo thông tin hoặc tích cực đóng góp thông tin cũng là một loại ứng dụng, ví dụ: trong hệ thống NEST, dấu ngoặc kép cũng có thể được coi là một toán tử kích hoạt phức tạp. Tôi tin rằng mọi người có thể phát triển nhiều mục đích sử dụng hơn, không giới hạn ở việc thanh lý hiện tại.

Theo thời gian, toán tử kích hoạt sẽ trở thành toán tử đầu tiên trong chuỗi nắm bắt giá trị do tính phi tuyến tính và tính mở rộng của nó (thế chấp, giao dịch, v.v. đều là toán tử tuyến tính và không thể tích lũy giá trị).GAMEMột câu hỏi quan trọng hơn là liệu toán tử kích hoạt có thể tạo thành một? Vì mỗi toán tử kích hoạt tuân theo một "kịch bản" cụ thể, nên rất khó để hoàn thành các kịch bản khác nhau trong một hệ thống khuyến khích thống nhất, khác với Ethereum chỉ định lượng gas mà mỗi lệnh tiêu thụ, bởi vì đây là tiêu chuẩn hóa của các lệnh cơ bản, và sau đó ngược lại chọn cấu trúc hợp đồng, nếu GAME có một nhà điều hành kích hoạt độc lập, tương đương với việc yêu cầu các kịch bản kích hoạt khác nhau để thiết kế mô hình kích hoạt theo cùng một tiêu chuẩn để đảm bảo tính nhất quán của giá trị đầu vào và đầu ra. Điều này rất khó thực hiện trừ khi tất cả các hợp đồng được xây dựng theo cùng một tiêu chuẩn, nhưng đây cũng là một hướng nghiên cứu quan trọng:Kích hoạt có nên là điểm khởi đầu để phát triển hợp đồng thông minh không?

. Tại đây bạn có thể thử thảo luận:C=g+xCó ba loại chi phí cho các nhà khai thác kích hoạt, một là phí GAS g và hai là chi phí thông tin ròng x. Tổng chi phí của mỗi hoạt động làY0=F(V)và sau khi được đơn giản hóa thành TRÒ CHƠI, thu nhập của nó được thể hiện bằng một mã thông báo thống nhất, được ghi là Y. Cần lưu ý rằng cảnh có thể chứa các yếu tố thời gian, vì vậy hệ số thời gian t và hệ số cảnh s nên được chỉ định. Cuối cùng , toàn bộ hệ thống phải hoạt động bình thường , ai đó phải cung cấp giá trị V, nghĩa là phần thưởng cơ bản Y0 phải liên quan đến V:C=g+x，Y=stY0=st F(V)(Đặc biệt, không có yếu tố ngẫu nhiên nào ở đây và chúng đều là các biến xác định). Nếu tất cả các kịch bản được yêu cầu phải đối xứng và không có chênh lệch giá, thì F cần phải nhất quán và tuyến tính. Khi đó TRÒ CHƠI này có thể được biểu diễn dưới dạng, a thao tác C nhất định thu được Y, trong đó, từ công thức này, chúng ta có thể thấy rằng nếu không cần chênh lệch giá giữa các kịch bản, thì s phải đối xứng với tất cả các kịch bản, nếu không, nó sẽ xuất hiện trong sự cạnh tranh của g và bản thân t là tuyến tính, trong trường hợp này, là đầu ra của Y và C gần như thiết lập một mối quan hệ tuyến tính và không có khả năng hình thành các thuộc tính tự nâng cao, trong một hợp đồng hoàn toàn mở, nó có thể được sao chép 100%.

Từ phân tích trên, nếu toán tử kích hoạt trở thành một TRÒ CHƠI độc lập, thì phải giới thiệu một toán tử ngẫu nhiên.Tuy nhiên, với tư cách là một liên kết trong một trò chơi lớn, toán tử kích hoạt có thể có một số đặc điểm tự củng cố.Ví dụ: nó được sử dụng để phòng ngừa rủi ro và báo giá, bởi vì sẽ có những người tham gia khác đóng góp giá trị, nên các ưu đãi của nhà điều hành không hoàn toàn tuyến tính.

. Lấy NEST làm ví dụ, kích hoạt báo giá cần có chi phí, nhưng giá trị của NEST được xác định bởi người gọi và giá trị của người gọi không thiết lập mối quan hệ tuyến tính với việc khai thác NEST, dẫn đến thuộc tính tự gia cố của hệ thống NEST. Tương tự, các ưu đãi phòng ngừa rủi ro của CoFiX không hoàn toàn được xác định bởi các giao dịch phòng ngừa rủi ro, mà được xác định chung bởi giá trị của các giao dịch thông thường. Phần này không có mối quan hệ tuyến tính với các ưu đãi phòng ngừa rủi ro.Quay trở lại, trong công thức trên, cũng có thể thực hiện một số điều chỉnh, chẳng hạn như s không đối xứng, nhưng s cao hơn xuất hiện ngẫu nhiên hoặc F không tuyến tính, tương đương với việc kích thích một lượng lớn kích hoạt, loại thiết kế này Có thể mang lại một số cấu trúc phi tuyến mờ, do đó hình thành một số cân bằng đặc biệt, không thể tái tạo.Thiết kế này giống như một trò chơi giữa nhiều kịch bản, hoặc cảnh đánh bạc, không phản ánh tốt vai trò của yếu tố kích hoạt trong việc phục vụ các cảnh, cũng như không thấy loại cân bằng này có thể tạo ra những đặc tính độc đáo nào. Người ta cũng đề cập rằng các thuộc tính ngẫu nhiên có thể được thêm vào để loại bỏ nhược điểm của cấu trúc tuyến tính bị sao chép, nhưng nếu tính ngẫu nhiên được thêm vào, tất cả các toán tử tuyến tính có thể trở thànhmô hình xổ số

, chỉ hỗ trợ trò chơi giao dịch của những người tham gia nội bộ của nhà điều hành và không có giá trị ngoại sinh, vì vậy đây không phải là hướng đi mong muốn.Tóm tắt: Cấu trúc phi tuyến tính của toán tử kích hoạt có thể được kết hợp với các hợp đồng quy mô lớn để tạo thành một trò chơi không hợp tác tự củng cố nhất định với giá trị kinh tế đáng kể, nhưng nó không thể độc lập hoàn thành thiết kế TRÒ CHƠI và tích lũy giá trị.