Abstract\varSigma-Protocols provide a well-understood basis for secure algorithmics.
Recently, Bulletproofs (Bootle et al., EUROCRYPT 2016, and Bünz et al., S&P 2018) have …

Privacy concerns of smart contracts are a major roadblock preventing their wider adoption. A
promising approach to protect private data is hiding it with cryptographic primitives and then …

Fully Homomorphic Encryption (FHE) is seeing increasing real-world deployment to protect
data in use by allowing computation over encrypted data. However, the same malleability …

Ethereum is the largest public blockchain by usage. It applies an account-based model,
which is inferior to Bitcoin's unspent transaction output model from a privacy perspective …

Proof-carrying data (PCD) is a powerful cryptographic primitive that enables mutually
distrustful parties to perform distributed computations that run indefinitely. Known …

We introduce a new class of succinct arguments, that we call elastic. Elastic SNARKs allow
the prover to allocate different resources (such as memory and time) depending on the …

We survey the state-of-the-art non-interactive zero-knowledge argument schemes and their
applications in confidential transactions and private smart contracts on blockchain. The main …

A flurry of excitement amongst researchers and practitioners has produced modern proof
systems built using novel technical ideas and seeing rapid deployment, especially in …

We provide the first constructions of SNARGs for Batch-NP and P based solely on the sub-
exponential Decisional Diffie Hellman (DDH) assumption. Our schemes achieve poly …

We put forward the notion of subvector commitments (SVC): An SVC allows one to open a
committed vector at a set of positions, where the opening size is independent of length of the …