原文作者：GuyWuollet
原文标题：7SanityChecksBeforeDesigningaToken
原文来源：a16z
编译：Yvonne，MarsBit
代币是一种功能强大的新原语，可以通过多种方式进行定义；我在这里讨论了为什么我们应该考虑代币的研究和设计，而不仅仅是“代币经济学”。
代币显然允许非常丰富的设计。但我们仍处于探索的早期阶段，更不用说改进代币设计了。这里要达到的圣杯将是计算机科学家通常所说的“theDragonBook”的现代版本。这本书指的是《编译器：原理、技术和工具》（作者：AlfredAho、MonicaLam、RaviSethi和JeffreyUllman；有时也可以参考该书的早期版本或Aho和Ullman的旧作《编译器设计原理)》—统一、定义并影响了几代计算机科学家对编译器设计的研究。就在几年前，两位作者因为“编程语言实现的基础算法和理论”以及“在他们极具影响力的书籍中综合了这些结果和其他人的结果，这些结果教育了一代又一代的计算机科学家”而获得了ACM图灵奖。我们距见到代币设计的“theDragonBook”还很远——现在就代币制定明确的文本还为时过早。我们的研究负责人TimRoughgarden指出，虽然我们距离这一目标可能还有不到十年的时间，但这是一项持续的工作。因为DragonBook帮助将1950年代“难以置信的混乱”、庞大的大型计算机科学问题——编译器设计——变成了一个更容易解决的问题，可以分阶段解决，在每个阶段应用严格的原则。
a16z过去24小时向SolidLizard和Solidly V2两个协议注入资金:金色财经报道，据链上分析师@0xsurferboy在社交媒体上发布的数据显示，a16z在过去24小时内一直在向SolidLizard和Solidly V2两个协议注入资金。1天前，a16z的投资组合中SolidLizard的锁定资金为200万美元，Solidly为0美元，就在约14小时前，a16z买入并在WETH-USDC池中又增加了150万美元，APR为58%-145%，695枚SLIZ被锁定，APR约为130%。而在大约4小时前，a16z又向USDC-USDT Solidly V2池中增加了520万美元，这一系列操作迅速将SolidLizard锁仓量推升到6030万美元并跻身Arbitrum链上锁仓量排名前十，而一周前SolidLizard锁仓量仅为1200万美元，目前增幅达到400%。[2023/2/20 12:18:00]
但一些早期的机会和陷阱已经变得清晰起来——所以我认为，如果我整理了一份清单，列出我们团队在与其他人合作进行代币设计时经常讨论的一些合理性检查，将会对建设者有所帮助。我还鼓励你观看EddyLazzarin最近关于代币设计的演讲，其中涵盖心智模型、常见模式和陷阱、当前代币功能以及许多有待探索的设计领域。
a16z创始人：比特币创新“基本上停止发展”，将重点关注以太坊:金色财经报道，a16z 创始人 Marc Andreessen 在最新接受采访时表示，比特币虽然是一种技术创新，但“基本上已停止了发展”，他现在将目光投向了以太坊并认为以太坊将会成为转型核心。Marc Andreessen 解释说：“现在最大的项目是以太坊，不是比特币，或者我会说是加密货币或 Web3 而不是比特币。Web3 中可以开展业务、可以获利、可以进行交易并获得信任，随着区块链技术突破，我们现在知道该怎么做，现在已拥有能够做到这一点的技术基础。”（blockworks）[2023/2/9 11:57:31]
实际情况是，许多努力为其项目寻找“正确”代币设计的团队往往在没有经过测试的设计框架的情况下工作——因此遇到了与其他人相同的挑战。幸运的是，也有早期的成功和“好的”代币设计的例子。最有效的代币模型将具有其目标所特有的元素，但大多数有缺陷的代币设计都有许多常见的陷阱。因此，这里有一个指导性提示列表，可以避免最常见的错误模式。
1.设立一个明确的目标
代币设计中最大的痛苦来自于，在尚未明确说明目标之前就构建一个复杂的模型。没有好代币模型或坏代币模型一说——只有一个代币模型是否可以实现你的目标。
消息人士：a16z联合创始人或会因Web3投资冲突离开Meta董事会:3月25日消息，消息人士称，由于对Web3投资的利益冲突，a16z联合创始人Marc Andreessen可能会离开Meta (Facebook) 董事会。该消息人士表示：如果Andreessen在接下来的几个月内离开Meta，我不会感到惊讶，一位熟悉此事的消息人士表示，Meta已经开始建设或收购多个与元宇宙、NFT、社交、金融、娱乐相关的web3项目，并指出这可能与a16z的“加密帝国”产生利益冲突。据悉，Marc Andreessen自2008年以来一直在Facebook的董事会任职。（Business Insider）[2022/3/25 14:17:32]
第一步应该是严格审视目标，并确保你完全理解它：它是什么，它为什么重要，你真正想要完成什么？未能严格定义目标通常会导致重新设计和浪费时间。明确定义目标还有助于避免“为了代币经济学而进行代币经济学”的问题，这是对某些代币设计的常见批评。
此外，目标应该特定于代币。这似乎很明显，但经常被忽视。此类目标的示例包括：
一款希望能够最好地实现可扩展性和支持封装的代币模型的游戏。
一个DeFi协议，想要设计一个代币模型，在参与者之间最佳地分配风险。
a16z合伙人Chris Dixon：Twitter或Discord这样的消息服务应建立在开源协议上:金色财经报道，a16z合伙人Chris Dixon在推特上发文称，诸如Twitter或Discord这样的消息服务应建立在开源协议上，就像电子邮件E-mail一样。但是，也许有人会问，建立在开源协议上的消息服务如何盈利呢？Chris Dixon认为，如今在开源的SMTP协议（当然还有HTTP协议）上已经构建了数千亿美元的业务，因此不用担心盈利问题；对于“出现类似垃圾邮件和其他坏事情”这个问题，Chris Dixon表示，与 SMTP 和 HTTP 开源协议一样，我们有合法的系统，加上合规提供者（gmail 等）可以过滤（但由于用户转换成本低而被限制变坏）。还有人质疑，既然开源协议这么好，为什么这么多年没有奏效呢？Chris Dixon解释说，对于最终可行的技术，大多数人都会有这样的想法。实际上，如今互联网已经有许多创新工具了，比如在互联网上出现了新的存储信息方法，可以让用户控制信息而不是由企业控制信息，也有利用开放协议来募集资金的创新方法。[2021/12/1 12:42:30]
一个希望保证文件低延迟可用的存储网络。
一个希望提供最大经济安全性的质押网络。
一种希望带来最大参与度的治理机制。
GameFi游戏公会A16完成100万美元种子轮融资:据官方消息，GameFi游戏公会A16公会获得100万美元种子轮融资，投资机构包括想象力基金、科银资本、红链资本、水木未名、DeFi七点钟资本、北方资本、天水资本、极豆资本等。
此外，Yohero与游戏公会A16达成合作协议。A16公会将在Yohero游戏上线后提供20万活跃用户，向Yohero核心社区用户提供账户租赁及代打服务，用户可在Yohero社区向A16公会运营人员提出租赁申请。[2021/9/24 17:03:06]
……这个名单可以继续下去。代币可以支持任何用例和目标——而不是相反。
那么你如何开始定义一个明确的目标？明确定义的目标通常来自愿景。虽然愿景往往是虚无缥缈和抽象的，但目标应该是具体的并简化为最基本的形式。
让我们以EIP-1559为例。Roughgarden将EIP-1559的目标表述得最好:“EIP-1559应该在需求快速增长的时期之外，以‘明显的最佳出价’的形式，通过简单的费用估算来改善用户体验。”
他继续提出了另一个明确的目标：“我们能否重新设计以太坊的交易费用机制，让设置交易的gas价格更像是在亚马逊上购物？理想的是发布价格机制，这意味着一种机制为每个用户提供一个接受或放弃的gas价格以包含在下一个区块中。我们会看到……EIP-1559中提出的交易费用机制就像一个定价机制，除非需求突然大量增加……”
这两个例子的共同点是陈述了一个高层次的目标；提供相关的类比以帮助其他人理解该目标；然后着手概述最能支持该目标的设计。
2.根据基本原则评估现有模型
在创造新事物时，研究已经存在的事物总是一个好主意。当你评估现有协议和现有资料时，你应该根据它们的技术优点客观地评估它们。
代币模型通常根据代币的价格或相关项目的受欢迎程度进行评估。这些因素可能与代币模型满足其既定目标的能力无关。估值、受欢迎程度或其他评估代币模型的幼稚方法可能会使构建者误入歧途。
如果你假设其他代币模型正常运行，而它们却不能正常运行，那么你就会创建一个有瑕疵的代币模型。如果你用不同的目标重新使用一个代币模型，你可以隐含地继承那些对你的代币模型没有意义的假设。
3.阐明猜想
明确阐述你的猜想。当你专注于构建代币时，很容易将基本猜想视为理所当然。也很容易不正确地阐明你真正的猜想。
让我们以一个假设其硬件瓶颈是计算速度的新协议为例。使用该假设作为代币模型的一部分——例如，通过限制参与协议所需的硬件成本——可以帮助使设计与期望的行为保持一致。
但是，如果协议和代币设计者没有陈述他们的猜想——或者他们陈述的猜想是错误的——那么意识到不匹配的参与者就有可能从协议中提取价值。“黑客”通常是比最初构建系统的人更了解系统的人。
阐明你的猜想可以更容易地理解你的代币设计并确保它正常工作。如果不阐明你的猜想，你也无法验证你的猜想……
4.验证猜想
俗话说：让你陷入麻烦的，不是你不知道的事，而是你自以为知道、其实错误的事。”
代币模型通常会做出一组假设。这种方法部分来自拜占庭系统设计的历史，作为区块链的灵感来源。系统做出假设并构建一个函数，如果假设为真，则可以保证一定的输出。例如：比特币保证同步网络模型的活性，如果网络中51%的算力是诚实的，则保证一致性。几个小型区块链遭到51%的攻击，这违反了中本聪共识对区块链正常运行的假设，即多数节点诚实。
代币设计者可以通过多种方式验证他们的猜想。严格的统计建模可以帮助检验这些猜想。关于人类行为的假设通常也可以通过与用户交谈来验证，更好的是，通过观察人们实际做了什么。这是可能的，尤其是通过在沙盒环境中产生经验结果的激励测试网。
形式验证或密集的审计也将有助于确保代码库按预期运行。
5.定义明确的抽象障碍
“抽象障碍”是系统或协议不同层次之间的接口。它用于分离系统的不同组件，允许每个组件独立设计、实现和修改。明确的抽象障碍在所有工程领域都有用，尤其是软件设计，但对于分布式开发和构建单人无法理解的复杂系统的大型团队来说更是必要的。
在代币设计中，明确抽象障碍的目标是将复杂性降至最低。减少代币模型的不同组件之间的依赖性会带来更清晰的代码、更少的错误和更好的代币设计。
举个例子：许多区块链是由大型工程团队构建的。一个团队可能会随着时间的推移对硬件成本做出假设，并使用它来确定有多少矿工以给定的代币价格为区块链贡献硬件。如果另一个团队依赖代币价格作为参数，但不知道第一个团队对硬件成本的假设，他们很容易做出相互矛盾的猜想。
在应用层，清晰的抽象障碍对于实现可组合性至关重要。随着越来越多的协议相互组合，匹配、构建、扩展和重新混合的能力只会变得越来越重要。更大的组合会带来更大的可能性，但也会带来更大的复杂性。当应用程序想要组合时，它们必须了解它们所组合的协议的细节。
不透明的假设和接口偶尔会导致模糊的错误，尤其是在早期的DeFi协议中。晦涩的抽象障碍也延长了开发时间，因为它增加了不同团队在沟通协议组件方面的沟通时间。模糊的抽象障碍也增加了协议的整体复杂性，使任何一个人都难以完全理解该机制。
通过创建清晰的抽象障碍，代币设计者可以更轻松地预测特定更改将如何影响代币设计的每个部分。确的抽象障碍还可以更容易地扩展代币或协议，并创建一个更具包容性和扩张性的开发者社区。
6.减少对外生参数的依赖
外生参数不是系统固有的，但会影响整体性能和成功——例如计算资源的成本、吞吐量或延迟——通常用于创建代币模型。
危险的是，当代币模型仅在参数保持在有限范围内时才起作用，可能会出现意外行为。例如，思考一个出售服务并以固定代币奖励形式提供回扣的协议：如果代币价格出乎意料地高，则代币奖励的价值可能大于服务成本。在这种情况下，从协议中购买无限量的服务是有利可图的，这会导致奖励用完或服务被充分利用。
或者再举一个例子：去中心化网络通常依赖于密码学或计算难题，这些难题很难解决，但并非不可能解决。这些难题的难度通常取决于外生变量——比如计算机计算哈希函数或零知识证明的速度。想象一个协议，它假设计算给定哈希函数的速度有多快，并相应地支付代币奖励。如果有人发明了一种新方法来更快地计算该哈希函数，或者只是拥有超大资源来解决与他们在系统中的实际工作不成比例的问题，他们可以获得意想不到的巨额代币奖励。
7.重新验证猜想
设计代币应该像设计对抗系统一样。假设拜占庭式的行为。用户的行为将随着代币工作方式的改变而改变。
一个常见的错误是，在不确保用户行为仍会导致可接受结果的情况下，调整自己的代币模型。不要假设用户行为会随着代币模型的变化而保持不变。通常这个错误发生在设计过程的后期：有人花了很多时间来定义代币的目标、功能，并进行验证以确保它按预期工作。然后他们确定一个边缘案例并改变代币设计以适应它……但忘记重新验证整个代币模型。通过修复一个边缘案例，他们造成了另一个意想不到的后果。
不要让辛勤工作付之东流：每当项目更改代币模型时，都要重新验证它是否按预期工作。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。