a16z crypto 团队成员分享了他们正在阅读、玩耍和推荐的书籍和游戏，内容涵盖了从古罗马到算法技术的方方面面，以及许多值得度假时阅读的奇幻读物。其中，《异星灾变》、《翡翠海的特雷斯》、《乔纳森·斯特兰奇与诺瑞尔先生》等书籍被多次推荐。书单中还包括了 Chris Dixon 的新书《Read Write Own: Building the Future of the Internet》。

Cicada：一个新的、开源的 Solidity 库，利用时间锁谜题和零知识证明来实现私人链上投票。

这篇文章深入探讨了去中心化在区块链技术和web3协议中的核心作用，明确了去中心化的三种类型：技术、经济和法律，并分析了这些类型如何相互影响。此外，文章提供了去中心化的相关因素以及如何通过这种方式促进去中心化体系的构建，以最大化web3的公共利益。

Cicada 是一个开源的 Solidity 库，利用时间锁谜题和零知识证明实现链上隐私投票。它具有新颖的隐私属性，最小化信任假设，并且足够高效，可以在以太坊主网上使用。文章还探讨了链上投票隐私的不同层面，并讨论了 Cicada 如何与其他技术结合以实现更高的隐私。

本文探讨了“吸血鬼攻击”在加密平台之间竞争中的应用，尤其是如何通过直接吸引竞争对手的客户来促进价格竞争。研究显示，尽管忠诚度计划初始对消费者有利，但长远来看吸血鬼攻击能有效恢复竞争，并使消费者受益。然而，这种竞争的可持续性仍需谨慎考量。

本文详细探讨了 Danksharding 作为以太坊未来扩展方案的一部分，特别是数据可用性采样（DAS）的工作原理及其潜在改进。文章介绍了 Protodanksharding 和 Danksharding 的基本概念，如何通过 erasure coding 和多项式承诺确保数据的可用性和可恢复性，并提出了一种通过修改协议以降低重构所需数据比例的方案。

本报告由 a16z 发布，旨在通过技术指标而非金融指标来衡量加密行业的发展状况。报告提出了“加密行业指数”，该指数综合了14个行业指标，包括活跃用户数、DeFi 和 NFT 活动、开发者数量、区块链扩展方案以及零知识证明等新兴技术的发展。报告还指出美国在 Web3 领域的主导地位正在减弱，并强调了价格创新周期对行业发展的推动作用。

本文探讨了一种名为“wave mint”的新型NFT铸造策略，该策略通过按波次邀请特定社区成员参与铸造，从而确保更符合项目文化和目标的持有者能够入驻。这种方法可以有效避免常见的铸造问题，如‘燃气战争’和机器人的竞争，同时促进了项目的社区建设。作者基于自身在1337 Skulls项目中的实践，详细分析了该策略的优势与挑战。

本文详细介绍了形式化验证（formal verification）的过程及其在智能合约中的应用，强调了与单元测试的互补关系，以及如何利用Halmos工具简化形式化验证的实施。文中分析了正式验证的挑战、规范的编写开销及其在ERC721A智能合约中的案例，展示了通过符号测试实现高效验证的重要性。

本文探讨了在Web3环境中如何制定既能促进创新又能有效规制的框架，强调了以应用为基础的监管应侧重于企业而非去中心化协议。文章详细分析了Web3 DAO困境，提出在维持去中心化协议原则的同时，需要设计额外的监管保障措施，以防止诱励不合规活动，并确保合法政策目标的实现。