比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

DEF:DeFi行業本質研究:觸發算子_Defina Finance

Author:

Time:1900/1/1 0:00:00

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

觸發算子的本質是什么?本質是一次基于GAS消耗+信息攜帶成本與狀態改變收益的交換,只是這一交換是非線性的。因為其非線性特征,是否可以在某種維度上形成自增強從而沉淀價值呢?這涉及到對觸發算子的仔細分析。

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

跨鏈DeFi協議Entangle測試網V1版本已上線:2月1日消息,跨鏈DeFi協議Entangle Protocol發推稱,Entangle測試網V1版本已上線,現已在Polygon、Fantom、Avalanche、BNB Chain、Optimism以及Arbitrum上推出。[2023/2/1 11:41:25]

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

BB:DeFi是一個故意違反KYC/AML法律的借口:Block.one首席執行官Brendan Blumer(BB)剛剛發推稱:“DeFi經常是一個故意違反KYC/AML法律的借口,但這一切都會戛然而止。兼容的可編程金融將從根本上改變我們的金融體系,取代低效的收費中間商,將更多的價值帶回最終用戶手中。”[2021/3/21 19:04:03]

觸發算子在清算之外,還有一個非常重要的功能,就是自動對沖,在這一點上,行業沒有深入實踐過,也就是觸發算子的核心價值并沒有深入挖掘,這一點可以參見?CoFiX2.0?版本協議。另外,創造信息或者主動貢獻信息的觸發算子也是一類應用,比如在NEST系統里,也可以把報價看成是一個復雜的觸發算子。我相信大家可以開發出更多用途,而不是局限于當前的清算。隨著時間推移,觸發算子因為其非線性及廣泛性,會成為鏈上第一個捕獲價值的算子。

DeFi項目總市值為132.76億美元,概念幣種9漲4跌:金色財經DeFi專區行情顯示,DeFi概念幣種24h行情 9漲4跌,24h漲幅前三為:BNT(+12.64%)、SNX(+6.84%)、LRC(+4.42%);跌幅前三為:AMPL(-3.31%)、LINK(-2.66%)、COMP(-1.18%)。DeFi項目總市值為132.76億美元,市值排名前五的代幣為:LINK(63.20億美元)、SNX(7.36億美元)、UMA(7.27億美元)、LEND(6.94億美元)、MKR(5.95億美元)。[2020/8/20]

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

幣贏將于7月18日19:00在DEFI專區上線MTV:據官方消息,幣贏將于7月18日19:00在DEFI專區上線MTV,并開通MTV/USDT交易對;據悉,MultiVAC是一個基于可信分片的彈性公鏈,也是專為大規模去中心化應用設計的下一代高性能區塊鏈平臺。MultiVAC正在開發一個快速、高效、全維度分片的解決方案,能夠有效實現計算、存儲和傳輸三個層面的擴容,在保證去中心化和不犧牲安全性的基礎上使吞吐量最大化。[2020/7/18]

觸發算子的成本包含三種,其一是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=stF(V),從這個公式看到,如果要求場景之間無套利,則s必須對所有場景對稱,否則會表現在g的競爭上,而t本身是線性的,在這種情況下,Y的產出和C幾乎建立了線性關系,不太可能形成自增強屬性,在完全開放的合約里,是可以100%被復制的。以上分析來看,觸發算子要變成一個獨立的GAME,必須引入隨機算子。

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

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

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

撰文?|?Banach

時間|?2021.01.27

出品?|NEST愛好者獲作者授權發布

Tags:DEFDEFIEFIGAMDefina FinancePEET DeFiDEFILANCER價格egame幣發行量

SHIB最新價格
EFI:觀察 | 近期機構投資者對加密行業的投資熱點和變化_reef幣前景如何

2020年,受新冠疫情影響,全球經濟的放緩成為不爭事實,加之不確定因素的存在,使得機構投資者爭相把目光投向了加密世界,整個加密資產行業的市值在2020年增加了3.3倍.

1900/1/1 0:00:00
EFI:DeFi保險賽道的一匹黑馬 : 原創型保險項目INS3正式上線 將重新定義保險領域_NINEFI幣

Ins3保險已經于1月29日上線火幣Heco鏈,成為火幣Heco鏈和conflux鏈首個原創保險項目,也是以太坊和DeFi史上第一個使用預言機作為償付標準的保險項目.

1900/1/1 0:00:00
LAYER:波卡需要 Layer2 嗎?_PlatonCoin

HydenAdams發了一則吐槽推特:"我想陳述一個事實,在UNISWAP上我們每天將有420k美金浪費于交易的gas費用,而這意味著,一年將有150M美金浪費在gas上,這不可笑,這是事實".

1900/1/1 0:00:00
區塊鏈:最高法規范區塊鏈證據,司法鏈將走向全國統一_銀行區塊鏈幣有什么用

本文來源:鏈新,作者:馮銘1月21日,最高人民法院發布《關于人民法院在線辦理案件若干問題的規定》.

1900/1/1 0:00:00
DEX:金色薦讀 | 這幾款小眾交易工具 值得 DEX 交易員收藏_Dextrust

金色薦讀|這幾款小眾交易工具值得DEX交易員收藏 金色薦讀 剛剛 522 近期Uniswap等DEX引起廣泛關注,且代幣價格不斷攀升。本文介紹一些交易工具,歡迎大家收藏.

1900/1/1 0:00:00
比特幣:觀察丨8大數據指標告訴你,目前還不是牛市的頂點_USD

前兩天,很多人看著DeFi概念幣和山寨幣一頓爆拉,紛紛感覺手里捏著的比特幣和以太坊突然就不香了,越看越來氣,甚至還想做空它。在微博和微信群,很多人直接把比特幣的價格看到了24000刀.

1900/1/1 0:00:00
ads