zk.golf：电路的无畏协作优化 本文介绍zk.golf平台，它结合Clean形式化验证和AI模型实现零知识电路的“无畏优化”。用户可提交经Lean证明的电路，竞争效率。通过同时要求完备性和可靠性，避免了LLM生成虚假电路。相比编译器，该方法能实现问题特定优化，并摆脱对约束层次的审查，直接审查高层规范。平台已发布，鼓励参与。 零知识证明 电路优化 形式化验证 LLM Clean R1CS zksecurity 发布于 2026-07-03 76 0 0
