Search
Search Results
-
Scalability meets regulation: UTXO-based sharding and zero-knowledge proofs for regulated digital currencies
FinTech and RegTech integration is essential for develo** regulated digital currency (RDC) systems that are scalable and compliant. This paper...
-
Systematization of knowledge: privacy methods and zero knowledge proofs in corporate blockchains
Nowadays enterprises implement blockchain technology in various industries, including finance, logistics, and other sectors. While the core idea...
-
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.,...
-
Non-interactive Zero-Knowledge Functional Proofs
In this paper, we consider to generalize NIZK by empowering a prover to share a witness in a fine-grained manner with verifiers. Roughly, the prover... -
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions
Building on recent compilers for efficient disjunctive composition (e.g. an OR of multiple clauses) of zero-knowledge proofs (e.g. Goel et al.... -
Zero-Knowledge Proofs for SIDH Variants with Masked Degree or Torsion
The polynomial attacks on SIDH by Castryck, Decru, Maino, Martindale and Robert have shown that, while the general isogeny problem is still... -
Malleable Commitments from Group Actions and Zero-Knowledge Proofs for Circuits Based on Isogenies
Zero-knowledge proofs for NP statements are an essential tool for building various cryptographic primitives and have been extensively studied in... -
Sok: vector OLE-based zero-knowledge protocols
A zero-knowledge proof is a cryptographic protocol where a prover can convince a verifier that a statement is true, without revealing any further...
-
Oblivious Transfer from Zero-Knowledge Proofs
We provide a generic construction to turn any classical Zero-Knowledge (ZK) protocol into a composable (quantum) oblivious transfer (OT) protocol,... -
Zero-Knowledge Proof
Zero-knowledge proofs are techniques to verify claims without revealing the information itself. In this process, a “prover” shares proof of their... -
Your Reputation’s Safe with Me: Framing-Free Distributed Zero-Knowledge Proofs
Distributed Zero-Knowledge (dZK) proofs, recently introduced by Boneh et al. (CRYPTO‘19), allow a prover... -
Physical Zero-Knowledge Proofs for Five Cells
Five Cells is a logic puzzle consisting of a rectangular grid, with some cells containing a number. The player has to partition the grid into... -
Short-lived Zero-Knowledge Proofs and Signatures
We introduce the short-lived proof, a non-interactive proof of knowledge with a novel feature: after a specified period of time, the proof is no... -
Non-interactive Zero-Knowledge Proofs to Multiple Verifiers
In this paper, we study zero-knowledge (ZK) proofs for circuit satisfiability that can prove to n verifiers at a time efficiently. The proofs are... -
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... -
ZK-for-Z2K: MPC-in-the-Head Zero-Knowledge Proofs for \(\mathbb {Z}_{2^k}\)
In this work, we extend the MPC-in-the-Head framework, used in recent efficient zero-knowledge protocols, to work over the ring... -
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... -
Strong Batching for Non-interactive Statistical Zero-Knowledge
A zero-knowledge proof enables a prover to convince a verifier that $$x \in... -
Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors
An accumulator is a function that hashes a set of inputs into a short, constant-size string while preserving the ability to efficiently prove the...
-
Syndrome Decoding in the Head: Shorter Signatures from Zero-Knowledge Proofs
Zero-knowledge proofs of knowledge are useful tools to design signature schemes. The ongoing effort to build a quantum computer urges the...