Аннотация доклада.

Credereum – это платформа, которая позволяет создавать и поддерживать базы данных, содержимое и история которых доказуемы и неизменяемы, без принесения в жертву производительности и эффективности традиционных СУБД. Благодаря Credereum, владелец базы данных может доказывать корректность результатов запроса, а пользователи могут их проверять. Владельцу базы данных необязательно раскрывать всё содержимое базы данных или всю историю транзакций для того, чтобы доказывать корректность результатов отдельного запроса к базе данных. Таким образом, база данных Credereum подходит и для хранения приватной информации.
На пути реализации Credereum существует ряд математических проблем. Одной из таких проблем является сложность построения доказательств результатов запроса. Наивный подход заключается в том, чтобы строить доказательства для каждой из прошедших транзакций. Такой подход обеспечивает корректный результат, однако его отрицательной стороной является то, что сложность построения доказательства прямо пропорциональна числу всех транзакций за рассматриваемый период (а не числу транзакций, которые затронули возвращаемые данные).
Проблемным вопросом является то, что Credereum нуждается в доверенном хранилище, где могли бы храниться хэши базы данных. Благодаря таким механизмом можно гарантировать, что владелец базы данных поддерживает единственное состояние базы данных. В качестве такого доверенного хранилища может служить публичный блокчейн. При использовании публичного блокчейна встаёт вопрос масштабируемости (шардинга), которая в частном случае хранения большого количества независимых хэшей (от разных баз) может иметь более простое решение, чем в общем случае.
В докладе будет детально описана концепция Credereum, а также его математические вопросы, которые требуют разрешения. Целью данного доклада является привлечение математической общественности к совместному решению отмеченных выше задач.