Чего не хватает биткоину и кому доверить это добавить

Любопытство

1. Почему в Биткоине нет аналога апрува токенов (token approval)?
2. Что теряется, когда скриптовый язык становится настолько выразительным, что в него можно скомпилировать любую программу?
3. Как может существовать рынок без центральной стороны, которая держит ключи или устанавливает правила?

Исследование

Часть IЧто Биткоин уже устраняет и чего ему не хватает

1. Биткоин убирает администратора. Здесь нет админ-ключей, апрувов токенов и обновляемых контрактов. Эмиссия ограничена 21 миллионом монет и предсказуема по графику: халвинг субсидии происходит каждые 210 000 блоков. Правила меняются только при широком консенсусе тысяч независимых нод. Такая конструкция исключает целый класс атак, встречающихся в других системах: если нет ключа, который можно украсть, и контракта, который можно обновить, то администратору нечем злоупотребить, а компании нечего захватить.
2. Модель UTXO делает каждую трату явной. Транзакция расходует конкретные предыдущие выходы и создаёт новые. Здесь нет балансов счетов, с которых контракт мог бы позже списать средства. Такая структура исключает «дрейнерские» апрувы, когда пользователь подписывает широкое разрешение, позволяющее другой стороне позже перевести неограниченную сумму. При стандартном типе подписи (SIGHASH_ALL) подпись фиксирует именно эти входы и выходы; другие режимы подписи могут оставлять выходы открытыми, и мошенники этим пользовались. Если пользователь не подпишет следующую транзакцию, ничего никуда не переместится.
3. Чего Биткоину не хватает, так это выразительности и скорости. Script намеренно ограничен: он не может выполнять произвольные вычисления или бесконечно работать в цикле. Блоки появляются примерно раз в десять минут, поэтому расчёты идут медленно по сравнению с сетями, где блоки создаются за секунды. В протоколе базового уровня нет встроенной поддержки токенов или рынков. Эти ограничения — сознательные компромиссы: ограничение возможностей скрипта не даёт багам превращаться в эксплойты, ломающие консенсус, а более медленные блоки позволяют децентрализованной сети полных нод надёжно проверять данные.
4. Вопрос проектирования в том, как добавить рынки, не вернув слабые места, которых Биткоин избежал. Сложный скриптовый язык открывает дорогу уязвимостям смарт-контрактов. Быстрые блоки часто требуют централизации или разрешительных (permissioned) валидаторов для поддержания финальности. Нативные токены могут создать новые поверхности атак для инфляции или манипуляций. Любое расширение должно сохранять свойство, при котором ни одна сущность не контролирует эмиссию или правила актива, даже если ради этого придётся смириться с более медленными расчётами или более высокими комиссиями.
5. Решения второго уровня (L2) и метапротоколы пытаются закрыть этот разрыв. Они добавляют такие функции, как быстрые платежи или выпуск токенов, опираясь в вопросах безопасности на консенсус Биткоина. Однако эти уровни вводят новые модели доверия: одни полагаются на федерации подписантов, другие — на оптимистичные верификационные игры, в которых хотя бы один честный оператор должен оспорить мошенничество. Каждый подход по-своему жертвует теми или иными аспектами децентрализации и скорости. Цель не в том, чтобы превратить Биткоин в универсальный компьютер, а в том, чтобы расширить его полезность, не ставя под угрозу базовую модель безопасности, благодаря которой он стал устойчивым.
6. Откройте блок-эксплорер и найдите любую недавнюю транзакцию. Изучите её входы и выходы. Обратите внимание, что каждый вход ссылается на конкретный предыдущий выход по ID транзакции и индексу. Теперь сравните это с блокчейном на основе аккаунтов, где балансы — просто числа в глобальном состоянии. Разница структурная: модель Биткоина требует, чтобы каждое перемещение ценности было явным, проверяемым и привязанным к конкретной подписи, не оставляя места скрытым административным вмешательствам или широким разрешениям.

Часть IIРешения второго уровня (L2) для Биткоина и их модели доверия

7. Каналы Lightning Network расширяют платёжные возможности Биткоина, не передавая монеты кастодиану. Whitepaper Джозефа Пуна и Таддеуса Драйи был впервые набросан в 2015 году и опубликован в окончательном виде в 2016-м; в основной сети Lightning начали использовать в 2018 году. Каждый канал блокирует средства в общем состоянии двух сторон; если одна сторона жульничает, другая отправляет в сеть Биткоина штрафную транзакцию. Эта модель минимизирует доверие, поскольку ключи не находятся у третьей стороны, но остаётся соединением «точка-точка». Она решает задачу финальности платежей, а не общей ликвидности или маркетмейкинга.
8. Liquid, запущенный Blockstream в 2018 году, работает как федеративный сайдчейн. Фиксированная группа «функционеров» (functionaries) подписывает блоки и управляет пегом между активами Liquid и биткоином базового уровня. Блоки выходят каждую минуту и становятся окончательными примерно через две, а активы можно выпускать нативно. Компромисс очевиден: пользователи должны доверять тому, что квалифицированное большинство функционеров (пег использует мультиподпись 11 из 15) не сговорится, чтобы украсть депозиты или остановить погашение. Это быстро, но возвращает доверенную группу.
9. Stacks работает на собственной цепи, привязанной к Биткоину: хеши её блоков фиксируются в транзакциях Биткоина (Proof of Transfer). Его пег sBTC, открытый для депозитов с декабря 2024 года и для вывода — с апреля 2025 года, выпускает токены, обеспеченные заблокированными нативными биткоинами, которыми управляет группа подписантов. Такой подход позволяет писать на Stacks выразительные смарт-контракты (на Clarity — намеренно разрешимом языке), тогда как биткоины держит группа подписантов, пороговое число которых должно одобрять вывод. Пользователи меняют гибкость исполнения на зависимость от добросовестности подписантов и бесперебойной работы моста.
10. BitVM — иной архитектурный выбор: он нацелен на то, чтобы принести в Биткоин вычисления общего назначения без софтфорков. Предложение Робина Линуса 2023 года использовало оптимистичную верификацию между двумя сторонами; BitVM2 (2024) позволяет оспаривать кому угодно. Проекты вроде Citrea, работающего с января 2026 года, строятся на этой модели, где один честный участник из многих может остановить мошенничество. Модель «честность 1 из n» переносит доверие с консенсуса большинства на наличие хотя бы одного бдительного оспаривающего, но операторы должны блокировать или авансировать капитал, а вывод средств ждёт окончания окон оспаривания.
11. Сравнение этих моделей выявляет разные профили риска. Lightning не требует третьей стороны, но мало полезен для общих рынков. Liquid и Stacks полагаются на федерации или группы подписантов, где главная угроза — сговор. Роллапы на BitVM зависят от конкурентной честности операторов. Ключевая переменная во всех случаях — хранение: у кого приватные ключи от базовых биткоинов и что будет, если эта сторона выйдет из строя, будет взломана или решит пойти на мошенничество.
12. Механизмы выхода определяют реальную модель доверия. В Lightning выход означает закрытие канала ончейн; если другая сторона не отвечает, средства возвращаются после истечения таймлока. В Liquid или Stacks для выхода нужен запрос на погашение, который обрабатывает федерация или подписанты; если они медлят или отказывают, пользователи оказываются заперты. В мостах BitVM выход зависит от того, что хотя бы один активный оператор выплатит пользователю средства; затем требования операторов о возмещении проходят период оспаривания. Пользователь, который не может выйти, не доверяя третьей стороне, на деле не находится на самостоятельном хранении, как бы децентрализованно ни выглядела сеть.

Ключевые факты

Упражнение девять, шесть, три, один

Проверка фактов

Даты, цифры и утверждения были проверены по приведенным ниже опубликованным источникам.

• S. Nakamoto, 'Bitcoin: A Peer-to-Peer Electronic Cash System' (2008)
• A. M. Antonopoulos & D. A. Harding, Mastering Bitcoin, 3rd ed. (2023)
• BIP-341: Taproot (activated 2021)
• J. Poon & T. Dryja, 'The Bitcoin Lightning Network' (2016)
• Blockstream Liquid Documentation
• Stacks sBTC Technical Documentation (December 2024)
• R. Linus, 'BitVM: Compute Anything on Bitcoin' (2023)