Как Биткойн поддерживает функцию ZK-верификации?

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

Для решения этих проблем сообщество предложило несколько улучшений, среди которых технологии, связанные с ZK и SNARKs, считаются наиболее эффективными. Эти технологии могут значительно повысить уровень конфиденциальности и пропускную способность транзакций. Однако из-за трудностей изменения протокола Биткойн ключевой задачей становится улучшение производительности без изменения протокола.

Модель UTXO Биткойна и скриптовый язык ограничивают его функциональность. Скрипт Биткойна может выполнять базовые вычисления и проверку подписей, но не поддерживает сложные вычисления и не может напрямую проверять SNARK. Хотя теоретически возможно реализовать проверку SNARK, на практике это ограничено размером блока.

В последние годы обновление Taproot принесло некоторые улучшения для Биткойн, такие как поддержка подписей Schnorr и более сложных скриптов. Однако добавление специализированных операций проверки SNARK по-прежнему сталкивается с техническими и консенсусными проблемами.

В настоящее время есть два возможных пути, чтобы Биткойн поддерживал ZK верификацию:

1. Улучшение функциональности скриптов с помощью простых операторов, таких как OP_CAT, и косвенная реализация проверки SNARK. Хотя OP_CAT прост, он может значительно повысить возможности скриптов и, вероятно, получить поддержку сообщества.

2. Используя технологию BitVM, можно проверять любые вычисления без изменения протокола. BitVM преодолевает ограничения размера скриптов с помощью Taproot и KV-хранилища, сочетая это с механизмом доказательства мошенничества для расширения функциональности.

Кроме того, технология Chain State Proofs в сочетании с ZK может значительно снизить затраты на эксплуатацию узлов и является важной частью BitVM.

В целом, внедрение функции ZK-верификации в Биткойн является необходимым, но нужно сбалансировать инновации и стабильность. В краткосрочной перспективе BitVM может быть наиболее жизнеспособным решением, а перезапуск простых операций, таких как OP_CAT, также стоит изучить. Независимо от того, какое решение будет принято, конечная цель состоит в том, чтобы сделать Биткойн более практичным и поддерживать больше реальных сценариев.