Биткойн поддерживает функции ZK в двух направлениях

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

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

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

2. Решение на основе BitVM. BitVM позволяет проверять любые вычисления без изменения протокола Биткойн, что является наиболее жизнеспособным путем на данный момент. Оно обходит ограничения размера скрипта с помощью Taproot MerkleTree и KV-решения, используя механизм доказательства мошенничества для обеспечения корректности.

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

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