a16zCrypto的工程团队发布Halmos、Helios等开源工具

4月11日消息，a16z Crypto 首席技术官发推称其工程团队发布了开源工具，为加密生态系统中的开发人员、构建者和用户提供服务。其最新的六个库涉及： - 符号测试（Halmos） - 轻客户端（Helios） - 拍卖设计（Auction Zoo） - 私人空投（zkdrops） - 新社交网络（zkDocs） - 可信设置（evm-powers-of-tau）。