今日早间，a16zCrypto通过官方推特分享了一些该机构自己构建的工具及概念证明，内容涉及零知识证明、合约安全、权力下放等多个领域。从对象上来看，这些工具及概念主要面向的是那些在漫长熊市期间仍不倦耕耘的开发者，感兴趣的朋友们不妨上手一试。
以下为a16z推特全文，由Odaily星球日报编译。
我们很高兴看到crypto社区出现了许多令人兴奋的新创意。在接下来的推文中，你将可以找到一些有助于你继续?build的开发工具。
我们分享这些工具和概念证明的目的是向社区展示如何在开发、生产中使用那些最新的技术原语，并借更多开发者之手来加速这些技术原语的采用进程。
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]
零知识证明方面
一、zk文档
zkDocs可以被理解一个支持零知识证明的在线文档工具。它允许共同参与某项工作流中的各方集体共享并验证信息，在不暴露特定标准的前提下确保信息符合特定标准。
a16z Crypto上线“加密创业学校CSS23”教育视频:金色财经报道，a16z Crypto在其官推宣布已正式上线 “加密创业学校CSS23”教育视频，其中覆盖了量子区块链、Web3拍卖、零知识证明基础、以及创始人分享等主题。a16z Crypto从2020年2月开始CSS加速器计划，会为Web3新创公司量身定做，提供来自a16z基金的资金、加密产业创办人指导与各领域专家的讲座，同时加入a16z的资源网路，利于扩展公司规模，包括Phantom、Flashbots等知名团队都出自CSS，并募集了超过3亿美金的风险投资。[2023/6/4 11:56:24]
详细介绍：https://a?16?zcrypto.com/zkdocs-zero-knowledge-information-sharing/
开发人员：a16z Crypto链上隐私投票系统Cicada“尚未对高风险现实世界用例做好准备”:5月28日消息，a16z Crypto本周宣布开源链上隐私投票系统Cicada，旨在以太坊区块链上利用时间同步问题（time-lock puzzle）和零知识证明实现链上隐私投票，保证最小化信任假设。
a16z Crypto开发人员Michael Zhu在社交媒体表示，Cicada现有的链上投票功能“尚未对高风险现实世界用例做好准备”，同时引用以太坊联合创始人Vitalik Buterin关于区块链投票的文章称“区块链投票在不知情的人中被高估，但在知情人中被低估”，不过Michael Zhu认为相关问题未来可以得到解决。[2023/5/28 9:46:57]
Github传送门：https://github.com/a?16?z/zkdocs
a16z领投Golden完成4000万美元B轮融资:金色财经报道，加密货币公司Golden完成4000万美元的B轮融资，迄今为止融资总额已达到6000万美元。本轮融资由a16z领投，Solana联合创始人Raj Gokal、Dropbox联合创始人Arash Ferdowsi、Postmates创始人Bastian Lehmann和Muse主唱Matt Bellamy等参投。新资金将用于构建一个Web3数据平台，目前该平台正处于测试网络阶段，预计将于2023年第二季度上线主网。（The Block）[2022/10/4 18:39:06]
二、空投隐私保护工具
顾名思义，这是一个针对空投场景的隐私保护工具。我们创建该工具的目的是利用零知识证明来保护普通用户，通过改进空投时的隐私暴漏状况来提高安全性。
Azra Games完成1500万美元融资，a16z领投:金色财经报道，P2E游戏工作室Azra Games完成1500万美元融资，a16z领投，FX、Coinbase Ventures、Play Ventures 和 Franklin Templeton参投，据悉a16z是通过昨天刚刚推出的加密游戏基金投资的这家公司。Azra 将利用这笔最新融资扩大旗下 24 人的团队，专注于游戏产品、开发和品牌建设，该公司将在未来几个月内发布第一款具有游戏化功能的 PFP 游戏。[2022/5/19 3:28:44]
详细介绍：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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。