论文标题
Spitz：可验证的数据库系统
Spitz: A Verifiable Database System
论文作者
论文摘要
过去的数据库帮助企业从其数据中维护和提取见解。如今，企业通常涉及多个独立，不信任的政党。权力下放的这种趋势为数据库带来了一个新的重要要求：数据的完整性，历史记录和执行必须受到保护。换句话说，需要一个可以验证完整性（或可验证数据库）的新类数据库系统。 在本文中，我们确定了可验证数据库的需求和设计挑战。我们观察到主要挑战是需要平衡数据不可分散性，篡改证据和绩效的需求。我们首先考虑扩展现有OLTP和OLAP系统的方法，并支持验证。接下来，我们通过描述一个新系统Spitz来检查一种干净的方法，该系统专为有效支持不可变和篡改的交易管理而设计。我们对基线系统进行了两种方法的初步性能研究，并提供了有关其性能的见解。
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 trend towards decentralization introduces a new and important requirement to databases: the integrity of the data, the history, and the execution must be protected. In other words, there is a need for a new class of database systems whose integrity can be verified (or verifiable databases). In this paper, we identify the requirements and the design challenges of verifiable databases.We observe that the main challenges come from the need to balance data immutability, tamper evidence, and performance. We first consider approaches that extend existing OLTP and OLAP systems with support for verification. We next examine a clean-slate approach, by describing a new system, Spitz, specifically designed for efficiently supporting immutable and tamper-evident transaction management. We conduct a preliminary performance study of both approaches against a baseline system, and provide insights on their performance.
