ВУЗ в Татарии создаст систему верификации смарт-контрактов в блокчейне
Грант 600 млн рублей на разработку системы автоматической проверки достоверности смарт-контрактов в платформах блокчейн получил университет Иннополис в Татарии, 10 января сообщается на сайте университета.
Директор Иннополиса Кирилл Семенихин отметил, что новая система проверки достоверности данных в системах блокчейн, где информация зашифрована и в таком виде «размазана» по различным компьютерам в разных концах света, позволит проводить проверку целостности и достоверности информации на основе математических моделей без участия человека.
Семенихин рассказал, что сегодня извлекаемую из блокчейн информацию, например, медицинскую карточку пациента или диплом о высшем образовании, на конечном этапе вынуждены проверять люди. Новая система позволит оценить достоверность информации без участия человека, проверяя математические алгоритмы, с помощью которых информация была зашифрована и распределена по компьютерам.
Читайте также: Сбербанк начал испытание электронного документооборота на базе блокчейн
Руководитель проекта разработки внедрения систем распределенного реестра Рустам Давлетбаев привел в пример один из видов хранимых в системах блокчейн типах данных — смарт-контрактах, где информация о сделке между юридическими или физическими лицами зашифрована с использованием математических алгоритмов.
«Когда в умном контракте есть ошибка, стороны теряют деньги или останавливается производство. Кроме того, смарт-контракты после запуска нельзя так легко обновить, в отличие от ПО на компьютерах. Решая эту проблему с помощью формальной, то есть математической автоматической проверки всего смарт-контракта и кода, мы снижаем подобные риски», — пояснил Давлетбаев.
Читайте также: Блокчейн наступает — он уже в вашем холодильнике
Напомним, одним из кураторов проекта Иннополиса является НИУ «Высшая школа экономики». В 2018 году на портале дипломных работ студентов этого учебного заведения была опубликована дипломная работа Скворцова Григория Дмитриевича «Формальная верификация смарт-контрактов на платформе Ethereum».
Напомним также, что летом 2017 года университет Иннополис посетил создатель блокчейн-платформы и одноименной криптовалюты Ethereum Виталик Бутерин. Он участвовал в конференции «Блокчейн — новая нефть России».
