今日早间，a16zCrypto通过官方推特分享了一些该机构自己构建的工具及概念证明，内容涉及零知识证明、合约安全、权力下放等多个领域。从对象上来看，这些工具及概念主要面向的是那些在漫长熊市期间仍不倦耕耘的开发者，感兴趣的朋友们不妨上手一试。
以下为a16z推特全文，由Odaily星球日报编译。
我们很高兴看到crypto社区出现了许多令人兴奋的新创意。在接下来的推文中，你将可以找到一些有助于你继续?build的开发工具。
我们分享这些工具和概念证明的目的是向社区展示如何在开发、生产中使用那些最新的技术原语，并借更多开发者之手来加速这些技术原语的采用进程。
a16z将6750枚MKR转移至新地址:7月27日消息，据Lookonchain监测，a16z将6750枚MKR转移至新地址，价值约825万美元，或将再次进行抛售。[2023/7/27 16:02:26]
零知识证明方面
一、zk文档
zkDocs可以被理解一个支持零知识证明的在线文档工具。它允许共同参与某项工作流中的各方集体共享并验证信息，在不暴露特定标准的前提下确保信息符合特定标准。
详细介绍：https://a?16?zcrypto.com/zkdocs-zero-knowledge-information-sharing/
a16z Crypto的工程团队发布Halmos、Helios等开源工具:4月11日消息，a16z Crypto 首席技术官发推称其工程团队发布了开源工具，为加密生态系统中的开发人员、构建者和用户提供服务。其最新的六个库涉及： - 符号测试（Halmos） - 轻客户端（Helios） - 拍卖设计（Auction Zoo） - 私人空投（zkdrops） - 新社交网络（zkDocs） - 可信设置（evm-powers-of-tau）。[2023/4/11 13:57:15]
Github传送门：https://github.com/a?16?z/zkdocs
二、空投隐私保护工具
顾名思义，这是一个针对空投场景的隐私保护工具。我们创建该工具的目的是利用零知识证明来保护普通用户，通过改进空投时的隐私暴漏状况来提高安全性。
研究：A16z在区块链方面的投资占金融科技领域的22%:金色财经报道，CB Insights的研究显示，风投公司红杉资本和Andreessen Horowitz在2022年对金融科技的投资超过了其他任何类别。红杉去年总体上投资超过100笔。金融科技占该公司交易的近四分之一。在a16z去年参与的206笔交易中，近四分之一的交易对象是金融科技公司——高于其他任何行业。A16z去年在金融科技领域投资了49家公司，其三大金融科技投资目标是支付(28%)、区块链(22%)和数字贷款(12%)。[2023/2/27 12:30:56]
详细介绍：https://a?16?z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/
A16z不支持MakerDAO创始人的拆分计划:金色财经报道，A16z不同意MakerDAO创始人Rune Christensen将MakerDAO拆分为更小的单位的计划，并反驳其关于使Maker更加去中心化等论点。
据悉，Rune Christensen在5月公布MakerDAO被成为Endgame计划的路线图，目的是使该协议真正去中心化并抵抗政府任何潜在的过度扩张和审查。（CoinDesk）[2022/10/19 17:32:12]
Github传送门：https://github.com/a?16?z/zkp-merkle-airdrop-contracts
合约安全方面
一、ERC?4626性能检测器
这是一个用于检测ERC?4626下合约可执行性的工具，可帮助金库构建者检测那些有可能造成破坏或导致漏洞的违反标准行为。
Faraway完成近3000万美元融资，FTX、a16等参投:11月4日消息，初创游戏工作室Faraway表示，今年迄今为止已经筹集了近 3000 万美元融资，其中包括今年早些时候超过 800 万美元的种子轮（秘密筹集）以及新的 2100 万美元 A 轮融资，投资者包括加密货币交易所FTX、a16z、Lightspeed、Solana、Jump Capital、红杉资本和 Pantera Capital等。（Decrypt）[2021/11/4 6:32:04]
详细介绍：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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。