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