zero-knowledge-proofs

zkGolf 是一个开放竞赛，旨在生成经过优化的、正式验证的零知识电路，利用大型语言模型（LLMs）来生成和改进实现，超越人类优化的标准。

本文提出方向锐度这一新指标，用于认证机器学习模型的泛化性能。该指标计算高效，且比测试准确率或传统锐度等现有近似指标更可靠，即便训练过程偏离预定程序也是如此。

前 Signal 开发者和来自哈佛大学、微软研究院的密码学家发布了 Encrypted Spaces，这是一套开源库，使开发者能够利用零知识证明构建端到端加密的协作应用。

一种新型的零知识证明利用哥德尔不完备定理克服了之前的保密性限制，建立了数理逻辑与密码学之间的惊人联系。