今日早间，a16zCrypto通过官方推特分享了一些该机构自己构建的工具及概念证明，内容涉及零知识证明、合约安全、权力下放等多个领域。从对象上来看，这些工具及概念主要面向的是那些在漫长熊市期间仍不倦耕耘的开发者，感兴趣的朋友们不妨上手一试。
以下为a16z推特全文，由Odaily星球日报编译。
我们很高兴看到crypto社区出现了许多令人兴奋的新创意。在接下来的推文中，你将可以找到一些有助于你继续?build的开发工具。
我们分享这些工具和概念证明的目的是向社区展示如何在开发、生产中使用那些最新的技术原语，并借更多开发者之手来加速这些技术原语的采用进程。
Web3初创公司Halliday完成600万美元种子轮融资，a16z领投:8月5日消息，Web3初创公司Halliday完成600万美元种子轮融资，Andreesen Horowitz (a16z) 领投，Hashed、A.Capital、SV Angel等参投。
Halliday联合创始人Griffin Dunaif表示，Halliday为游戏玩家提供了“现在玩，以后付款（play now, pay later）”的选择。Halliday 的目标是让游戏内购买和NFT所有权证明对那些可能因游戏中NFT的高价而恼火的游戏玩家来说更加实惠和方便。Halliday让玩家可以访问游戏内的NFT市场。在不离开游戏的情况下，玩家可以选择他们想要的数字收藏品并直接购买，或者与Halliday达成付款计划。（Decrypt）[2022/8/5 12:03:29]
零知识证明方面
一、zk文档
a16z推出专用于游戏初创公司的6亿美元基金:5月18日消息，a16z推出一项6亿美元的基金，专用于游戏初创公司，以加大对Web3技术的押注。a16z表示游戏基础设施和技术是构建元宇宙的关键，因此该基金将投资一系列游戏服务和应用程序，以及为元宇宙构建技术的公司。（华尔街日报）[2022/5/18 3:26:01]
zkDocs可以被理解一个支持零知识证明的在线文档工具。它允许共同参与某项工作流中的各方集体共享并验证信息，在不暴露特定标准的前提下确保信息符合特定标准。
详细介绍：https://a?16?zcrypto.com/zkdocs-zero-knowledge-information-sharing/
a16团队成员等提出新的MakerDAO代币经济模型提案:金色财经报道，据MakerDAO论坛公告，a16z团队成员与RIpplewoodAdvisors成员@luca_pro共同提出新的MakerDAO代币经济模型提案。重点包括：（1）通过链下融资结构中的额外资本缓冲为MKR代币创建新用例；建立二级计息保险基金，作为二级盈余缓冲的补充层；对MakerDAO中的某些拍卖实施支持MKR的激励措施。（2）通过新的MKR质押奖励系统，提升投票参与度和一致性；为核心单位提供更大的运营灵活性，减少投票要求；通过社区拨款创建新的MakerDAO治理仪表板。以及（3）增加系统盈余缓冲等。[2022/3/24 14:14:22]
Github传送门：https://github.com/a?16?z/zkdocs
二、空投隐私保护工具
顾名思义，这是一个针对空投场景的隐私保护工具。我们创建该工具的目的是利用零知识证明来保护普通用户，通过改进空投时的隐私暴漏状况来提高安全性。
a16z启动4亿美元种子基金以扩展新技术:8月27日消息，据风险投资公司Andreessen Horowitz（a16z）最新公告显示，他们将推出一个价值4亿美元的种子基金。该风投表示，种子投资长期以来一直是VC核心，是对创业团队、创业想法的真正投资押注。今年六月，a16z推出22亿美元的加密基金，专注于投资加密网络和数字资产行业的创业团队，目前该风投在加密基础设施、DAO、DeFi和NFT等垂直领域都有投资。凭借最新推出的种子基金，该公司将扩大其他“机会网络”，并与技术领域里有雄心勃勃想法的顶级团队一起学习。（blockworks）[2021/8/28 22:42:36]
a16z将Autonomous Partners创始人提升为加密基金普通合伙人:金色财经报道，据官方消息，Andreessen Horowitz（a16z）宣布将Autonomous Partners创始人Arianna Simpson提升为其最新的加密基金普通合伙人。
此前消息，自3月起，Simpson作为交易合伙人加入Andreessen Horowitz（a16z）加密团队。[2021/7/20 1:03:29]
详细介绍：https://a?16?z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/
Github传送门：https://github.com/a?16?z/zkp-merkle-airdrop-contracts
合约安全方面
一、ERC?4626性能检测器
这是一个用于检测ERC?4626下合约可执行性的工具，可帮助金库构建者检测那些有可能造成破坏或导致漏洞的违反标准行为。
详细介绍：https://a?16?zcrypto.com/generalized-property-tests-for-erc?4626-vaults/
Github传送门：https://github.com/a?16?z/erc?4626-tests
二、可更改型智能合约检测器
这是一种用来检测可更改型智能合约的工具，可抵御通过改变智能合约内容而发起的攻击。
部分智能合约在部署之后依旧可被更改，意味着开发者可以随时更改其中的代码，这对用户构成了严重威胁。本工具的作用就是允许任何人轻松检测一个特定的智能合约是否存在更改可能。
工具链接：https://metamorphic.a?16?zcrypto.com/
去中心化&权力下放
一、以太坊轻客户端Helios
这是一个基于rust语言的以太坊轻客户端，有助于进一步推动以太坊的去中心化。Helios提供了对以太坊区块链的完全无信任访问，且无需存储历史交易信息，需要时仅需?2秒即可完成数据访问。
详细信息：https://a?16?zcrypto.com/building-helios-ethereum-light-client/
Github传送门：https://github.com/a?16?z/helios
二、无需信任的链上拍卖
这是“维克瑞拍卖”的链上实现。所谓“维克瑞拍卖”，是指所有竞拍者通过密封投标的方式竞价，出价最高的竞拍者获得拍品，并支付第二高的报价。
这套工具的基础原理是，以太坊的?CREATE?2操作码允许将竞价内容隐藏在区块链活动中。
详细信息：https://a?16?zcrypto.com/hidden-in-plain-sight-a-sneaky-solidity-implementation-of-a-sealed-bid-auction/
Github传送门：https://github.com/a?16?z/auction-zoo
三：可信化设置
我们开源了一个代码库，允许任何人在以太坊链上实施Kate-Zaverucha-Goldberg和powers-of-tau?“仪式”。
详细信息：https://a?16?zcrypto.com/on-chain-trusted-setup-ceremony/
Github传送门：https://github.com/a?16?z/evm-powers-of-tau
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。