原文:《7SanityChecksBeforeDesigningaToken》byGuyWuollet
編譯:Sissi
代幣是一種非常強大的新型原語,可以通過多種方式定義;在文章「Tokenology:超越代幣經濟學」中已經闡述了為什么我們應該將代幣的研究和設計考慮得更廣泛,而不僅僅是“代幣經濟學”。
代幣為設計帶來了非常豐富的空間。但是我們仍處于探索代幣設計的早期階段,更不用說改進了。在這里,我們所追求的圣杯就是計算機科學家常常稱之為“龍書”的現代版。這本書指的是《編譯原理》,有時也可能指早期版本的該書或Aho和Ullman的早期作品《編譯器設計原理》。該書統一、定義并影響了幾代計算機科學家對編譯器設計的研究。它影響了許多人,以至于該書的兩位作者在幾年前被授予了ACM圖靈獎,其中一位是“為編程語言實現打下基礎的算法和理論”,另一位是“通過在他們的高度影響力的書籍中綜合這些結果和其他人的成果,教育了幾代計算機科學家”。
我們距離像編譯器設計領域里的“龍書”那樣的代表性著作還有很長的路要走,現在要編寫一本關于代幣的權威指南還為時過早。我們的研究主管TimRoughgarden指出,距離這個目標可能還需要十年左右的時間,這是一項長期的工作。在20世紀50年代,編譯器設計是一個非常復雜和混亂的計算機科學難題。《龍書》的出現,通過階段性應用嚴格的原則,幫助將這個問題轉化為了一個更好解決的問題。
a16z Crypto建議開發人員在部署ERC-4626前使用其編寫的標準屬性進行測試:10月28日消息,a16z Crypto編寫了代幣化資金庫標準(ERC-4626)的標準屬性,并針對約100個ERC-4626 Vault測試了該屬性,發現許多Vault未能遵循標準要求。
a16z Crypto表示,ERC-4626的創建旨在使協議整合更加容易,但調整現有Vault并不簡單,每一個ERC-4626 Vault都必須準確執行標準的描述要求,這種復雜性很可能導致安全漏洞。因此 a16z編寫了ERC-4626標準屬性以捕捉要求中容易被忽視的細節差異,建議開發人員在部署前進行測試以檢查潛在問題,Vault集成商也可以在將集成前檢查給定的Vault是否符合標準。
根據介紹,ERC-4626于3月正式推出,目前支持該標準的協議包括 Balancer、Maple Finance、Yearn Finance V3、Convex等。[2022/10/28 11:52:25]
但一些早期的機會和陷阱已經變得清晰起來了。因此,我認為,如果我整理一份我們團隊在與其他人進行代幣設計時經常討論的一些合理性檢查列表,那么這對于那些正在構建代幣的人將是有幫助的。我還鼓勵大家觀看EddyLazzarin最近關于代幣設計的演講,其中涵蓋了心理模型、常見模式和陷阱、當前代幣的功能以及許多尚未探索的設計空間。
a16z宣布向WeWork創始人新公司Flow投資3.5億美元:金色財經報道,a16z宣布向WeWork創始人新公司Flow投資3.5億美元,該公司旨在通過連接人們在他們的住宅周圍建立社區來顛覆當前的住宅房地產市場。[2022/8/15 12:26:45]
實際情況是,許多團隊試圖為自己的項目找到“正確”的代幣設計,但通常缺乏測試過的設計框架,因此遇到了其他人曾經遇到的相同挑戰。幸運的是,也存在早期的成功案例和“好”的代幣設計示例。最有效的代幣模型將具有與其目標獨特的元素,但大多數有缺陷的代幣設計都共享一些常見的缺陷。因此,這里列出了一些有用的提示,以避免最常見的失敗模式。
#1設定明確的目標
在設計代幣時最大的困難是在明確目標之前構建一個復雜的模型。沒有所謂的好代幣設計或壞代幣設計——只有實現你的目標的代幣設計或者沒有實現目標的代幣設計。
第一步應該始終是嚴謹地審視目標,并確保你充分理解它:是什么,為什么重要,你真正想要實現什么?沒有嚴謹地定義目標通常會導致重新設計和浪費時間。明確定義目標還有助于避免“為了代幣經濟而代幣經濟”的問題,這是對一些代幣設計的常見批評。
此外,目標應該針對代幣具體而言。這可能看起來很顯然,但經常被忽視。以下是一些具體的代幣目標示例:
a16z推出規模達45億美元的第四支加密基金:5月25日消息,a16z推出規模達45億美元的第四支加密基金Crypto Fund 4,其中約15億美元將用于種子投資,30億美元將用于風險投資,這使得其籌集的加密資金總額超過76億美元。
a16z將用這些資金在每個融資階段投資于有前途的Web3初創公司,目前對Web3游戲、DeFi、去中心化社交媒體、自我主權身份、Layer1和Layer2基礎設施、橋、DAO和治理、NFT社區、隱私、創造者經濟、可再生金融、ZK證明的新應用、去中心化內容和故事創作以及許多其他領域的發展感到興奮。
a16z還將繼續發展運營團隊,以便繼續為創始人提供最好的服務,其中運營職能包括研究和工程、安全性、人才管理、法律和監管、市場拓展。[2022/5/25 3:41:19]
一個游戲想要設計一個最佳的代幣模型,以實現可擴展性并支持模組化
一個DeFi協議想要設計一個最優的代幣模型,以在參與者之間分配風險
一個聲譽協議想要確保資金不能直接用于聲譽
一個存儲網絡想要保證文件低延遲可用
一個質押網絡想要提供最大的經濟安全
一個治理機制想要獲取真實偏好或最大參與度。……列表可以不勝枚舉。代幣可以支持任何用例和目標,而不是反過來
A16z發布第三代全新互聯網政策議程:金色財經報道,10月13日消息,a16z發布第三代互聯網政策議程,該議程將成為a16z全新Web3 Policy Hub的動態文件,同時為政府、學術界、民間社會和私營部門的領導者提供更多資源并致力于為網絡未來建立一個共同愿景。?A16z表示,過去十年教會我們需要一個積極的戰略來塑造技術,并且在開放社會中發揮作用,在這種情況下,Web3將會帶來一波全新的創新浪潮,政策制定者和監管機構可以利用 Web3 提供的工具來構建互聯網,從而更好地為社會釋放更多機會、保護數據、并且解決關鍵問題。?A16z已經開始努力確保這個新議程能夠運作,在過去幾周時間已經向參議院領導層提交了一封信函,旨在解決目前基礎設施法案中稅收條款的挑戰,此外a16z還發布了一個政策框架,概述了穩定幣在促進金融包容性方面的作用,另外也與參議院銀行委員會的每位成員分享了四項立法提案,以鼓勵政策制定者考慮周到、具體的方案去監管去中心化技術。由于 Web3 的廣度和影響,定義開明的政策和監管戰略是一項重要任務,任何單個組織都無法自行解決。A16z認為,現在是時候開始建立一個更好的互聯網了。[2021/10/13 20:26:46]
那么,如何開始明確目標呢?明確的目標通常來自于一份使命宣言。雖然使命宣言往往是高層次和抽象的,但目標應該是具體和簡化到最基本的形式。
a16z領投Celo網絡原生數字錢包Valora的2000萬美元融資:金色財經報道,Celo網絡原生的移動優先數字錢包Valora在Andreessen Horowitz (a16z) 領導的A系列融資中籌集了2000萬美元。Valora還宣布它將作為獨立于cLabs的獨立公司運營,后者是Celo生態系統背后的組織之一。根據該公司提供的數據,Valora是一款基于Celo平臺構建的移動點對點支付和匯款應用程序,在100多個國家或地區擁有53,000名月活躍用戶。[2021/7/28 1:19:04]
我們以EIP-1559為例。Roughgarden提出的EIP-1559的一個明確目標是:“EIP-1559應通過易于估算費用的優化方式,改善用戶體驗,使其在需求急劇上升時,能夠以‘顯而易見的最優出價’的形式存在。“
他還提出了另一個明確的目標:“我們是否可以重新設計以太坊的交易費用機制,使得設置交易的gas價格更像在亞馬遜購物?理想的情況是一個公布價格的機制,即為每個用戶提供一個接受或放棄的gas價格,以便在下一個區塊中包含。我們將看到...在EIP-1559中提出的交易費用機制就像一個公布價格的機制,除非需求大幅度增加。
這兩個例子共同之處在于:闡述了一個高層次的目標;提供了一個易于理解的類比,以幫助他人理解這個目標;然后繼續概述最好支持該目標的設計。
#2從第一原理出發評估現有工作
在創建新事物時,研究已經存在的東西通常是個好主意。當你評估現有協議和文獻時,應該客觀地從技術優劣的角度來評價它們。
代幣模型經常基于代幣價格或相關項目的受歡迎程度進行評估。這些因素可能與代幣模型實現其目標的能力無關。估值、受歡迎程度或其他單純的評估代幣模型的方法可能會讓構建者走入歧途。
如果你認為其它模型能夠正常工作,但實際上它們不能,那么你就可能會創建一個有缺陷的代幣模型。如果你為了不同的目標重新使用一個代幣模型,你可能會不經意地繼承不適合你的代幣模型的假設。
#3闡明假設
當你專注于構建一個代幣時,很容易將基本假設視為理所當然。你也很容易錯誤地表述你真正做出的假設。
讓我們以一個新協議為例,假設它的硬件瓶頸是計算速度。將這種假設作為代幣模型的一部分可以幫助將設計與期望的行為對齊。
但是,如果協議和代幣設計者沒有陳述他們的假設,或者他們陳述的假設是錯誤的,那么可能會有參與者意識到偏差并從協議中提取價值。“黑客”通常是那些比系統的設計者更了解系統的人。
闡述你的假設可以使人更容易理解你的代幣設計,并確保其正常工作。如果沒有明確表述你的假設,你也無法驗證你的假設……
#4驗證假設
俗話說,“讓你陷入麻煩的不是你不知道的,而是你肯定知道但并非如此的事情。”
代幣模型通常會做出一系列假設。這種方法部分源于拜占庭系統設計的歷史,作為區塊鏈的靈感來源。該系統做出假設,并構建一個函數,如果該假設成立,則保證一些輸出。例如:比特幣保證在同步網絡模型中的活躍性,并且如果網絡中的51%的哈希功率是誠實的,則保證一致性。有幾個較小的區塊鏈已經遭受了51%攻擊,違反了納克莫托共識對區塊鏈正確運行所需的誠實多數假設。
代幣設計者可以通過多種方式驗證他們的假設。嚴謹的統計建模,通常以Agent-Based建模的形式,可以幫助測試這些假設。有關人類行為的假設也經常通過與用戶交談并觀察人們實際做的事情來驗證,特別是通過激勵測試網絡在沙盒環境中生成實證結果。
正式驗證或密集審核也有助于確保代碼庫按預期運行。
#5定義清晰的抽象屏障
“抽象屏障”是系統或協議不同層次之間的接口。它用于分離系統的不同組件,使每個組件可以獨立設計、實現和修改。清晰的抽象屏障在所有工程領域特別是軟件設計中都很有用,對于分散式開發和大團隊構建復雜系統更是必要,因為單個人無法理解整個系統。
在代幣設計中,清晰的抽象屏障的目標是盡量減少復雜性。減少代幣模型不同組件之間的相互依賴性可以得到更干凈的代碼,更少的漏洞和更好的代幣設計。
例如,許多區塊鏈是由大型工程團隊構建的。一組可能會假設硬件成本隨時間變化而改變,并使用該假設來確定為特定代幣價格提供多少挖礦設備。如果另一組依賴于代幣價格作為參數,但不知道第一個團隊對硬件成本的假設,那么它們可能會做出沖突的假設。
不透明的假設和接口有時會導致難以發現的錯誤,特別是在早期的DeFi協議中。模糊的抽象屏障還通過增加協議不同組件的團隊之間的溝通來延長開發時間。模糊的抽象屏障還增加了整個協議的復雜性,使任何一個人都難以完全理解該機制。
通過創建清晰的抽象屏障,代幣設計者可以更容易地預測特定的更改將如何影響代幣設計的每個部分。清晰的抽象屏障還使擴展自己的代幣或協議更加容易,并創建一個更包容和廣泛的建設者社區。
#6減少對外部參數的依賴
在創建代幣模型時,經常會使用一些對于系統本身不是固有參數,但會影響整體性能和成功的外部參數,如計算資源的成本、吞吐量或延遲等。
在創建代幣模型時,經常會使用一些對于系統本身不是固有參數,但會影響整體性能和成功的外在參數,比如計算資源的成本、吞吐量或延遲等。
危險的是,當代幣模型僅在某些參數保持在有限范圍內時才能正常工作,就會出現意外行為。例如,考慮一個協議,它銷售某項服務并以一定數量的代幣獎勵形式提供返利:如果代幣價格意外飆升,代幣獎勵的價值可能會超過服務的成本。在這種情況下,從該協議購買無限數量的服務是有利可圖的,從而導致獎勵用盡或服務被完全利用。
再舉一個例子:去中心化網絡通常依賴于加密或計算難題,這些難題非常困難,但并非不可能解決。這些難題的難度通常取決于外部變量,比如計算機可以計算哈希函數或零知識證明的速度。想象一下一個協議,它假設能夠快速計算某個哈希函數的速度,并相應地支付代幣獎勵。如果有人發明了一種更快地計算該哈希函數的方法,或者只是擁有不成比例的巨大資源來解決該問題,他們就可以獲得意外的大量代幣獎勵。
#7重新驗證假設
設計一個代幣應該像設計一個對抗性系統那樣。假設系統中存在拜占庭行為。用戶的行為會隨著代幣運行方式的變化而發生改變。
設計者常犯的一個錯誤是在調整代幣模型時沒有確保任意用戶行為仍然能產生可接受的結果。不要假設用戶行為在代幣模型變化時會保持不變。這種錯誤通常發生在設計過程的后期:有人花費了大量時間定義代幣的目標、功能,并驗證其是否按預期工作。然后,他們識別出一個邊緣案例并調整代幣設計以適應它……但是忘記了重新驗證整個代幣模型。他們在解決一個邊緣案例時,可能會產生另一個意外后果。
不要讓辛苦的工作付之東流:每當項目更改其代幣模型時,請重新驗證它是否按預期工作。
Tags:ULTWEBWEB3VAULTadultchainweb3游戲項目價值排名web3游戲公司COLLECTIVE Vault (NFTX)
撰文:SmokeytheBera,Berachain聯創編譯:Leo,BlockBeats昨日,Layer1公鏈Berachain宣布完成了4200萬美元融資.
1900/1/1 0:00:00作者:CoindeskKirkPhillips編譯:比推BitpushNewsLinnLiu美國基礎設施和就業法案引入了對中心化加密貨幣交易所的“經紀人報告”規定,從而將數字資產有效地視為證券.
1900/1/1 0:00:00摘要:據澎湃新聞報道,社交媒體巨頭Meta公司當地時間4月26日公布今年第一季度財報,顯示其銷售額在近一年內首次增長.
1900/1/1 0:00:00AI繪畫的大模型和應用非常多,但最有名的非StableDiffusion和Midjourney莫屬,其中,尤其是Midjourney(以下簡稱MJ),僅11位成員.
1900/1/1 0:00:00在Coinbase推出基于OPStack的全新以太坊L2網絡Base之后,a16z也出手了。4月19日晚間,a16zCrypto宣布推出名為“Magi”的二層Rollup客戶端解決方案,無獨有偶.
1900/1/1 0:00:00繼備受期待的Shapella升級完成之后,以太坊正在飆升。比推終端數據顯示,按市值計算的第二大加密貨幣在過去24小時內上漲了近6%,盤中一度突破2,010美元,截至發稿時價格為2,009美元.
1900/1/1 0:00:00