Верификация в архитектуре enclaves Turnkey осуществляется непрерывно, начиная с запуска системы и до выполнения в реальном времени и внешних проверок. Доказательства генерируются в реальном времени, поэтому каждый шаг операции может быть независимо подтвержден по мере его выполнения. Вот как:
1/ Загрузочные доказательства (до запуска чего-либо): Когда программное обеспечение enclaves развертывается, оно создает Загрузочное доказательство. Эта криптографическая запись показывает, что среда запущена из известного, доверенного состояния, закрепляя целостность всего, что следует.
2/ Доказательства приложения (во время выполнения): По мере обработки запросов, анклав генерирует Доказательство приложения. Это показывает, что конкретное действие выполнялось внутри проверенного анклава, связанного с оригинальным Доказательством загрузки, связывая каждую операцию с доверенной средой.
78