This paper introduces Spartan, a new family of zero-knowledge succinct non-interactive
arguments of knowledge (zkSNARKs) for the rank-1 constraint satisfiability (R1CS), an NP …

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 …

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 …

Existing data storage systems offer a wide range of functionalities to accommodate an
equally diverse range of applications. However, new classes of applications have emerged …

The emergence of trusted hardwares (such as Intel SGX) provides a new avenue towards
verifiable database. Such trust hardwares act as an additional trust anchor, allowing great …

Today's cloud databases offer strong properties, including serializability, sometimes called
the gold standard database correctness property. But cloud databases are complicated …

This paper presents the design and implementation of Obladi, the first system to provide
ACID transactions while also hiding access patterns. Obladi uses as its building block …

Utilizing cloud for common and critical computing infrastructures has already become the
norm across the board. The rapid evolvement of the underlying cloud infrastructure and the …

Databases in the past have helped businesses maintain and extract insights from their data.
Today, it is common for a business to involve multiple independent, distrustful parties. This …