Мы, Суперкомпьютерный Systems AG, хотели бы объявить нашу техническую документацию, описывающий способ обеспечить доверенные временные отметки на основе blockchain технологии.

Блог (английский)
https://www.scs.ch/blog/en/2017/01/blockchain-technology-for-industry-4-0-applications/
Блог (на немецком языке):
https://www.scs.ch/blog/2017/01/blockchain-technologie-in-industrie-4-0-anwendungen/

Whitepaper (английский):
https://www.scs.ch/blog/wp-content/uploads/2017/01/trusted-sensor-whitepaper.pdf

Абстрактные
В этом документе описывается концепция, чтобы добавить доверенные метки к датчику данных на основе
общественный blockchain. Это позволяет доказать, что данные (датчик) был захвачен в конкретной точке
во время. Такое доказательство включает в себя существование в определенное время, а также предварительное несуществование, с временем
Точность минут. Несмотря на то, что ранее было возможно доказать, что существуют данные до того, как
определенный момент времени [3], этот документ способствует способ также доказать, что данные существовали только после того, как
определенный момент времени. Такое доказательство несуществования требует доверенной аппаратной платформы.

Введение
Доверяя временные метки и целостность данных датчика может быть решающим требованием, то есть для
с помощью камеры видеонаблюдения кадров в качестве доказательства в суде. Благодаря Trusted Platform Modules
[7], можно обеспечить доверенное происхождение и неизменность данных датчиков до тех пор, как это можно сделать
убедитесь, что оборудование физически не доступно для противника. Тем не менее, временные метки
по-прежнему трудно проверить, как общие источники времени, как GPS, ГЛОНАСС, Galileo и NTP можете
подделать. Blockchain технологии, такие как Bitcoin [8] может быть использован, чтобы обеспечить "доказательство правильности существования»
[3]: хэш-документ может быть сохранен в blockchain в качестве полезной нагрузки к транзакции.
Таким образом, можно впоследствии доказать существование хеширован документа до того, как соответствующий
Сделка была включена в блок на blockchain. Это доказательство опирается на неизменность
общественный blockchain и на том, что это очень маловероятно, чтобы знать хэш документа без
зная сам документ.

В следующем разделе, метод будет введен в дополнении доказательства правильности существования с
Доказательство предварительного небытия.

Доказательство Созидания
Доказывая время возникновения требует доказательств предварительного небытия. Хотя это невозможно
как правило, доказать несуществования чего-то, мы будем предполагать следующее в случае датчиков
измерения физических величин:

* Датчик доверяют аппаратное обеспечение
* Программное обеспечение и прошивка и являются открытым и может быть проверено с помощью воспроизводимого
строит [1]
* Противник не имеет физического доступа к оборудованию датчика и не имеет возможности
влияют на физические величины измеряются.

Учитывая вышеизложенное, мы можем воспользоваться тем фактом, что хэш самого высокого блока в
общественный blockchain не может быть известен до этого блок, имеющие заминирован. Но хэш публично
известных и надежных когда-либо после (или до тех пор, пока blockchain доверяют). Если мы теперь обогащают наш
Датчик кадр данных с этой хэш перед подписанием его с помощью модуля Trusted Platform (TPM) [7],
мы доказали перед небытием. Если мы затем добавить хэш нашего подписанного кадра сделки
на том же blockchain, мы получаем доказательство инициировании (РОО). Сочетание двух доказательств
Результаты в доверенном диапазоне времени возникновения. Рисунок 1 (см PDF) показывает блок-схему для
такая платформа.

Точность этого диапазона времени зависит от времени блока выбранного blockchain. в
лучший случай, точность время между двумя блоками. Это будет около 10 минут в
случай Bitcoin или 1min в случае Эфириума [4], но может быть столь же низким, как 10 секунд [6] [5].

Для того, чтобы быть уверенным, что данные датчика действительно был handeled, как описано (и не имеет
т.е. в буфер, чтобы задержать метку времени), то необходимо, чтобы открыть источник как программное обеспечение и
встроенное программное обеспечение и иметь воспроизводимые сборки [1] работает на оборудовании сбора данных. Эта
возможно, необходимо расширить с помощью Trusted Execution Environments [2]. Концепция безопасности
для платформы сбора данных выходят за рамки этого документа, однако.

О суперкомпьютеров Systems AG
Суперкомпьютерный Systems AG является инжиниринговой компанией в области высокой производительности
вычислительные системы, системы связи, разработка алгоритма и большие решения данных.
Инженерная экспертиза варьируется от проектирования и разработки программного обеспечения (корпоративных решений как
а также встроенное программное обеспечение), разработка электроники, проектирование распределенных систем, в HighEnd
измерительная техника. SCS AG имеет 24-летний опыт работы в качестве инжиниринговой компании
на различных рынках, таких как высокопроизводительные вычисления, энергетика, общественный транспорт, промышленное
применение, автомобилестроение. Компания имеет более чем 95 инженеров в области электротехники
проектирование, разработка программного обеспечения, физики и анализа данных.
Основываясь на своем опыте Суперкомпьютерный Systems AG предлагает инженерные услуги в этом fastgrowing
поле blockchain технологии.

Рекомендации
[1] Воспроизводимые строит. https://reproducible-builds.org/.
[2] спецификация Trusted среды исполнения.
http://globalplatform.org/specificationsdevice.asp.
[3] М. Араоз и Е. Ordano. http://www.proofofexistence.com, 2013.
[4] В. Бутерин. Ethereum Whitepaper,
https://github.com/ethereum/wiki/wiki/White-Paper, 2013.
[5] В. Бутерин. К 12s преградить раз. https://blog.ethereum.org/2014/07/11/
в сторону-а-12-второго блока времени / 2014.
[6] В. Бутерин. На медленные и быстрые времена блока.
https://blog.ethereum.org/2015/09/14/on-slow-and-fast-block-times/ , 2015.
[7] Т. С. Группа. https://trustedcomputinggroup.org/tpm-main-specification/ , 2011.
[8] С. Накамото. Bitcoin: электронный кассовая система равноправных узлов ЛВС.
https://bitcoin.org/bitcoin.pdf, 2008.