DeFi行業本質研究：觸發算子

為什么會有觸發算子？當合約內部邏輯滿足一定的條件時，需要改變合約狀態，這個時候合約不會自動實現，需要外部操作來觸發，這是由中本聰架構下智能合約本質決定的：每個操作都是一次全局拍賣。很多試圖將觸發自動化的設計，都沒有認真思考這個博弈的問題，如果強行進行排序，很有可能出現博弈衝突：攻擊/套利，更本質的說，存在對鏈上行為的佔優策略。

觸發算子的本質是什么？本質是一次基於 GAS 消耗 + 信息攜帶成本與狀態改變收益的交換，只是這一交換是非线性的（對規模而言）。因為其非线性特徵，是否可以在某種維度上形成自增強從而沉澱價值呢？這涉及到對觸發算子的仔細分析。

一般來說，觸發算子包含三種：是否含權，即觸發的對象是否是被限制，比如借貸雙方，還款的觸發肯定是借款方，而清算的觸發則可以是任何人；其次是觸發時是否攜帶信息到合約裏，包括是否攜帶資產，這種情況下，觸發成本很可能發生變化，因為不攜帶信息的觸發更多是 GAS 費用，不會有額外的成本（可能有額外收益，看合約而定），但攜帶信息一般包含一些額外的成本，特別是攜帶資產，至少資金風險成本也是一種。最後是觸發的有效性是否和時間相關，越是相關性大，越會影響觸發的策略，因此時間相關性也是觸發算子需要考慮的一個重要變量。

在 DeFi 設計中，觸發算子被定為為博弈的第三方行為，即：不是基於交易的直接雙方進行觸發，而是由任意第三方完成，並主要用於清算，這就帶來了激勵設計問題。不同的場景下，會設計不同的激勵，特別是是否加入信息成本和時間效應，這構成了很多觸發算子的差異特徵。完全基於信息成本的觸發，可能會出現最終受益人為礦工的情況，因為這是一種拍賣行為，而時間效應的觸發，則可以設計成荷蘭式拍賣結構，從而使得價值大部分為真實觸發者所有。但需要注意的是，價值歸誰所有帶來了兩個分歧，第一個是時間快慢的分歧，第二個是參與意愿的分歧，這個可以看看各類 DeFi 清算的模型。

觸發算子在清算之外，還有一個非常重要的功能，就是自動對衝，在這一點上，行業沒有深入實踐過，也就是觸發算子的核心價值並沒有深入挖掘，這一點可以參見 CoFiX 2.0 版本協議。另外，創造信息或者主動貢獻信息的觸發算子也是一類應用，比如在 NEST 系統裏，也可以把報價看成是一個復雜的觸發算子。我相信大家可以开發出更多用途，而不是局限於當前的清算。隨着時間推移，觸發算子因為其非线性及廣泛性，會成為鏈上第一個捕獲價值的算子（抵押、交易等都是线性算子，不能沉澱價值）。

一個比較重要的問題是，觸發算子能不能獨立構成一個 GAME ？由於每個觸發算子都跟隨一個具體的“場景”，不同的場景難以在一個統一的激勵系統下完成，這和以太坊指定每個指令消耗多少 GAS 不一樣，因為這種是先底層指令標准化，再逆向選擇合約結構，如果涉及一個獨立的觸發算子 GAME，就等於要求不同的觸發場景按照同樣的標准來設計觸發模型，保證輸入輸出價值的一致性，這是很難做到的，除非所有合約都在同一個標准下制定，不過這也是一個重要的研究方向：是否應該把觸發作為智能合約开發的出發點。這裏可以嘗試探討一下：

觸發算子的成本包含三種，其一是 GAS 費用 g，其二是信息淨成本 x，每一次操作的總成本為 C=g+x，而簡化成 GAME 後，其收益由統一的 token 表示，記為 Y，需要注意的是，場景可能包含時間因素，因此要賦予一個時間系數 t，以及場景系數 s，最後，整個系統要正常運轉，必須有人輸送價值 V，即基礎獎勵 Y0 應該和 V 相關：Y0=F(V)（特別提出的是，這裏沒有隨機因子，都是確定變量），如果要求所有場景對稱且無套利，則 F 需要一致且為线性，那可以將這個 GAME 表述成，某操作 C 獲得 Y，其中 C=g+x，Y=stY0=st F(V)，從這個公式看到，如果要求場景之間無套利，則 s 必須對所有場景對稱，否則會表現在 g 的競爭上，而 t 本身是线性的，在這種情況下，Y 的產出和 C 幾乎建立了线性關系，不太可能形成自增強屬性，在完全开放的合約裏，是可以 100% 被復制的。以上分析來看，觸發算子要變成一個獨立的 GAME，必須引入隨機算子。

但是觸發算子作為一個環節在某一個大的 GAME 裏，反而可能具備某種自增強的特性，比如用於對衝，用於報價，這裏面因為會有其它的參與方貢獻價值，從而使得算子激勵不完全线性。以 NEST 為例，觸發報價需要成本，但是 NEST 價值由調用者決定，調用者的價值並沒有和 NEST 出礦建立线性關系，這導致 NEST 系統具備自增強屬性。同樣 CoFiX 對衝的激勵並不是完全由對衝交易決定，而是由正常交易的價值共同決定，這一部分是沒有和對衝激勵建立线性關系。

回過來，在上面的公式裏，也可以做幾種修正，比如 s 並不是對稱的，但是較高的 s 隨機出現，或者 F 也不是线性的，這等於激勵大額的觸發，這一類設計有可能帶來一些模糊的非线性結構，從而形成一些特殊的均衡，並具備不可復制性。這種設計更多像是多種場景之間的博弈，或者說場景賭博，並不能很好反映觸發服務於場景的作用，也沒有看出此類均衡能創造出什么獨特的屬性。前面也提到可以加入隨機屬性來消除线性結構被復制的缺點，但是如果加入隨機性的話，一切线性的算子都可能變成了彩票模型，僅僅支持了算子內部參與者的交易型博弈，並沒有外生價值，不是可取的方向。

總結：觸發算子的非线性結構可以和大型合約結合，構成一定的自增強非合作博弈，並具備顯著的經濟學價值，但它並不能獨立的完成一個 GAME 的設計，並沉澱價值。從這個角度看，有些已有的產品，在邏輯上是存在問題的，做成了內部彩票系統。

撰文 | Banach

時間 | 2021.01.27

出品 | NEST愛好者（nestfans.com）獲作者授權發布

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。