今日早间，a16z?Crypto通过官方推特分享了一些该机构自己构建的工具及概念证明，内容涉及零知识证明、合约安全、权力下放等多个领域。从对象上来看，这些工具及概念主要面向的是那些在漫长熊市期间仍不倦耕耘的开发者，感兴趣的朋友们不妨上手一试。
以下为?a16z?推特全文，由Odaily星球日报编译。
我们很高兴看到crypto社区出现了许多令人兴奋的新创意。在接下来的推文中，你将可以找到一些有助于你继续?build的开发工具。
我们分享这些工具和概念证明的目的是向社区展示如何在开发、生产中使用那些最新的技术原语，并借更多开发者之手来加速这些技术原语的采用进程。
Messari：第二季度Filecoin活跃交易量环比增长64%:7月14日消息，Messari发布2023年第二季度Filecoin报告，
1. Filecoin第二季度活跃交易量环比增长64%；
2. 由于存储容量环比下降12%，存储利用率从第一季度的约 4% 增长到第二季度的近 8%；
3. 协议费用收入在2013年第二季度增长91%，达到250万FIL(以美元计算增长67%，达到1150万美元)；
4. Filecoin虚拟机 (FVM) 带来了包括流动性质押、永久存储和去中心化计算等新用例。[2023/7/14 10:55:45]
零知识证明方面
一、zk文档
zkDocs可以被理解一个支持零知识证明的在线文档工具。它允许共同参与某项工作流中的各方集体共享并验证信息，在不暴露特定标准的前提下确保信息符合特定标准。
蔡钟辉：证监会明白Web3.0带来的机遇但同时会警惕潜在风险:金色财经报道，香港证监会中介机构部临时主管蔡钟辉表示，证监会明白Web3.0带来的机遇，并完全支持使用新技术在香港提供金融服务和产品，但同时会警惕潜在风险，且坚定不移地保护投资者和市场诚信，以将香港建立成Web 3.0和虚拟资产的首要枢纽。（东网）[2023/4/16 14:06:50]
详细介绍：https://a?16?zcrypto.com/zkdocs-zero-knowledge-information-sharing/
Github传送门：https://github.com/a?16?z/zkdocs
数藏平台藏鲸灵获百万级天使投资:金色财经报道，据“藏鲸灵”公众号，数字藏品平台开发商上海藏鲸灵信息科技有限公司宣布获得百万级天使轮投资，将着力打造价值数字藏品平台。据公开资料显示，该公司主要以非同质化技术为基础，结合数藏产品与公益活动、IP版权、赋能传统艺术品、品牌营销、元宇宙应用等技术。[2022/12/20 21:55:52]
二、空投隐私保护工具
顾名思义，这是一个针对空投场景的隐私保护工具。我们创建该工具的目的是利用零知识证明来保护普通用户，通过改进空投时的隐私暴漏状况来提高安全性。
详细介绍：https://a?16?z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/
三菱日联进军元宇宙:11月9日消息，最近，全球领先的金融服务集团、日本最大的银行机构之一三菱日联金融集团宣布了进军元宇宙的计划，他们与全日空(ANAHoldings)即将推出的数字平台展开合作。根据预测数据，名为ANAGranwhale的元宇宙平台预计于2023年投入使用，用户基数约为3800万。该平台将让玩家通过虚拟化身在3D世界中漫游，还可以与不同的商店互动，并在数字世界中生活。三菱日联、全日空、日本财产保险集团（SOMPO）计划探索在元宇宙中开展业务的可能性，并将研究与元宇宙相关的法律法规。三菱日联希望让其用户能够使用该平台的服务，Sompo也希望能够为在元宇宙中进行的交易提供保险方案。[2022/11/9 12:38:44]
Github传送门：https://github.com/a?16?z/zkp-merkle-airdrop-contracts
合约安全方面
数据：21595枚ETH从未知钱包转移到Bitfinex:金色财经报道，WhaleAlert监测数据显示，21595枚ETH（26,838,390美元）从未知钱包转移到Bitfinex。[2022/10/13 14:26:26]
一、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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。