Automated and smart meters are devices that are able to monitor the energy consumption of
electricity consumers in near real-time. They are considered key technological enablers of …

We propose Bulletproofs, a new non-interactive zero-knowledge proof protocol with very
short proofs and without a trusted setup; the proof size is only logarithmic in the witness size …

An argument system for NP is a proof system that allows efficient verification of NP
statements, given proofs produced by an untrusted yet computationally-bounded prover …

Secure aggregation enables a server to learn the sum of client-held vectors in a privacy-
preserving way, and has been applied to distributed statistical analysis and machine …

Smart grid proposals threaten user privacy by potentially disclosing fine-grained
consumption data to utility providers, primarily for time-of-use billing, but also for profiling …

We consider the following problem: Given a commitment to a value σ, prove in zero-
knowledge that σ belongs to some discrete set Φ. The set Φ can perhaps be a list of cities or …

In last years, there has been an increasing effort to leverage distributed ledger technology
(DLT), including blockchain. One of the main topics of interest, given its importance, is the …

Anonymous credentials provide a powerful tool for making assertions about identity while
maintaining privacy. However, a limitation of today's anonymous credential systems is the …

We introduce a new approach for constructing range proofs. Our approach is modular, and
leads to highly competitive range proofs under standard assumption, using less …

This paper introduces arithmetic sketching, an abstraction of a primitive that several previous
works use to achieve lightweight, low-communication zero-knowledge verification of secret …