ZK верификация: обязательный путь эволюции протокола Биткойн

Внедрение ZK-проверки: неизбежная тенденция Биткойн протокола

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

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

С OP_CAT до доказательства состояния и BitVM, как сделать так, чтобы Биткойн поддерживал ZK?

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

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

Как сделать так, чтобы Биткойн поддерживал ZK от OP_CAT до доказательства состояния и BitVM?

Чтобы реализовать в Биткойн проверку SNARK, в настоящее время есть два возможных пути:

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

С OP_CAT до состояния доказательства и BitVM, как сделать так, чтобы Биткойн поддерживал ZK?

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

Как сделать так, чтобы Биткойн поддерживал ZK от OP_CAT до доказательства состояния и BitVM?

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

С OP_CAT до доказательства состояния и BitVM, как сделать так, чтобы Биткойн поддерживал ZK?

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

С OP_CAT до доказательства состояния и BitVM, как сделать так, чтобы Биткойн поддерживал ZK?

ZK4.45%
BTC0.15%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 3
  • Репост
  • Поделиться
комментарий
0/400
NftDeepBreathervip
· 07-27 21:53
Сколько еще вырастет с добавлением zk?
Посмотреть ОригиналОтветить0
LiquidationAlertvip
· 07-25 15:42
BTC снова обновляется? Протокол все равно не изменится
Посмотреть ОригиналОтветить0
TxFailedvip
· 07-25 15:40
технически говоря... биткойн застрял в 2009 году, в то время как zk уже спасает пользователей эфира от кошмаров с конфиденциальностью
Посмотреть ОригиналОтветить0
  • Закрепить