Kích hoạt toán tử: Trò chơi và việc nắm bắt giá trị trong hợp đồng thông minh
Các toán tử kích hoạt đóng vai trò quan trọng trong hợp đồng thông minh. Khi logic bên trong hợp đồng thỏa mãn các điều kiện cụ thể cần thay đổi trạng thái, thường cần có các thao tác bên ngoài để kích hoạt. Điều này xuất phát từ bản chất của hợp đồng thông minh trong kiến trúc của Satoshi Nakamoto: mỗi thao tác đều là một cuộc đấu giá toàn cầu. Một số thiết kế cố gắng tự động hóa việc kích hoạt thường bỏ qua vấn đề trò chơi này, có thể dẫn đến rủi ro tấn công hoặc chênh lệch giá.
Hàm kích hoạt bản chất là một sự trao đổi phi tuyến dựa trên tiêu thụ GAS, chi phí mang thông tin và lợi ích thay đổi trạng thái. Do đặc điểm phi tuyến của nó, chúng ta cần suy nghĩ xem liệu có thể hình thành cơ chế tự gia tăng ở một số chiều nhất định và tích lũy giá trị hay không.
Các phép toán kích hoạt thường bao gồm ba khía cạnh:
Quyền hạn: Đối tượng kích hoạt có bị hạn chế hay không, chẳng hạn như việc trả nợ trong vay mượn được kích hoạt bởi bên vay, trong khi việc thanh lý có thể được kích hoạt bởi bất kỳ ai.
Thông tin mang theo: Khi kích hoạt có truyền thông tin hoặc tài sản đến hợp đồng hay không. Việc mang theo thông tin có thể làm tăng chi phí thêm.
Độ liên quan về thời gian: Tính hiệu lực của việc kích hoạt liên quan đến mức độ liên kết với thời gian, điều này sẽ ảnh hưởng đến chiến lược kích hoạt.
Trong thiết kế DeFi, toán tử kích hoạt thường được định nghĩa là hành vi của bên thứ ba, chủ yếu được sử dụng cho việc thanh lý. Điều này mang lại vấn đề thiết kế động lực. Trong các tình huống khác nhau sẽ thiết kế động lực khác nhau, đặc biệt là về chi phí thông tin và hiệu ứng thời gian. Kích hoạt chỉ dựa trên chi phí thông tin có thể dẫn đến việc thợ mỏ trở thành người hưởng lợi cuối cùng, trong khi kích hoạt dựa trên hiệu ứng thời gian có thể được thiết kế thành cấu trúc đấu giá Hà Lan, cho phép người kích hoạt thực sự nhận được phần lớn giá trị.
Các toán tử kích hoạt ngoài việc thanh lý còn có ứng dụng quan trọng, chẳng hạn như phòng ngừa tự động và đóng góp thông tin. Theo thời gian, các toán tử kích hoạt có thể trở thành toán tử đầu tiên trên chuỗi nắm bắt giá trị do tính phi tuyến và tính rộng rãi của chúng.
Tuy nhiên, việc xây dựng một tác nhân kích hoạt độc lập GAME đang đối mặt với thách thức. Các kịch bản khác nhau khó có thể hoạt động dưới một hệ thống khuyến khích thống nhất, điều này đòi hỏi tất cả các hợp đồng phải tuân theo cùng một tiêu chuẩn. Một mô hình khả thi là: C=g+x (C là tổng chi phí, g là phí GAS, x là chi phí thông tin ròng), Y=stF(V) (Y là lợi nhuận, s là hệ số kịch bản, t là hệ số thời gian, V là giá trị chuyển giao). Nhưng mối quan hệ tuyến tính này khó có thể hình thành tính tự tăng cường.
Các bộ kích hoạt được sử dụng trong một phần lớn của GAME nhưng có thể có tính năng tự tăng cường, chẳng hạn như được sử dụng để phòng ngừa rủi ro hoặc báo giá. Ví dụ, chi phí kích hoạt báo giá trong hệ thống NEST không có mối quan hệ tuyến tính với giá trị NEST, điều này mang lại cho hệ thống thuộc tính tự tăng cường.
Tóm lại, cấu trúc phi tuyến của toán tử kích hoạt có thể kết hợp với hợp đồng lớn, tạo thành trò chơi không hợp tác tự tăng cường, có giá trị kinh tế đáng kể. Nhưng nó khó có thể hoàn thành thiết kế GAME một cách độc lập và tích lũy giá trị. Một số sản phẩm hiện có gặp vấn đề về logic, trở thành hệ thống xổ số nội bộ. Trong tương lai, ứng dụng và thiết kế của toán tử kích hoạt vẫn còn nhiều không gian rộng lớn, xứng đáng được nghiên cứu và khám phá sâu.
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.
13 thích
Phần thưởng
13
7
Đăng lại
Chia sẻ
Bình luận
0/400
MevTears
· 07-25 10:25
Toàn bộ dựa vào Khoản vay nhanh để được chơi cho Suckers
Xem bản gốcTrả lời0
GasWaster
· 07-25 08:10
đã chi 4,2 eth cho các giao dịch thất bại trong tháng trước... vẫn đang tối ưu hóa các kích hoạt thật đáng thất vọng
Kích hoạt toán tử: Bắt giá trị và thiết kế trò chơi trong hợp đồng thông minh
Kích hoạt toán tử: Trò chơi và việc nắm bắt giá trị trong hợp đồng thông minh
Các toán tử kích hoạt đóng vai trò quan trọng trong hợp đồng thông minh. Khi logic bên trong hợp đồng thỏa mãn các điều kiện cụ thể cần thay đổi trạng thái, thường cần có các thao tác bên ngoài để kích hoạt. Điều này xuất phát từ bản chất của hợp đồng thông minh trong kiến trúc của Satoshi Nakamoto: mỗi thao tác đều là một cuộc đấu giá toàn cầu. Một số thiết kế cố gắng tự động hóa việc kích hoạt thường bỏ qua vấn đề trò chơi này, có thể dẫn đến rủi ro tấn công hoặc chênh lệch giá.
Hàm kích hoạt bản chất là một sự trao đổi phi tuyến dựa trên tiêu thụ GAS, chi phí mang thông tin và lợi ích thay đổi trạng thái. Do đặc điểm phi tuyến của nó, chúng ta cần suy nghĩ xem liệu có thể hình thành cơ chế tự gia tăng ở một số chiều nhất định và tích lũy giá trị hay không.
Các phép toán kích hoạt thường bao gồm ba khía cạnh:
Quyền hạn: Đối tượng kích hoạt có bị hạn chế hay không, chẳng hạn như việc trả nợ trong vay mượn được kích hoạt bởi bên vay, trong khi việc thanh lý có thể được kích hoạt bởi bất kỳ ai.
Thông tin mang theo: Khi kích hoạt có truyền thông tin hoặc tài sản đến hợp đồng hay không. Việc mang theo thông tin có thể làm tăng chi phí thêm.
Độ liên quan về thời gian: Tính hiệu lực của việc kích hoạt liên quan đến mức độ liên kết với thời gian, điều này sẽ ảnh hưởng đến chiến lược kích hoạt.
Trong thiết kế DeFi, toán tử kích hoạt thường được định nghĩa là hành vi của bên thứ ba, chủ yếu được sử dụng cho việc thanh lý. Điều này mang lại vấn đề thiết kế động lực. Trong các tình huống khác nhau sẽ thiết kế động lực khác nhau, đặc biệt là về chi phí thông tin và hiệu ứng thời gian. Kích hoạt chỉ dựa trên chi phí thông tin có thể dẫn đến việc thợ mỏ trở thành người hưởng lợi cuối cùng, trong khi kích hoạt dựa trên hiệu ứng thời gian có thể được thiết kế thành cấu trúc đấu giá Hà Lan, cho phép người kích hoạt thực sự nhận được phần lớn giá trị.
Các toán tử kích hoạt ngoài việc thanh lý còn có ứng dụng quan trọng, chẳng hạn như phòng ngừa tự động và đóng góp thông tin. Theo thời gian, các toán tử kích hoạt có thể trở thành toán tử đầu tiên trên chuỗi nắm bắt giá trị do tính phi tuyến và tính rộng rãi của chúng.
Tuy nhiên, việc xây dựng một tác nhân kích hoạt độc lập GAME đang đối mặt với thách thức. Các kịch bản khác nhau khó có thể hoạt động dưới một hệ thống khuyến khích thống nhất, điều này đòi hỏi tất cả các hợp đồng phải tuân theo cùng một tiêu chuẩn. Một mô hình khả thi là: C=g+x (C là tổng chi phí, g là phí GAS, x là chi phí thông tin ròng), Y=stF(V) (Y là lợi nhuận, s là hệ số kịch bản, t là hệ số thời gian, V là giá trị chuyển giao). Nhưng mối quan hệ tuyến tính này khó có thể hình thành tính tự tăng cường.
Các bộ kích hoạt được sử dụng trong một phần lớn của GAME nhưng có thể có tính năng tự tăng cường, chẳng hạn như được sử dụng để phòng ngừa rủi ro hoặc báo giá. Ví dụ, chi phí kích hoạt báo giá trong hệ thống NEST không có mối quan hệ tuyến tính với giá trị NEST, điều này mang lại cho hệ thống thuộc tính tự tăng cường.
Tóm lại, cấu trúc phi tuyến của toán tử kích hoạt có thể kết hợp với hợp đồng lớn, tạo thành trò chơi không hợp tác tự tăng cường, có giá trị kinh tế đáng kể. Nhưng nó khó có thể hoàn thành thiết kế GAME một cách độc lập và tích lũy giá trị. Một số sản phẩm hiện có gặp vấn đề về logic, trở thành hệ thống xổ số nội bộ. Trong tương lai, ứng dụng và thiết kế của toán tử kích hoạt vẫn còn nhiều không gian rộng lớn, xứng đáng được nghiên cứu và khám phá sâu.