Search
Search Results
-
Proof of Necessary Work: Succinct State Verification with Fairness Guarantees
Blockchain-based payment systems utilize an append-only log of transactions whose correctness can be verified by any observer. Classically,... -
More Efficient Amortization of Exact Zero-Knowledge Proofs for LWE
We propose a practical zero-knowledge proof system for proving knowledge of short solutions... -
POSMETER: proof-of-stake blockchain for enhanced smart meter data security
As smart home appliances have grown in popularity; a large amount of data has been created on smart meters pertaining to various consumers. Due to...
-
Authentication, Authorization, and Selective Disclosure for IoT Data Sharing Using Verifiable Credentials and Zero-Knowledge Proofs
As IoT becomes omnipresent vast amounts of data are generated, which can be used for building innovative applications. However, interoperability... -
BooLigero: Improved Sublinear Zero Knowledge Proofs for Boolean Circuits
We provide a modified version of the Ligero sublinear zero knowledge proof system for arithmetic circuits provided by Ames et al. (CCS ’17). Our... -
Single-to-Multi-theorem Transformations for Non-interactive Statistical Zero-Knowledge
Non-interactive zero-knowledge proofs or arguments allow a prover to show validity of a statement without further interaction. For non-trivial... -
Flashproofs: Efficient Zero-Knowledge Arguments of Range and Polynomial Evaluation with Transparent Setup
We propose Flashproofs, a new type of efficient special honest verifier zero-knowledge arguments with a transparent setup in the discrete logarithm... -
On the Concurrent Composition of Quantum Zero-Knowledge
We study the notion of zero-knowledge secure against quantum polynomial-time verifiers (referred to as quantum zero-knowledge) in the concurrent... -
The Round Complexity of Quantum Zero-Knowledge
We study the round complexity of zero-knowledge for QMA (the quantum analogue of NP). Assuming the quantum quasi-polynomial hardness of the learning... -
Reverse Firewalls for Oblivious Transfer Extension and Applications to Zero-Knowledge
In the setting of subversion, an adversary tampers with the machines of the honest parties thus leaking the honest parties’ secrets through the... -
Shorter Lattice-Based Zero-Knowledge Proofs via One-Time Commitments
There has been a lot of recent progress in constructing efficient zero-knowledge proofs for showing knowledge of an... -
Blockchain-based end-to-end privacy-preserving scheme for IoT-based healthcare systems
In Internet-of-Things (IoT)-based healthcare systems, real-time healthcare data are gathered from patients’ sensors with limited resources and...
-
Zero-Knowledge Protocols for the Subset Sum Problem from MPC-in-the-Head with Rejection
We propose (honest verifier) zero-knowledge arguments for the modular subset sum problem. Previous combinatorial approaches, notably one due to... -
A gapless code-based hash proof system based on RQC and its applications
Cramer and Shoup introduced at Eurocrypt’02 the concept of hash proof system, also designated as smooth projective hash functions. Since then, they...
-
Super-Perfect Zero-Knowledge Proofs
We initiate a study of super-perfect zero-knowledge proof systems. Loosely speaking, these are proof systems for which the interaction can be... -
CoProver: A Recommender System for Proof Construction
Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal)... -
Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular
We consider the problem of proving in zero knowledge that an element of a public set satisfies a given property without disclosing the element, i.e.,... -
Connecting the dots between stance and fake news detection with blockchain, proof of reputation, and the Hoeffding bound
Combating fake news is a crucial endeavor, yet the complexity of the task requires multifaceted approaches that transcend singular technological...
-
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification
As a revolutionary kernel extension technology, Berkeley Packet Filters (BPF) has been applied for various operating systems from different domains,...