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

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