целесообразно вести базу актуальных состояний для каждого из адресов сети.
Этот способ учета хотя и требует дополнительного хранения определенного
объема данных, но все же несравнимо удобнее принципа UTXO, при котором
нужно постоянно получать актуальные состояния адресов через расчеты.
Одновременно с этим принцип хранения актуальных состояний позволил
разработчикам ввести в платформу Ethereum уникальный на момент ее
появления функционал смарт-контрактов, который, собственно, и стал главным
ценностным предложением проекта. Что же такое смарт-контракты и каким
образом их реализация в сети Ethereum повлияла на развитие технологии
блокчейн в целом?
Смарт-контракты
В процессе внедрения новых технологий разработчики систем, использующих
биткоины в качестве платежного средства, постоянно сталкивались с
проблемой создания более сложных моделей проведения транзакций.
Особенно в тех, где могли бы присутствовать какие-то условия, отличные от
стандартных. Сатоши Накамото пытался предусмотреть подобную ситуацию и, начиная с первой же версии программной реализации клиента сети Биткоин, поместил в него так называемую систему скриптов для обработки транзакций.
Фактически это была упрощенная форма языка программирования стекового
типа, когда все его команды обрабатываются в порядке очереди «слева
направо от того, как они были указаны в самом скрипте».
Скрипт-язык Биткоина содержит около восьми десятков различных команд, каждая из которых выполняет определенную алгоритмическую операцию. От
элементарной, вроде сравнения двух числовых значений, до более сложных —
хеширования данных или алгоритма проверки цифровой электронной подписи.
В подавляющем большинстве случаев в параметрах выхода каждой
транзакции помещается стандартный скрипт под названием P2PKH, или Pay to Public Key Hash. Этот скрипт реализует процедуру оплаты на хеш публичного
ключа, которым, собственно, и является биткоин-адрес получателя транзакции.
Для обработки нестандартных платежных ситуаций отправитель может
составить собственный скрипт, содержащий дополнительные условия для
обработки транзакции. Хотя, надо сказать, выбор у него небогатый. Например, имеется возможность реализовать функционал мультиподписи или сделать
так, чтобы отправляемые средства нельзя было потратить ранее указанного в
скрипте времени. Однако по-настоящему замысловатых алгоритмических
конструкций для обработки транзакций с дополнительным набором условий
подобными средствами создать практически невозможно. И дело не только в
ограниченном наборе команд биткоин-скрипта, а в первую очередь в том, что
данный язык является «неполным по Тьюрингу». Что это означает?
В 1936 году Алан Тьюринг, будущий герой криптографической войны с
германским шифровальным устройством «Энигма», предложил модель
вычислительной машины в форме математической абстракции. Полученную
модель впоследствии стали называть «Машиной Тьюринга». Эта логическая
вычислительная конструкция послужила инструментом для доказательства
наличия или отсутствия алгоритмического решения для различных задач. Что
же касается «полноты по Тьюрингу», то одним из ее критериев является
наличие в языке программирования команд, на базе которых можно построить
алгоритмические циклы. Скрипт-язык сети Биткоин не предоставляет
операторов обработки циклов, а значит, и возможности реализации на нем
сложных вычислительных алгоритмов весьма ограничены. В отличие от
Биткоина, в проекте Ethereum подобная возможность предусмотрена, а
реализована она как раз с использованием функционала смарт-контрактов.
Попробуем разобраться, что же они собой представляют.
Как уже неоднократно упоминалось, автором концепции является Ник Сабо, который еще в 1994 году впервые представил форму исполняемых
электронных контрактов в децентрализованной среде. Сабо определил этот
вид виртуального соглашения как «протокол передачи информации, обеспечивающий автоматическое исполнение сторонами условий сделок».
Преимуществами такой формы заключения контрактов автор считал
конфиденциальность, низкие затраты на проведение операций и отсутствие
необходимости привлечения посредников для обеспечения доверия для
сторон по сделкам. Если сравнивать электронные контракты с обычными, то
Читать дальше
Конец ознакомительного отрывка
Купить книгу