Формальная верификация смарт-контрактов

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

Первое упоминание о смарт контракте было представлено в 1994 г американским ученым в области информатики, криптографии и права, Ником Сабо.

Смарт-контракт (или умный контракт) представляет собой компьютерный алгоритм для формирования, управления и предоставления информации о владении чем-либо. В более узком смысле под смарт-контрактом понимается набор функций и данных, находящихся по определённому адресу в блокчейне. 

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

Читать далее

Источник: Хабрахабр

Перейти на сайт

Похожие новости

• Как работает безопасность, когда никто никому не доверяет — Zero Trust на пальцах
• Централизация биткойн-майнинга в 2025 году: концентрация хешрейта усиливается
• Новости кибербезопасности за неделю с 19 по 25 мая 2025
• [Перевод] Преступный ИИ уже существует, и он доступен любому
• [Перевод] Postman логирует все ваши секреты и переменные окружения
• Math Agency: Google AI Mode: новая модель поиска, которая меняет всё
• Атака клонов или темная сторона Open Source
• А вам точно нужно делать и продвигать приложение? Два главных вопроса бизнесу перед разработкой
• Гайд по криптостойкости, как защитить наши данные
• [Перевод] Взлом моей машины, и, вероятно, вашей — уязвимости в приложении Volkswagen