区块链将为 AI 提升安全性、SNARK、帐户抽象_链圈子

加密创投 a16z 提出了七点明年加密产业发展的未来趋势判断，其中团队预测区块链可以为 AI 带来更多安全性、SNARK 、模组化、形式验证技术将迈入产业主流。

a16z 团队在年末预测未来一年加密产业可能的发展方向，可让读者快速理解产业动态与发展现况，为明年市场的变化做好准备。

AI+区块链

去中心化 AI 资源供给网路

a16z 认为去中心化的区块链是中心化的人工智慧的制衡力量。目前因为所需的运算和训练资料成本高昂，AI 模型只能由少数科技巨头进行训练和操作。

但如果有去中心化网路，就可以创建多边、全球性、无需许可的资源市场，任何人都可以人向网路贡献计算资源或资料集而获得奖励，这种长尾资源模式将使 AI 技术让一般人更容易获得。

区块链验证网路大量资讯

AI 科技使得深度造假诈骗盛行。 a16z 认为 AI 造成的资讯验证问题，同样可以使用加密技术来尝试解决。

除了可以利用区块链纪录来验证资讯的真实性，也可以利用分散式技术进行民主管理，确保最大化资讯的真实性，最终使消费者更加安全。

去中心化激励模型可控制 AI 运作

未来游戏与元宇宙的内容很可能会由人工智慧负责产出，因此游戏中的 AI 代理 (AI agent) 必须确保其会基于某些模型与方向运作，且不过程中会损坏游戏既有内容，否则游戏就会失去完整性。例如 AI 破坏原有游戏的平衡机制，或是不断新增重复的场景与剧情。

当人工智慧成为游戏规则制定者时，去中心化网路共识机制供了保障。

当人工智慧成为游戏制作者，故事、地形、敌人和逻辑都是程式生成时，人们会想知道这个游戏制作者是否可保持中立且正常运作，最好的情况是可以让游戏世界是被保证的，不会随意崩坏。

a16z 认为去中心化网路与代币经济可以提供的上述的保证机制。例如在 AI 出现问题时可以将 AI 代理所质押的代币取走作为惩罚，如同现在大多去中心化网路的共识机制，其实这就是激励模型的应用，也就是加密产业最擅长做的事情。

未来，或许可以让 AI 代理加入去中心化网路的激励模型，以经济诱因控制其行为。

重塑使用者体验

自 2016 年以来，加密领域的使用者体验基本上没有太大变化 (主流加密钱包还是长那样)。加密产品的使用仍然太复杂：保管私钥、将钱包与 DAPP 连接、签署交易等等。这超出了用户可以在几分钟内可以学习的东西。

近年开发者正在积极改善加密产品 UX 相关功能，包含：

• 密码金钥 (passkeys)：可以简化用户跨装置登入的过程，且由于金钥是自动加密生成的，比起传统用户设定密码的模式，在安全性上也更强；

• 智能合约帐户 (smart accounts)：使帐户本身可编程，因此可以进行更多操作并更易于用户管理；

• 嵌入式钱包 (embedded wallets)：内建于应用程式中，因此用户可以使用传统方式注册登入 (例如信箱注册)，可同时完成链上创立钱包，使登入流程更顺畅；

• MPC 钱包 (multi-party computation)：使得第三方更容易支援签名，无需托管用户金钥；

• 高阶 RPC 端点，可以智能化识别使用者意图要求是什么，并给予适当回应。

所有这些改进不仅有助于 Web3 变得更加主流，甚至可以让使用者体验比 Web2 更好、更安全。

模组化架构优势增强

单一架构区块链的优点是深度整合和最佳化，进而带来更高的效能，但仍有其上限。

不过开源的模组化技术堆栈，最大优势在于可以实现无需许可的创新，让参与者专业化并激励更多的竞争，更有弹性且多元的方式增加往效能。

链游经济模型持续优化

在过去 play to earn (P2E) 游戏设计中，通常会根据玩家玩游戏的时间和精力来赚取金钱，不过这一趋势正在改变。

游戏不是为了成为工作而设计的，至少对大多数玩家而言并非如此。市场真正需要的是既有趣又能让玩家创造价值的游戏。因此 a16z 团队认为 P2E 游戏将逐渐演变成 (R&E) play and earn，现有游戏仍会快速迭代并持续优化经济模型，让游戏和工作之间有更加明显的界线。

未来将会看到更多新形态的经济模型所打造的链游，或许连代币的概念都会消失。

形式验证变用于智能合约开发

形式验证 (Formal verification) 是一种开发技术，利用数学与理论模拟的方式来预测产品可能的错误与问题，在 IC 晶片等硬体系统设计很流行，不过对于软体开发者来说效益不高 (因为软体迭代修正很容易) 且技术要求过于复杂。

但 a16z 团队认为形式验证技术逐渐被市场用作智能合约的开发。智能合约有别于一般软体，布署后若没有后门程式码就无法修改，对于去中心化程度要求较高的协议更是如此，另一方面，主流的智能合约处理的资金高达数十亿美元，机乎无法承受任何技术性问题。

因此，形式验证等模拟技术开始被业界用作智能合约开发，预测合约可能的潜在问题，以形式验证方法取代过往的测试，以提升安全性。

在过去的一年里，市场出现了许多类似工具。例如 SMT solvers 利用智能合约的原子性与确定性执行作为基础，使用演算法识别合约逻辑中不该存在错误。

随着越来越多开发人员和安全专家采用形式化方法 (Formal methods) 的工具，可以预期未来的智能合约协议将更加强大，更不易遭受到骇客攻击。

NFT 成为品牌资产

越来越多的知名品牌以 NFT 的形式向消费者推出相关产品与行销方案。例如星巴克推出 Web3 忠诚度计划 (Starbucks Odyssey)，让顾客购物时能获得额外的商品与 NFT 奖励。

除了星巴克，Nike、Reddit、可口可乐、Louis Vuitton (LV) 都有开发相关数位收藏品 NFT，并明确用于向受众销售。

但 a16z 认为 NFT 其实可以为品牌做到更多，将不仅仅是将廉价 NFT 作为消费品进行销售。例如可使用 NFT 来代表客户身份和强化社群归属感；或者可以利用 NFT 与最忠实的品牌粉丝共同创造新产品和体验，增加品牌亲和力。

SNARK 成为主流

开发者过去主要采用以下策略，来验证资讯：

• 在可信任的机器上重新执行计算。
• 在专门用于该任务的机器上执行计算，又称为 TEE 可信任执行环境。
• 在可信赖的基础设施上执行计算，例如区块链。

这些手段在成本或网路可扩展性方面都有所限制，因此现在有许多开发者转向零知识证明 (ZKP) 中的 SNARK 技术。

SNARK 是简洁且非互动式零知识证明技术，借由提供经过加密的「收据」，让验证方可以在无需与加密方互动的情况下验证资讯，大幅提升验证效率，且由于加密方无法为造「收据」，因此没有信任假设问题。

a16z 特别提出此技术在明年会有所成长，是因为计算成本因技术突破，效率提高接近 1000 倍。因此在运算提供者可以承担成本且用户端无法重新执行或储存初始资料的情况下，SNARK 可能是适当的解决方案。例如 IoT 中的边缘设备可以验证升级、媒体编辑软体可以嵌入内容真实性和编辑历史资讯等等。

预测将延续今年技术发展热点

上述预测基本上大多是以技术面向切入的观点，也可以借此更加理解 a16z 团队重视的价值是什么，预期主流叙事仍在模组化、AI、零知识证明、帐户抽象领域所主导，延续今年技术热点。

除了技术面向，产品应用创新 a16z 团队则较少提及。链游的经济模型必定会更新、NFT 作为品牌资产也不是新鲜事。流动性质押、BRC20、DePIN 等应用是否能在 2024 持续发展团队没有提及。

2024 年不论彼特币价格如何，看还都有许多新的事情值得期待，Web3 产业仍在快速迭代，几乎每点预测都是近期快速发展的领域，明年必定也有许多上述没有涵盖的新创技术与产品领域出现。