今日早间，a16z?Crypto通过官方推特分享了一些该机构自己构建的工具及概念证明，内容涉及零知识证明、合约安全、权力下放等多个领域。从对象上来看，这些工具及概念主要面向的是那些在漫长熊市期间仍不倦耕耘的开发者，感兴趣的朋友们不妨上手一试。
以下为?a16z?推特全文，由Odaily星球日报编译。
我们很高兴看到crypto社区出现了许多令人兴奋的新创意。在接下来的推文中，你将可以找到一些有助于你继续?build的开发工具。
我们分享这些工具和概念证明的目的是向社区展示如何在开发、生产中使用那些最新的技术原语，并借更多开发者之手来加速这些技术原语的采用进程。
a16z、区块链协会均致函质疑美SEC拟议的收紧加密货币托管规则:5月9日消息，美国证券监管机构提出的一项收紧加密货币托管规则的提议遭到了至少两名业内支持者的反对。5月8日，加密行业倡导机构区块链协会（Blockchain Association）向SEC提交了一封信，批评其修改其监管规则的提议。3天前，Web3风险投资基金Andreessen Horowitz(a16z)也发出了一封类似的信函。区块链协会政策律师Marisa Tashman Coppel于5月8日在推特上表示，SEC拟议的规定将“大幅减少对数字资产的投资”，并声称以目前的形式，该规定是“非法的”。在信中，区块链协会提供了十几个单独的论据来反驳SEC。在其他声明中，它表示该规则超出了SEC权限，将禁止顾问与加密货币交易所进行交易，并使投资者的资产面临更大的风险。同一天，a16z总法律顾问Miles Jennings在推特上发布了其致SEC的信函，称该公司“没有含糊其词”，并称SEC的提议是“对加密货币发动战争的误导和明显的企图。”a16z在其信中详述了与区块链协会类似的论点，但更侧重于其对注册投资顾问的影响，即顾问将被禁止使用加密货币，并且这些规则可能违反SEC对此类公司的注意义务。[2023/5/9 14:51:45]
零知识证明方面
a16z Crypto推出以太坊轻客户端Helios:11月8日消息，据官网消息，a16z Crypto推出以太坊轻客户端Helios，基于Rust语言进行编写，在两秒钟内同步，不使用存储，并提供对以太坊的无需信任的访问，且其功能与全节点相同。Helios将数据从不受信任的集中式RPC提供程序转换为可验证安全的本地RPC。Helios与集中式RPC一起工作，可以在不运行完整节点的情况下验证其真实性。[2022/11/8 12:30:56]
一、zk文档
zkDocs可以被理解一个支持零知识证明的在线文档工具。它允许共同参与某项工作流中的各方集体共享并验证信息，在不暴露特定标准的前提下确保信息符合特定标准。
a16z：零知识证明保护去中心化和隐私，将取得一系列进展:4月15日消息，a16z发文《去中心化的速度：零知识证明的进步》表示，随着区块链吸引了数以百万计的用户，并且它们所承载的应用程序的复杂性不断提高，围绕隐私和可扩展性的两个关键需求已经出现。需要识别的一个关键趋势是，虽然正在为其中许多应用开发专用硬件，但也有一项运动正在优化消费者级硬件的算法，以保护去中心化和隐私。这一趋势的一个特别好的例子是零知识证明。
我们目前正处于一个非常早期的时刻，零知识证明计划将取得一系列进展。我们已经从零知识领域中极少数面向消费者的应用程序，发展到在很短的时间内为隐私和可扩展性提供应用程序和区块链的整个生态系统。像这样的新技术最令人兴奋的一点是，很难预测另一面到底是什么样子。[2022/4/15 14:27:35]
详细介绍：https://a?16?zcrypto.com/zkdocs-zero-knowledge-information-sharing/
a16z领投Mem Protocol的310万美元融资:金色财经报道，想要创建Web3.0版Quora的初创公司Mem Protocol刚刚在由a16z领投的新一轮融资中筹集了310万美元。据悉，Mem协议于2021年5月推出，寻求通过去中心化架构改善现有社交媒体服务。该公司首先将发布一个类似于Quora的问答应用程序。[2021/11/18 21:58:54]
Github传送门：https://github.com/a?16?z/zkdocs
二、空投隐私保护工具
顾名思义，这是一个针对空投场景的隐私保护工具。我们创建该工具的目的是利用零知识证明来保护普通用户，通过改进空投时的隐私暴漏状况来提高安全性。
a16z已投资至少32个加密初创公司和相关协议:2月2日，The Block发文更新硅谷顶级风投a16z的加密投资版图。根据其披露，截至目前，a16z的活跃投资组合包括至少32个加密初创公司和协议，横跨11个垂直领域。[2021/2/2 18:42:49]
详细介绍：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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。