CRY:a16z：關于代幣設計的7點小建議

代幣是一種強大的新原語，可以用多種方式定義。代幣設計空間非常豐富，但我們仍處于探索的早期階段。實際上，許多團隊努力為他們的項目找到“正確的”代幣設計。但行業本就缺乏經過測試的設計框架，因此后人反復遭遇和前人同樣的挑戰。幸運的是，也有早期的成功的代幣設計的例子。大多數有效的代幣模型都有針對其目標的獨特元素，但大多數有缺陷的代幣設計都有一些常見的Bug。因此，本文將討論為什么我們應該考慮代幣的研究和設計，而不僅僅是“代幣經濟”，并列出了七項“避坑”小技巧。#1明確代幣設計的目標

代幣設計中最大的問題是在明確目標之前如何構建復雜的代幣模型。第一步應該是確定目標，并確保整個團隊能夠完全理解：它是什么，它為什么重要，你真正想要完成什么？未能嚴格定義目標通常會導致重新設計和浪費時間。明確目標還有助于避免“為設計代幣經濟而捏造出一個代幣經濟”的問題，這是某些代幣經濟設計的常見現象。此外，目標應該圍繞代幣本身進行，但這一點往往被忽視。明確目標的例子包括：設計一個代幣模型的游戲，該模型可實現最佳可擴展性和支持建模。一個DeFi協議希望設計一個代幣模型，在參與者之間合理分配風險。設計一個擔保金錢的信譽協議不能直接替代信譽。設計一個能夠保證文件在低延遲情況下可用的存儲網絡。設計一個能夠提供最大經濟安全性的質押網絡。設計一個能夠引出真正用戶偏好或最大參與度的治理機制。這樣的例子不勝枚舉。讓代幣可以支持任何用例和達到任何目標，而不是反其道而行。那么如何開始定義一個清晰的目標呢？明確定義的目標通常來自于“項目使命”。雖然“項目使命”往往是高層次和抽象的，但目標應該是具體的，并簡化為最基本的形式。讓我們以EIP-1559為例。Roughgarden對EIP-1559的一個明確目標表述：“EIP-1559應該在需求快速增長的時期之外，以‘明顯的最佳出價’的形式，通過簡單的費用估算來改善用戶體驗。”他接著提出了另一個明確的目標：“我們能否重新設計以太坊的交易費用機制，讓設定交易Gas價格更像在亞馬遜上購物般‘絲滑’？最理想的是價格發布機制，這意味著一種為每個用戶提供一個接受或放棄Gas價格的機制”。這兩個例子的共同點是陳述了一個高層次的目標，提供一個相關的類比來幫助其他人理解你的目標，然后繼續勾勒出最能支持這一目標的設計方案。#2根據基本原則評估現有工作

Matter Labs為a16z Crypto加速器計劃提供100萬美元資金支持:6月9日消息，zkSync 開發團隊 Matter Labs 宣布向 a16z Crypto 的 2023 Crypto Startup School 加速器計劃提供 100 萬美元資金支持，資金將直接用于在 zkSync Era 上進行開發的團隊。[2023/6/9 21:27:02]

在創造新事物時，從已有的東西下手研究是一個好主意。當你評估現有協議和現有文獻時，應根據其技術優點對其進行客觀評估。代幣模型通常根據代幣的價格或相關項目的受歡迎程度進行評估。這些因素可能與代幣模型實現其既定目標的能力無關。估值、受歡迎程度或其他評估代幣模型的簡單方法可能會導致Builder“多走彎路”。如果你假設其他代幣模型正常運行，而實際上它們不能正常運行，那么可能會創建一個“天生帶有缺陷”的代幣模型。#3闡明你的假設

明確表達你的假設。當你專注于構建代幣時，很容易將基本假設視為理所當然。也很容易錯誤地表達你真正做出的假設。以一個新協議為例，該協議假設其硬件瓶頸是計算速度。將該假設作為代幣模型的一部分可以幫助將設計與期望的行為保持一致。但是，如果協議和代幣設計者沒有明確表達他們的假設，或者他們表達的假設是錯誤的。那么意識到這種不匹配的參與者就有可能從協議中提取價值。黑客通常是那些比最初構建系統的人更了解系統的人。闡明你的假設可以讓人更容易地理解你的代幣設計并確保其正常運行。如果不明確你的假設，你也無法驗證你的假設。#4驗證你的假設

a16z Crypto已開源鏈上隱私投票系統Cicada:5月25日消息，a16z Crypto 已開源 Solidity 庫 Cicada，它利用時間同步問題（time-lock puzzle）和零知識證明實現鏈上隱私投票，保證了最小化信任假設，并且可以在以太坊主網上使用，隨后 Cicada 正式證明也即將推出。[2023/5/25 10:38:58]

有句話說：“不是你不知道的事情讓你陷入困境。而是你確信的事情并非如此。”代幣模型通常會做出一系列假設。這種方法部分來自拜占庭系統設計，這是區塊鏈的靈感來源。系統做了一個假設，并建立了一個函數，如果假設為真，則可以保證一定的輸出。例如，比特幣保證了同步網絡模型中的活動性，如果網絡中51%的哈希算力是誠實的，則保證一致性。幾個較小的區塊鏈遭到了51%的攻擊，違反了中本聰共識要求區塊鏈正常運行的誠實假設數量。代幣設計者可以通過多種方式驗證他們的假設。嚴格的統計建模，通常以基于代理的模型的形式，可以幫助測試這些假設。關于用戶行為的假設通常也可以通過與用戶交談來驗證，更好是通過觀察人們實際做了什么來驗證。這樣成功驗證的可能性較高，尤其是通過在沙盒環境中產生經驗結果的激勵測試網絡。正式的驗證或密集的審計也將有助于確保代碼庫按預期的方式運行。#5明確“抽象障礙”

元宇宙項目Creatora完成1000萬美元A輪融資，a16z領投:1月16日消息，元宇宙項目Creatora完成1000萬美元A輪融資，a16z領投，該筆資金致力于打造以Z世代為中心的元宇宙平臺。據悉，Creatora是一個用戶生成內容(UGC)元節引擎，使創作者能夠創建、分發和MetaFi游戲。

Creatora為用戶提供獨有的加密原生自治世界，其功能包括交叉播放和即時訪問。此外，平臺內所有建立在土地上的東西都是可交易的。這包括模型、游戲、API等。[2023/1/16 11:13:56]

“抽象障礙”是系統或協議的不同層次之間的界面。它用于分離系統的不同組件，允許獨立地設計、實現和修改每個組件。清晰的抽象障礙在所有工程領域，尤其是軟件設計領域都是有用的，但是對于去中心化開發和大型團隊構建個體無法理解的復雜系統來說更是必要的。在代幣設計中，清除抽象障礙的目標是最小化復雜性。減少代幣模型的不同組件之間的依賴關系可以產生更簡潔的代碼、更少的Bug和更好的代幣設計。舉個例子，許多區塊鏈都是由大型工程團隊構建的。一個團隊可能會對一段時間內的硬件成本進行假設，并用它來確定有多少礦工以給定的代幣價格為區塊鏈貢獻硬件。如果另一個團隊依賴代幣價格作為參數，但不知道第一個團隊對硬件成本的假設，他們很容易做出相互矛盾的假設。在應用程序層，明確的抽象障礙對于實現可組合性至關重要。隨著越來越多的協議相互組合，適應、構建、擴展和重新混合的能力只會變得越來越重要。更大的構成帶來更大的可能性，但也帶來更大的復雜性。當應用程序想要組合時，它們必須理解它們所使用的組合協議的細節。不透明的假設和界面偶爾會導致模糊的Bug，特別是在早期的DeFi協議中。模糊的抽象障礙還增加了處理協議不同組件的團隊之間所需的通信效率，從而延長了開發時間。模糊的抽象障礙也增加了協議的復雜性，使得很難完全理解其機制。通過創建明確的抽象障礙，代幣設計者可以更容易地預測特定的更改將如何影響代幣設計的每個部分。明確的抽象障礙也使擴展代幣或協議變得更容易，并創建一個更具包容性和擴展性的Builder社區。#6減少對外部參數的依賴

a16z自建媒體網站Future停更兩月面臨關閉，主要編輯人員已離職:12月2日消息，著名風投a16z自建媒體網站Future面臨關閉，主要編輯人員都已經離職，包括執行主編（前CNN編輯）Maggie Leung、4年前加入a16z的總編輯Amelia Salyers、密碼學編輯（前Decrypt資深編輯）Jeff Benson以及生物學編輯Nicole Neuman。

Future于2021年6月15日上線，同時發布20多篇文章，主題從創造者經濟到加密貨幣顛覆好萊塢的潛力。其最新文章《Why Applying Machine Learning to Biology is Hard – But Worth It》發表時間為2022年10月5日，已有將近2月未發表任何文章。據Similar Web估計，Future網站今年7月的訪問量約為130萬，到9月則下降至42.3萬。[2022/12/2 21:18:45]

外部參數不是系統固有的，但會影響整體性能和成敗，例如在代幣模型的創建初期的計算資源的成本、交易量或延遲。但當代幣模型僅在參數保持在有限范圍內時才起作用時，可能會出現意外行為。例如，一個出售服務并以固定代幣獎勵的形式提供回扣的協議，如果代幣的價格出乎意料地高，則代幣獎勵的價值可能大于服務的成本。在這種情況下，從協議中購買無限量的服務相當劃算，這會充分利用代幣獎勵和服務。或者再舉一個例子，去中心化網絡通常依賴于加密算法或計算難題，這些難題解決難度大，但并非不可能解決。難度通常取決于一個外生變量，比如計算機計算哈希函數或零知識證明的速度有多快。比如有一個協議，它假設計算給定哈希函數的速度有多快，并相應地支付代幣獎勵。如果有人發明了一種更快地計算哈希函數的新方法，或者只是擁有與他們在系統中的實際工作不成比例的超大資源來解決問題，他們就可以獲得意想不到的巨額代幣獎勵。#7重新驗證假設

a16z Crypto推出以太坊輕客戶端Helios:11月8日消息，據官網消息，a16z Crypto推出以太坊輕客戶端Helios，基于Rust語言進行編寫，在兩秒鐘內同步，不使用存儲，并提供對以太坊的無需信任的訪問，且其功能與全節點相同。Helios將數據從不受信任的集中式RPC提供程序轉換為可驗證安全的本地RPC。Helios與集中式RPC一起工作，可以在不運行完整節點的情況下驗證其真實性。[2022/11/8 12:30:56]

設計一個代幣應該像設計一個對抗系統一樣。用戶的行為將隨著代幣工作方式的改變而改變。一個常見的錯誤是在沒有確保任意用戶行為仍能產生可接受的結果的情況下調整代幣模型。不要認為用戶行為會因代幣模型的變化而保持不變。通常這種錯誤會在設計過程的后期發生，有人花了很多時間來定義代幣的目標，定義其功能，并進行驗證以確保其按預期運行。然后，他們確定了一個特例，并改變了代幣設計以適應它，但忘記了重新驗證整個代幣模型。通過修復一個特例，他們產生了另一個意想不到的后果。記住不要讓辛苦的工作白費，每當項目更改其代幣模型時，都要重新驗證它是否按預期運行。

Tags：CRYPTCRYCRYPCRYPTOCrypto Daily TokenEncryption AICAKECRYPT價格My Crypto Play

中幣