Tag
zkGolf is an open competition to produce optimized, formally verified zero-knowledge circuits, using LLMs to generate and improve implementations beyond human-optimized standards.
This paper introduces directional sharpness, a new metric for certifying the generalization performance of machine learning models that is both efficient to compute and more reliable than existing proxies like test accuracy or traditional sharpness, even when training deviates from prescribed procedures.
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.