We present Libra, the first zero-knowledge proof system that has both optimal prover time
and succinct proof size/verification time. In particular, if C is the size of the circuit being …

We introduce a new approach to realize incrementally verifiable computation (IVC), in which
the prover recursively proves the correct execution of incremental computations of the form …

Blockchains have recently been under the spotlight due to the boom of cryptocurrencies and
decentralized applications. There is an increasing demand for querying the data stored in a …

In this paper we present BlockchainDB, which leverages blockchains as a storage layer and
introduces a database layer on top that extends blockchains by classical data management …

We present a new succinct zero knowledge argument scheme for layered arithmetic circuits
without trusted setup. The prover time is O (C+ nlogn) and the proof size is O (D logC+ log 2 …

Despite increasingly emerging applications, a primary concern for blockchain to be fully
practical is the inefficiency of data query. Direct queries on the blockchain take much time by …

We study the problem of building non-interactive proof systems modularly by linking small
specialized" gadget" SNARKs in a lightweight manner. Our motivation is both theoretical and …

Nowadays an emerging class of applications are based oncollaboration over a shared
database among different entities. However, the existing solutions on shared database may …

Blockchain has recently gained massive attention thanks to the success of cryptocurrencies
and decentralized applications. With immutability and tamper-resistance features, it can be …

This paper follows the line of works that design concretely efficient transparent sublinear
zero-knowledge Interactive Oracle Proofs (IOP). Arguments obtained via this paradigm have …