Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 22 for “"Zero-knowledge Proofs"”.
-
On deploying succinct zero-knowledge proofs
Zero-knowledge proofs, introduced by Goldwasser, Micali, and Rackoff, are a fundamental building block in theoretical cryptography with numerous applications. Still, the impact of zero-knowledge proofs for building secure systems in practice has been modest at best. Part of this can be explained by …
-
A study of statistical zero-knowledge proofs
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1999.
-
Secret-chain zero-knowledge proofs and their applications
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
3-round weak zero-knowledge proofs for [Nu] [Rho]
(cont.) to the verifier.
-
On the existence of 3-round zero-knowledge proofs
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
-
Information theoretic advances in zero-knowledge
Zero-knowledge proofs have an intimate relation to notions from information theory. In particular, the class of all problems possessing statistical zero-knowledge proofs (SZK) was shown to have complete problems characterized by the statistical distance (Sahai and Vadhan [JACM, 20031) and entropy …
-
Auditable private ledgers
… data. With the use of permissioned blockchains, zero-knowledge proofs, and additively homomorphic commitments, we are able to provide a balance between privacy and regulation. For this work, I implemented the cryptographic tools in Go, helped develop zero-knowledge proofs to provide data …
-
On foundations of public-key encryption and secret sharing
… sharing, multiparty computation and statistical zero knowledge; and by providing a large toolbox used extensively in cryptography. This thesis addresses two questions in this realm: Leakage Resilience of Secret Sharing Schemes. We show that classical secret sharing schemes like Shamir secret …
-
Harpocrates: Privacy-Preserving and Immutable Audit Log for Sensitive Data Operations
… a single point of failure, while cryptographic zero-knowledge proofs are harnessed for confidentiality and public verifiability. We analyze the security of our proposed technique and prove that it achieves non-malleability and indistinguishability. We fully implemented Harpocrates and evaluated …
-
Teaching AIs to Reason and Code, Confidentially
… verified by smart contracts, and I demonstrate zero-knowledge-proof workflows that preserve user privacy. To sustain performance, I repurpose Tensor Processing Units as cryptographic accelerators, cutting the latency of homomorphic encryption and zero-knowledge proofs by an order of magnitude. …
-
A study of efficient secret sharing
… connection between various types of statistical zero-knowledge (SZK) proof systems and (unconditionally secure) secret sharing schemes. Viewed through the SZK lens, we obtain several new results on secret-sharing: " Characterizations: We obtain an almost-characterization of access structures for …
-
Privatizing the Volume and Timing of Blockchain Transactions
… through cryptographic techniques like zero-knowledge proofs and homomorphic encryption. However, the architecture of a blockchain consists of a decentralized network where every network participant maintains their own local copy of the blockchain and updates it upon every added …
-
Theoretical and practical advances in preprocessing based secure computation
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2027-08-01
-
Secure and scalable blockchain mechanisms for IoT applications
… the security of the IoT network by introducing a Zero-Knowledge Proof-based Mutual Authentication (ZPMA) mechanism, a privacy-preserving mutual authentication mechanism. Utilizing Zero-Knowledge Proofs (ZKP) based on the quadratic residue technique, Z-PMA ensures secure and private mutual …
-
Efficient zero-knowledge range arguments and privacy-preserving applications
This thesis primarily explores efficient zero-knowledge range arguments as first part and privacy-preserving applications within distributed systems as second part. The first part focuses on zero-knowledge range arguments, a fundamental cryptographic primitive that enables a prover to convince a …
-
Efficient zero-knowledge range arguments and privacy-preserving applications
This thesis primarily explores efficient zero-knowledge range arguments as first part and privacy-preserving applications within distributed systems as second part. The first part focuses on zero-knowledge range arguments, a fundamental cryptographic primitive that enables a prover to convince a …
-
A Scalable Blockchain Framework for Verifiable and Private Ranked-Choice Online Voting
… as posting ballots and verifying cryptographic proofs, incur prohibitive costs that grow linearly with the number of voters. The openness of public ledgers also leaks metadata that can erode privacy. Consequently, achieving accountability and transparency without sacrificing individual ballot …
-
Delegating computation reliably : paradigms and constructions
… We construct efficient protocols (interactive proofs) for delegating computational tasks. In particular, we present: e A protocol for delegating any computation, where the work needed to verify the correctness of the output is linear in the input length, polynomial in the computation's depth, …
-
Trustworthy Federated Learning Systems: From Secure Distributed Training to Reliable Fine-tuning
… Federated Learning framework with a Zero-Knowledge Proof of Training (ZKPoT) consensus mechanism that enables verifiable and privacy-preserving coordination among distributed participants. In this framework, clients generate zero-knowledge proofs to demonstrate that local model …
Page 1 of 2