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

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