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

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

1. Использование существующих обновлений, таких как Taproot. Taproot снижает затраты на проверку сложных скриптов и поддерживает более сложные программы.

2. Восстановить операцию OP_CAT. OP_CAT может сделать скрипты Биткойн более мощными и помочь в проверке SNARK на основе FRI.

3. Используйте решение BitVM. BitVM позволяет Биткойн проверять любые вычислительные задачи с помощью механизма доказательства мошенничества, что является наилучшим путем для реализации SNARK-проверки без изменения протокола.

4. Использование доказательств состояния цепи. В сочетании с технологией ZK, это может значительно сократить объем работы по синхронизации и верификации исторических данных Биткойн.

5. Разработка новых языков, таких как Simplicity. Simplicity предназначен для замены Биткойн-скрипта и разработан специально для систем консенсуса блокчейна.

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