Nick Szabo — автор ранних работ о Smart Contracts, то есть условиях договора, исполняемых техникой, и предложения Bit Gold. Он связал вопросы доверия, собственности и вычислительной работы. Его проекты принадлежат истории цифровых денег, но не являются другим названием Bitcoin.
При покупке мы хотим, чтобы продавец получил оплату, а покупатель — обещанный товар. Проверка обеих сторон требует времени и иногда посредника. В Smart Contracts 1994 года Nick Szabo исследовал, какие условия договора может выполнить компьютерный протокол: заданный порядок обмена сообщениями и действий. Цель — сократить возможности мошенничества и расходы на соблюдение договорённостей. Идея не ограничена блокчейном: техника должна помогать исполнять конкретные условия. Название «умный» не означает, что программа понимает все человеческие намерения. [1]
В работе 1997 года Szabo связывает договорные протоколы с пользовательским интерфейсом. Его простой пример — торговый автомат: покупатель видит цену, опускает монеты и получает товар. Интерфейс объясняет обмен, механизм его выполняет. В сложном приложении экран может подразумевать одно, а код делать другое. Правильного выполнения программы недостаточно. Нужно понятно показать условия, учесть время и признать границы алгоритмического описания. Автоматизация должна помогать принимать решения, а не скрывать последствия. [2]
Цифровой файл легко скопировать. Szabo спрашивал, можно ли создать цифровую редкость на основе доказуемо затратного производства. В Bit Gold компьютер решает задачу и создаёт доказательство работы, Proof of Work. Службы временных меток добавляют сведения о времени, а распределённый реестр собственности разносит записи между несколькими операторами. Предыдущий результат задаёт следующую задачу. Вместе эти части позволили бы создавать, передавать и проверять цифровые единицы. Одного связывания вычислений недостаточно для полного консенсуса Bitcoin — правил, по которым сеть согласует свою историю. [3]
Представим, что Анна отправляет Тому файл с результатом вычисления и оставляет копию. Кому теперь принадлежит эта единица Bit Gold? Биты есть у обоих, поэтому один файл не доказывает исключительной собственности. Проект опирается на цепочку передач права, подписанных цифровой подписью и записанных в реестр. Тому нужно проверить историю собственности, вычислительную работу и временную метку. Доказательство работы говорит о создании результата, реестр — о принадлежности. Ни одна задача не исчезает лишь потому, что данные дорого произвести. [3]
Результат одинаковой длины не обязательно требует одинаковых затрат от всех. У кого-то эффективнее компьютер, а новые устройства могут удешевить прежде дорогую работу. Поэтому Bit Gold учитывает период производства и различия машин. Единицы не становятся автоматически взаимозаменяемыми как равноценные только благодаря длине данных. Проект предполагает торговцев, объединяющих по-разному оценённые части в пакеты примерно одинаковой стоимости. Это добавляет правила и оценку. Одно лишь затратное производство не даёт всего, чего мы ожидаем от пригодных к использованию денег. [3]
Текст Szabo упоминает RPOW от Hal Finney как связанный с темой реализованный эксперимент. Название означает Reusable Proofs of Work — повторно используемые доказательства работы. Важны защищённый сервер и удалённая аттестация: способ проверить, какая программа работает на удалённом устройстве. Это помогает спросить, что можно проверить самому, а где приходится опираться на предположения об оборудовании или операторе. Bit Gold, RPOW и BTC — не одна система. Их темы пересекаются, но учёт, передачи и концентрация доверия различаются. [3]
Ещё в 1994 году Szabo описывал купленную в кредит машину, доступ к ключам которой мог бы зависеть от платежей. Правило кажется простым, пока не представить автомобиль на автомагистрали. Отключить его в этот момент опасно. Поэтому проект предусматривает исключения для безопасной работы и снятие ограничений после погашения кредита. Пример показывает подход автора: заставить выполнить условие недостаточно, надо учесть момент, последствия и окончание ограничения. Техническая возможность — ещё не готовый безопасный продукт. [1]
Whitepaper, объясняющий устройство Bitcoin, вышел под именем Satoshi Nakamoto. Темы Szabo интеллектуально связаны с ним, но сходство не доказывает авторство. Знание цифровых денег или работы о доверии не подтверждают использование этого псевдонима. Полезнее изучать конкретные предложения: как возникают единицы, кто записывает передачи и что должен проверить получатель. Так можно оценить вклад Szabo, не строя исторические знания на недоказанном предположении. [4]
Для полной картины прочитайте эту статью вместе с Wei Dai, David Chaum, Bit Gold. На эту статью также ссылаются b-money, Bit Gold, Reusable Proofs of Work, Wei Dai.