原文：a16z推文
编译：Azuma
我们很高兴看到crypto社区出现了许多令人兴奋的新创意。在接下来的推文中，你将可以找到一些有助于你继续build的开发工具。
我们分享这些工具和概念证明的目的是向社区展示如何在开发、生产中使用那些最新的技术原语，并借更多开发者之手来加速这些技术原语的采用进程。
零知识证明方面
一、zk文档
zkDocs可以被理解一个支持零知识证明的在线文档工具。它允许共同参与某项工作流中的各方集体共享并验证信息，在不暴露特定标准的前提下确保信息符合特定标准。
开发人员：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]
a16z Crypto政策负责人：美SEC主席一直在监管方面“踢皮球”:金色财经报道，a16z Crypto 的政策负责人、前 CFTC 专员 Brian Quintenz 周五在2023共识大会中表示，美国证券交易委员会（SEC）主席 Gary Gensler 一直在监管方面“踢皮球”。他说：“我们已经看到SEC主席认为，除了比特币之外，所有加密货币都在他的管辖范围内，需要遵守他们的规则。一场地盘争夺战涉及两方（SEC和CFTC），而现在，我认为球场上的一方正在跑到另一端并开始‘踢皮球’，CFTC 在这场争夺战中失去了位置”。
Quintenz 表示需要立法解决方案，他说：“如果没有一个愿意接受该技术并制定适合该技术并以适当方式保护消费者的规则的监管机构，国会就必须介入”。[2023/4/29 14:34:17]
详细介绍：https://a?16?zcrypto.com/zkdocs-zero-knowledge-information-sharing/
元宇宙技术公司Improbable完成1.5亿美元融资 a16z等领投:4月7日消息，元宇宙技术公司Improbable完成1.5亿美元融资， a16z和软银愿景基金二期领投，Mirana、DCG、CMT、SIG和Ethereal Ventures等参投。
据了解，这笔资金主要用于建立由其 Morpheus 技术提供支持的可互操作元宇宙网络 M2 (MSquared)，该网络将允许公司、品牌和创作者在其网络内建立自己的元宇宙和 Web3 业务，组织涉及数千名玩家的社区的大规模体验，并提供与现有区块链和 Web3 业务的互操作性。[2022/4/7 14:10:49]
Github传送门：https://github.com/a?16?z/zkdocs
二、空投隐私保护工具
顾名思义，这是一个针对空投场景的隐私保护工具。我们创建该工具的目的是利用零知识证明来保护普通用户，通过改进空投时的隐私暴漏状况来提高安全性。
硅谷风投a16z投资合伙人：疫情可能成为揭示加密货币好处的催化剂:硅谷顶级风投机构Andreessen Horowitz（a16z）投资合伙人Max Skibinsky发文称，冠状病爆发可能成为一种催化剂，揭示自由主义解决方案和加密货币等技术的好处。?一旦我们摆脱了处理当前危机的迫切需要，加密学和去中心化相互交织的作用将在我们的社会中迅速增长。疫情过后的时间，将是加密学的第二个起源时刻，它将为许多垂直领域（例如教育、媒体）提供动力，转向分布式和去中心化的替代方案。（Cointelegraph）[2020/5/24]
动态 | Libra协会初创成员Stripe完成2.5亿美元融资 A16z和红杉资本参投:Facebook Libra协会初始成员Stripe宣布完成2.5亿美元新一轮融资，投资方包括知名风险投资公司红杉资本、General Catalyst和Andreessen Horowitz。截止目前，该公司融资总额已达12亿美元。Stripe公司表示，他们计划利用这笔最新融资加速全球业务发展，并且增加更多产品供应。[2019/9/20]
详细介绍：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
合约安全方面
一、ERC4626性能检测器
这是一个用于检测ERC4626下合约可执行性的工具，可帮助金库构建者检测那些有可能造成破坏或导致漏洞的违反标准行为。
详细介绍：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
二、无需信任的链上拍卖
这是“维克瑞拍卖”的链上实现。所谓“维克瑞拍卖”，是指所有竞拍者通过密封投标的方式竞价，出价最高的竞拍者获得拍品，并支付第二高的报价。
这套工具的基础原理是，以太坊的CREATE2操作码允许将竞价内容隐藏在区块链活动中。
详细信息：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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。