Search
Search Results
-
Zero Knowledge Proofs Towards Verifiable Decentralized AI Pipelines
We are witnessing the emergence of decentralized AI pipelines wherein different organisations are involved in the different steps of the pipeline. In...
-
Quantum Computationally Predicate-Binding Commitments with Application in Quantum Zero-Knowledge Arguments for NP
A quantum bit commitment scheme is to realize bit (rather than qubit) commitment by exploiting quantum communication and quantum computation. In this...
-
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...
-
Smooth Zero-Knowledge Hash Functions
We define smooth zero-knowledge hash functions (SZKHFs) as smooth projective hash functions (SPHFs) for which the completeness holds even when the...
-
Non-interactive Zero Knowledge from Sub-exponential DDH
We provide the first constructions of non-interactive zero-knowledge and Zap arguments for NP based on the sub-exponential hardness of Decisional...
-
Public-Coin, Complexity-Preserving, Succinct Arguments of Knowledge for NP from Collision-Resistance
Succinct arguments allow a powerful (yet polynomial-time) prover to convince a weak verifier of the validity of some NP statement using very little...
-
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification
Succinct arguments that rely on the Merkle-tree paradigm introduced by Kilian (STOC 92) suffer from larger proof sizes in practice due to the use of...
-
Beyond MPC-in-the-Head: Black-Box Constructions of Short Zero-Knowledge Proofs
In their seminal work, Ishai, Kushilevitz, Ostrovsky, and Sahai (STOC‘07) presented the MPC-in-the-Head paradigm, which shows how to design...
-
Multilinear Schwartz-Zippel Mod N and Lattice-Based Succinct Arguments
We show that for \(\textbf{x}\overset{\$}{\leftarrow }[0,2^\lambda )^\mu \)...
-
Post-quantum Resettably-Sound Zero Knowledge
We study post-quantum zero-knowledge (classical) protocols that are sound against quantum resetting attacks. Our model is inspired by the classical...
-
Non-Interactive Zero-Knowledge Proofs with Fine-Grained Security
We construct the first non-interactive zero-knowledge (NIZK) proof systems in the fine-grained setting where adversaries’ resources are bounded and...
-
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...
-
Public-Coin 3-Round Zero-Knowledge from Learning with Errors and Keyless Multi-Collision-Resistant Hash
We construct a public-coin 3-round zero-knowledge argument for NP assuming (i) the sub-exponential hardness of the learning with errors (LWE) problem...
-
Impossibilities in Succinct Arguments: Black-Box Extraction and More
The celebrated result by Gentry and Wichs established a theoretical barrier for succinct non-interactive arguments (SNARGs), showing that for...
-
Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains
Publicly Verifiable Zero-Knowledge proofs are known to exist only from setup assumptions such as a trusted common reference string or a random...
-
Succinct Arguments for RAM Programs via Projection Codes
Motivated by the goal of proving statements that involve small subsets of a big database, we introduce and study the notion of projection codes. A...
-
BMSC: A Novel Anonymous Trading Scheme Based on Zero-Knowledge Proof in Ethereum
Blockchains are widely used because of their openness, transparency, nontampering and decentralization. However, there is a high risk of information...
-
Non-interactive Zero-Knowledge Arguments for QMA, with Preprocessing
A non-interactive zero-knowledge (NIZK) proof system for a language...
-
On Black-Box Constructions of Time and Space Efficient Sublinear Arguments from Symmetric-Key Primitives
Zero-knowledge proofs allow a prover to convince a verifier of a statement without revealing anything besides its validity. A major bottleneck in...
-
Pisces: A New Zero-Knowledge Protocol for Blockchain Privacy
Applications of blockchain in banking, health care, transportation, asset and supply chain require to maintain the privacy of transactions, which can...