本地优先是否证明了终局？ 在 ZK 电台第 60 期中，@lagrangedev 研究员 Franklin Delehelle 坚持认为，每个人都应该能够在日常硬件上自行生成 ZK 证明，而不是依赖昂贵的专业机器或集中化的证明服务。如今的证明成本和延迟仍然迫使团队依赖外包网络；他希望这种依赖消失。 根据 Franklin 的说法，进展不会来自某个灵丹妙药，而是来自整个技术栈的复合收益： • 数学：更精简的算术化、查找、递归策略以缩小约束。 • 软件：更好的编译器/虚拟机、内存感知设计、严格的测试和验证，以便系统能够增强和标准化。 • 硬件：现在更智能地使用 GPU，并随着时间的推移，使用专用加速器。 与此同时，模块化、与证明系统无关的证明网络是一个实用的桥梁——在核心技术足够快速以实现真正的本地证明之前，今天可以扩展工作负载。 观看完整的节目，了解 ZK 的当前状态与理想状态的阐述：