Доказательство безопасности протокола поиска и верификации занимает существенное место в процессе доказательства безопасности многомерного блокчейна. В исследовании использован гибридный симуляционный подход, основанный на фреймворке универсальной композиции, для формального доказательства безопасности распределенных реестров на основе многомерного блокчейна. При доказательстве применяется усовершенствованная GUC-модель многомерного блокчейна.
Шилов И.М. (науч. рук. Заколдаев Д.А.) Безопасность внешних транзакций в устойчивых распределенных реестрах на основе многомерного блокчейна // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/3118