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

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

1. Позволить скриптам Биткойн напрямую поддерживать проверку SNARK. Это требует использования кода операции OP_CAT, и OP_CAT, вероятно, в конечном итоге будет принят. OP_CAT — это простой, но мощный код операции, который может сделать скрипты Биткойн более мощными. Он способен поддерживать проверку Merkle-доказательств, что помогает проверять SNARK на основе FRI. Хотя активация OP_CAT может повлиять на MEV-доход некоторых людей, вероятность достижения консенсуса в сообществе по этому вопросу довольно велика.

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

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

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