JST CREST: Creation of System Software for Society 5.0 by Integrating Fundamental Theories and System Platform Technologies

Verifiable Data Ecosystem

Project Overview

Project Overview

We research and develop a verifiable data ecosystem that supports the reliability and lineage of data as first-class data, enabling the validation of any data. We establish a theoretical foundation for a comprehensive reliability and validation model, as well as for database repair considering transaction histories. Furthermore, we investigate the system architecture, including highly reliable distributed storage, and conduct empirical experiments with prototype systems, and verify the effectiveness of the proposed systems.​



1-1-1 Tennodai, Tsukuba, Ibaraki 305-8577