Search results
Jun 12, 2024 · Researchers Shafi Goldwasser, Silvio Micali, and Charles Rackoff explored whether it would be possible to prove that a datum is valid without revealing any information aside from the datum itself. Nearly 40 years later, ZKPs are a fundamental component of many blockchains, empowering users through enhanced privacy and security.
Jun 11, 2024 · Model accuracy is typically measured on average over a distribution of inputs, giving no guarantee for any fixed input. This paper proposes a theoretically-founded solution to this problem: to train Self-Proving models that prove the correctness of their output to a verification algorithm V via an Interactive Proof.
Jul 1, 2024 · This design broadens the use cases for anonymous credentials, making it ideal for scalable, secure, and privacy-centric authentication, especially for resource-limited clients. Furthermore, SilentProof lays the groundwork for a new era of privacy-preserving identity management as-a-service.
Jul 2, 2024 · The concept of zero-knowledge proofs was initially outlined in the 1985 MIT paper “ The Knowledge Complexity of Interactive Proof-Systems ,” which was written by Shafi Goldwasser and Silvio Micali.
6 days ago · Mihir Bellare and Shafi Goldwasser. The complexity of decision versus search. SIAM J.Comput. 23 (1994) 97-119; edit [DLLM23]
Jun 11, 2024 · Shafi Goldwasser, Yael Tauman Kalai, and Guy N. Rothblum. 2015. Delegating computation: Interactive proofs for muggles. Journal of the ACM 62, 4 (2015), 27:1–27:64.
6 days ago · Abstract. Fully Homomorphic Encryption (FHE) is a key technology enabling privacy-preserving computing. However, the fundamental challenge of FHE is its inefficiency, due primarily to the underlying polynomial computations with high computation complexity and extremely time-consuming ciphertext maintenance operations.
