ВУЗ в Татарии создаст систему верификации смарт-контрактов в блокчейне

Грант 600 млн рублей на разработку системы автоматической проверки достоверности смарт-контрактов в платформах блокчейн получил университет Иннополис в Татарии, 10 января сообщается на сайте университета.

Директор Иннополиса Кирилл Семенихин отметил, что новая система проверки достоверности данных в системах блокчейн, где информация зашифрована и в таком виде «размазана» по различным компьютерам в разных концах света, позволит проводить проверку целостности и достоверности информации на основе математических моделей без участия человека.

Семенихин рассказал, что сегодня извлекаемую из блокчейн информацию, например, медицинскую карточку пациента или диплом о высшем образовании, на конечном этапе вынуждены проверять люди. Новая система позволит оценить достоверность информации без участия человека, проверяя математические алгоритмы, с помощью которых информация была зашифрована и распределена по компьютерам.

Читайте также: Сбербанк начал испытание электронного документооборота на базе блокчейн

Руководитель проекта разработки внедрения систем распределенного реестра Рустам Давлетбаев привел в пример один из видов хранимых в системах блокчейн типах данных — смарт-контрактах, где информация о сделке между юридическими или физическими лицами зашифрована с использованием математических алгоритмов.

«Когда в умном контракте есть ошибка, стороны теряют деньги или останавливается производство. Кроме того, смарт-контракты после запуска нельзя так легко обновить, в отличие от ПО на компьютерах. Решая эту проблему с помощью формальной, то есть математической автоматической проверки всего смарт-контракта и кода, мы снижаем подобные риски», — пояснил Давлетбаев.

Читайте также: Блокчейн наступает — он уже в вашем холодильнике

Напомним, одним из кураторов проекта Иннополиса является НИУ «Высшая школа экономики». В 2018 году на портале дипломных работ студентов этого учебного заведения была опубликована дипломная работа Скворцова Григория Дмитриевича «Формальная верификация смарт-контрактов на платформе Ethereum».

Напомним также, что летом 2017 года университет Иннополис посетил создатель блокчейн-платформы и одноименной криптовалюты Ethereum Виталик Бутерин. Он участвовал в конференции «Блокчейн — новая нефть России».