今日早间，a16z Crypto 通过官方推特分享了一些该机构自己构建的工具及概念证明，内容涉及零知识证明、合约安全、权力下放等多个领域。从对象上来看，这些工具及概念主要面向的是那些在漫长熊市期间仍不倦耕耘的开发者，感兴趣的朋友们不妨上手一试。
以下为 a16z 推特全文，由 Odaily 星球日报编译。
我们很高兴看到 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]
zkDocs 可以被理解一个支持零知识证明的在线文档工具。它允许共同参与某项工作流中的各方集体共享并验证信息，在不暴露特定标准的前提下确保信息符合特定标准。
Web3初创公司Halliday完成600万美元种子轮融资，a16z领投:8月5日消息，Web3初创公司Halliday完成600万美元种子轮融资，Andreesen Horowitz (a16z) 领投，Hashed、A.Capital、SV Angel等参投。
Halliday联合创始人Griffin Dunaif表示，Halliday为游戏玩家提供了“现在玩，以后付款（play now, pay later）”的选择。Halliday 的目标是让游戏内购买和NFT所有权证明对那些可能因游戏中NFT的高价而恼火的游戏玩家来说更加实惠和方便。Halliday让玩家可以访问游戏内的NFT市场。在不离开游戏的情况下，玩家可以选择他们想要的数字收藏品并直接购买，或者与Halliday达成付款计划。（Decrypt）[2022/8/5 12:03:29]
社交协议Farcaster完成3000万美元融资，a16z领投:7月13日消息，去中心化社交协议 Farcaster 完成 3000 万美元融资，本轮融资由 a16z 领投，Standard Crypto、Elad Gil、1confirmation、Scalar Capital、First Round Capital、Volt Capital、A Capital、Todd and Rahul's Angel Fund、Coinbase Ventures、Mischief、Ansa Capital、Haystack、Ribbit Capital、Chapter One、Multicoin Capital 、Offline Ventures、Archetype、Canonical Crypto、Proof Group、Floodgate、Balaji Srinivsasan、6529、Ray Tonsing 等参投。Farcaster 已发布协议和客户端初始版本，正在开发 Farcaster v2 中，并计划在今年晚些时候推出。[2022/7/13 2:09:14]
详细介绍：https://a 16 zcrypto.com/zkdocs-zero-knowledge-information-sharing/
区块链组织NEU获得a16z的250万美元的TRIBE委托，用于Fei投票治理:3月23日消息，由学生主导的区块链组织NEU宣布获得风险投资公司a16z的250万美元的TRIBE委托，NEU将和TribeDAO成员算法稳定币协议Fei Protocol、稳定币DeFi智能投顾Rari Capital、Volt Capital、跨链货币市场解决方案Midas Capital一起参与Fei改进建议治理。
NEU是a16z大学代表团计划中的众多合作伙伴关系之一，该计划通过让学生有机会进一步推进众多DeFi协议的开发来推动权力下放。[2022/3/23 14:13:14]
Github 传送门：https://github.com/a 16 z/zkdocs
二、空投隐私保护工具（Privacy-protecting Airdrops）
顾名思义，这是一个针对空投场景的隐私保护工具。我们创建该工具的目的是利用零知识证明来保护普通用户，通过改进空投时的隐私暴漏状况来提高安全性。
a16z合伙人Chris Dixon：区块链是可以做出承诺的计算机:12月18日消息，a16z合伙人Chris Dixon发推表示，“区块链比传统计算机慢”是事实，这是在性能和对用户和开发者做出长期承诺之间的权衡。区块链是可以做出承诺的计算机，它和不能做出承诺的计算机（谷歌/AWS服务器）之间的性能差距将随着时间的推移而缩小。区块链的一个了不起的特点是，任何人都可以不经许可加入，并成为网络中的矿工/验证者。但我们也需要一些系统来筛选参与者，以避免垃圾邮件/攻击。因此，有了工作量证明和权益证明。[2021/12/18 7:47:43]
详细介绍：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 Property Tests）
这是一个用于检测 ERC 4626 （一套用于代币化金库的标准）下合约可执行性的工具，可帮助金库构建者检测那些有可能造成破坏或导致漏洞的违反标准行为。
详细介绍：https://a 16 zcrypto.com/generalized-property-tests-for-erc 4626-vaults/
Github 传送门：https://github.com/a 16 z/erc 4626-tests
二、可更改型智能合约检测器（Metamorphic Smart Contract Detector）
这是一种用来检测可更改型智能合约的工具，可抵御通过改变智能合约内容而发起的攻击。
部分智能合约在部署之后依旧可被更改，意味着开发者可以随时更改其中的代码，这对用户构成了严重威胁。本工具的作用就是允许任何人轻松检测一个特定的智能合约是否存在更改可能。
工具链接：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
二、无需信任的链上拍卖（Trustless, on-chain Auctions）
这是“维克瑞拍卖（Vickrey auction）”的链上实现。所谓“维克瑞拍卖”，是指所有竞拍者通过密封投标的方式竞价，出价最高的竞拍者获得拍品，并支付第二高的报价。
这套工具的基础原理是，以太坊的 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
三：可信化设置（Trusted Setups）
我们开源了一个代码库，允许任何人在以太坊链上实施 Kate-Zaverucha-Goldberg（KZG）和 powers-of-tau “仪式”（Odaily 星球日报注：即以可信任的方式对数据可用性证明方案所需要的参数进行初始化）。
详细信息：https://a 16 zcrypto.com/on-chain-trusted-setup-ceremony/
Github 传送门：https://github.com/a 16 z/evm-powers-of-tau
Odaily星球日报
媒体专栏
阅读更多
金色早8点
金色财经
去中心化金融社区
CertiK中文社区
虎嗅科技
区块律动BlockBeats
念青
深潮TechFlow
腾讯研究院
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。