原文標題:7SanityChecksBeforeDesigningaToken
作者:GuyWuollet
編譯:Katie辜,Odaily星球日報
代幣是一種強大的新原語,可以用多種方式定義。代幣設計空間非常豐富,但我們仍處于探索的早期階段。
實際上,許多團隊努力為他們的項目找到“正確的”代幣設計。但行業本就缺乏經過測試的設計框架,因此后人反復遭遇和前人同樣的挑戰。幸運的是,也有早期的成功的代幣設計的例子。大多數有效的代幣模型都有針對其目標的獨特元素,但大多數有缺陷的代幣設計都有一些常見的?Bug。因此,本文將討論為什么我們應該考慮代幣的研究和設計,而不僅僅是“代幣經濟”,并列出了七項“避坑”小技巧。
#1?明確代幣設計的目標
代幣設計中最大的問題是在明確目標之前如何構建復雜的代幣模型。第一步應該是確定目標,并確保整個團隊能夠完全理解:它是什么,它為什么重要,你真正想要完成什么?未能嚴格定義目標通常會導致重新設計和浪費時間。明確目標還有助于避免“為設計代幣經濟而捏造出一個代幣經濟”的問題,這是某些代幣經濟設計的常見現象。
a16z Crypto的工程團隊發布Halmos、Helios等開源工具:4月11日消息,a16z Crypto 首席技術官發推稱其工程團隊發布了開源工具,為加密生態系統中的開發人員、構建者和用戶提供服務。其最新的六個庫涉及: - 符號測試(Halmos) - 輕客戶端(Helios) - 拍賣設計(Auction Zoo) - 私人空投(zkdrops) - 新社交網絡(zkDocs) - 可信設置(evm-powers-of-tau)。[2023/4/11 13:57:15]
此外,目標應該圍繞代幣本身進行,但這一點往往被忽視。明確目標的例子包括:
設計一個代幣模型的游戲,該模型可實現最佳可擴展性和支持建模。
一個?DeFi?協議希望設計一個代幣模型,在參與者之間合理分配風險。
設計一個擔保金錢的信譽協議不能直接替代信譽。
設計一個能夠保證文件在低延遲情況下可用的存儲網絡。
設計一個能夠提供最大經濟安全性的質押網絡。
a16z通過11個地址控制4150萬枚UNI,約占供應量的4.15%:2月6日消息,加密KOL Chris Blec發推表示,a16z使用其全部投票權重來反對Uniswap使用Wormhole跨鏈橋在BNBChain上啟動Uniswap協議的提議,a16z是Wormhole競爭對手Layer Zero的大投資者,幣安創始人趙長鵬轉推稱,“Uniswap由a16z控制?”。
此外趙長鵬還轉推區塊鏈數據公司Bubblemaps的推文,稱a16z可以通過11個地址控制4150萬枚UNI,占UNI供應量的4%以上(4.15%),這是通過任何提案所需的數量。[2023/2/6 11:49:20]
設計一個能夠引出真正用戶偏好或最大參與度的治理機制。
這樣的例子不勝枚舉。讓代幣可以支持任何用例和達到任何目標,而不是反其道而行。
那么如何開始定義一個清晰的目標呢?明確定義的目標通常來自于“項目使命”。雖然“項目使命”往往是高層次和抽象的,但目標應該是具體的,并簡化為最基本的形式。
a16z合伙人:不能因Web 3和加密新興技術存在缺陷就徹底限制:11月24日消息,a16z合伙人Chris Dixon在推特上發文表示,不能因為當前新興技術存在缺陷就反對新興技術發展,任何重要技術運動都需要經歷很多年時間過程,善意的批評可以改善技術,需要將“暫時出現的缺點”和“徹底限制”區分開,尤其是Web 3和加密,現在的確存在交易費用過高、能源消耗過大的問題,這是該新興技術的暫時缺陷,但出于不同發展階段,我們可以思考更多解決方案,但不能把“暫時缺陷”視為徹底否認新興技術的理由。[2021/11/24 7:08:49]
讓我們以?EIP-1559?為例。Roughgarden對EIP-1559?的一個明確目標表述:“EIP-1559?應該在需求快速增長的時期之外,以‘明顯的最佳出價’的形式,通過簡單的費用估算來改善用戶體驗。”
他接著提出了另一個明確的目標:“我們能否重新設計以太坊的交易費用機制,讓設定交易Gas?價格更像在亞馬遜上購物般‘絲滑’?最理想的是價格發布機制,這意味著一種為每個用戶提供一個接受或放棄?Gas?價格的機制”。
推特發言人Nick Pacilio將加入a16z,負責媒體關系:9月17日消息,推特發言人Nick Pacilio在推特任職7年后將離開推特,加入a16z并負責媒體關系。[2021/9/17 23:32:33]
這兩個例子的共同點是陳述了一個高層次的目標,提供一個相關的類比來幫助其他人理解你的目標,然后繼續勾勒出最能支持這一目標的設計方案。
#2根據基本原則評估現有工作
在創造新事物時,從已有的東西下手研究是一個好主意。當你評估現有協議和現有文獻時,應根據其技術優點對其進行客觀評估。
代幣模型通常根據代幣的價格或相關項目的受歡迎程度進行評估。這些因素可能與代幣模型實現其既定目標的能力無關。估值、受歡迎程度或其他評估代幣模型的簡單方法可能會導致?Builder“多走彎路”。如果你假設其他代幣模型正常運行,而實際上它們不能正常運行,那么可能會創建一個“天生帶有缺陷”的代幣模型。
#3闡明你的假設
明確表達你的假設。當你專注于構建代幣時,很容易將基本假設視為理所當然。也很容易錯誤地表達你真正做出的假設。
A16Z支持的工資支付平臺Deel宣布支持比特幣、以太坊和瑞波幣:在新冠病疫情期間,工資支付平臺Deel獲得了4400萬美元風險投資,最近該平臺宣布推出一款新工具,允許遠程工作的職員拿到以加密貨幣形式支付的工資。據Deel公司透露,通過與Coinbase合作,這款工資支付工具支持比特幣、以太坊和瑞波幣三種加密貨幣,而且可以“實時提現”,但前提是員工必須要有一個Coinbase賬戶。Deel公司成立于2018年,今年五月獲得硅谷知名投資公司Andreesen Horowitz(A16Z)領投1400萬美元A輪融資,五個月后又完成了一筆3000萬美元B輪融資,投資方是Spark Capital。(The Block)[2020/11/12 14:07:17]
以一個新協議為例,該協議假設其硬件瓶頸是計算速度。將該假設作為代幣模型的一部分可以幫助將設計與期望的行為保持一致。
但是,如果協議和代幣設計者沒有明確表達他們的假設,或者他們表達的假設是錯誤的。那么意識到這種不匹配的參與者就有可能從協議中提取價值。黑客通常是那些比最初構建系統的人更了解系統的人。
闡明你的假設可以讓人更容易地理解你的代幣設計并確保其正常運行。如果不明確你的假設,你也無法驗證你的假設。
#4驗證你的假設
有句話說:“不是你不知道的事情讓你陷入困境。而是你確信的事情并非如此。”
代幣模型通常會做出一系列假設。這種方法部分來自拜占庭系統設計,這是區塊鏈的靈感來源。系統做了一個假設,并建立了一個函數,如果假設為真,則可以保證一定的輸出。例如,比特幣保證了同步網絡模型中的活動性,如果網絡中?51%?的哈希算力是誠實的,則保證一致性。幾個較小的區塊鏈遭到了?51%?的攻擊,違反了中本聰共識要求區塊鏈正常運行的誠實假設數量。
代幣設計者可以通過多種方式驗證他們的假設。嚴格的統計建模,通常以基于代理的模型的形式,可以幫助測試這些假設。關于用戶行為的假設通常也可以通過與用戶交談來驗證,更好是通過觀察人們實際做了什么來驗證。這樣成功驗證的可能性較高,尤其是通過在沙盒環境中產生經驗結果的激勵測試網絡。正式的驗證或密集的審計也將有助于確保代碼庫按預期的方式運行。
#5?明確“抽象障礙”
“抽象障礙”是系統或協議的不同層次之間的界面。它用于分離系統的不同組件,允許獨立地設計、實現和修改每個組件。清晰的抽象障礙在所有工程領域,尤其是軟件設計領域都是有用的,但是對于去中心化開發和大型團隊構建個體無法理解的復雜系統來說更是必要的。
在代幣設計中,清除抽象障礙的目標是最小化復雜性。減少代幣模型的不同組件之間的依賴關系可以產生更簡潔的代碼、更少的?Bug?和更好的代幣設計。
舉個例子,許多區塊鏈都是由大型工程團隊構建的。一個團隊可能會對一段時間內的硬件成本進行假設,并用它來確定有多少礦工以給定的代幣價格為區塊鏈貢獻硬件。如果另一個團隊依賴代幣價格作為參數,但不知道第一個團隊對硬件成本的假設,他們很容易做出相互矛盾的假設。
在應用程序層,明確的抽象障礙對于實現可組合性至關重要。隨著越來越多的協議相互組合,適應、構建、擴展和重新混合的能力只會變得越來越重要。更大的構成帶來更大的可能性,但也帶來更大的復雜性。當應用程序想要組合時,它們必須理解它們所使用的組合協議的細節。
不透明的假設和界面偶爾會導致模糊的?Bug,特別是在早期的?DeFi?協議中。模糊的抽象障礙還增加了處理協議不同組件的團隊之間所需的通信效率,從而延長了開發時間。模糊的抽象障礙也增加了協議的復雜性,使得很難完全理解其機制。
通過創建明確的抽象障礙,代幣設計者可以更容易地預測特定的更改將如何影響代幣設計的每個部分。明確的抽象障礙也使擴展代幣或協議變得更容易,并創建一個更具包容性和擴展性的?Builder?社區。
#6?減少對外部參數的依賴
外部參數不是系統固有的,但會影響整體性能和成敗,例如在代幣模型的創建初期的計算資源的成本、交易量或延遲。
但當代幣模型僅在參數保持在有限范圍內時才起作用時,可能會出現意外行為。例如,一個出售服務并以固定代幣獎勵的形式提供回扣的協議,如果代幣的價格出乎意料地高,則代幣獎勵的價值可能大于服務的成本。在這種情況下,從協議中購買無限量的服務相當劃算,這會充分利用代幣獎勵和服務。
或者再舉一個例子,去中心化網絡通常依賴于加密算法或計算難題,這些難題解決難度大,但并非不可能解決。難度通常取決于一個外生變量,比如計算機計算哈希函數或零知識證明的速度有多快。比如有一個協議,它假設計算給定哈希函數的速度有多快,并相應地支付代幣獎勵。如果有人發明了一種更快地計算哈希函數的新方法,或者只是擁有與他們在系統中的實際工作不成比例的超大資源來解決問題,他們就可以獲得意想不到的巨額代幣獎勵。
#7?重新驗證假設
設計一個代幣應該像設計一個對抗系統一樣。用戶的行為將隨著代幣工作方式的改變而改變。
一個常見的錯誤是在沒有確保任意用戶行為仍能產生可接受的結果的情況下調整代幣模型。不要認為用戶行為會因代幣模型的變化而保持不變。通常這種錯誤會在設計過程的后期發生,有人花了很多時間來定義代幣的目標,定義其功能,并進行驗證以確保其按預期運行。然后,他們確定了一個特例,并改變了代幣設計以適應它,但忘記了重新驗證整個代幣模型。通過修復一個特例,他們產生了另一個意想不到的后果。
記住不要讓辛苦的工作白費,每當項目更改其代幣模型時,都要重新驗證它是否按預期運行。
原文:《EthereumL1zkEVM》 作者:Polynya 編譯:Kate,Marsbit似乎有一種普遍的誤解,認為以太坊只能通過L2進行擴展.
1900/1/1 0:00:00作者:Nancy,PANews加密行情動蕩之際,成立于2015年的加密交易所Bittrex宣布于5月9日在美國特拉華州申請破產,引發了市場恐慌和猜測.
1900/1/1 0:00:00DigitalCurrencyGroup發布關于針對Genesis提交調解動議的聲明稱,“在各方同意GenesisCapital向破產法院提交的全面和解之后的兩個月后.
1900/1/1 0:00:00Optimism生態去中心化永續合約協議PikaProtocol宣布將于5月23日22:00進行PIKA代幣生成活動,結束時間為5月26日22:00.
1900/1/1 0:00:00原文標題:《NavigatingtheDarkForest:UnravelingtheMysteriesoftheMEVMarketLandscape》 作者:Ali 編譯:深潮TechFlow.
1900/1/1 0:00:00作者:BladeDAO BladeDAO是由一群由加密原生degen玩家打造的,基于zkSyncEra的去中心化鏈上游戲生態系統.
1900/1/1 0:00:00