Tag
Former Signal developers and cryptographers from Harvard and Microsoft Research release Encrypted Spaces, a set of open-source libraries enabling developers to build end-to-end encrypted collaborative apps using zero-knowledge proofs.
A new type of zero-knowledge proof leverages Gödel's incompleteness theorems to overcome previous limitations of secrecy, establishing a striking connection between mathematical logic and cryptography.