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