zero-knowledge-proofs

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

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