Современные zk-SNARKs системы возникли в 1985 году в результате сотрудничества Голдвассера, Микали и Раккофа. В этой работе рассматривается, сколько знаний необходимо обменять для доказательства истинности утверждения в интерактивных системах через многораундные взаимодействия. Если можно реализовать обмен без знания, это называется zk-SNARKs. Ранние системы zk-SNARKs страдали от недостаточной эффективности и удобства, в основном оставались на теоретическом уровне. За последние десять лет, с ростом криптографии в области криптовалют, zk-SNARKs постепенно стали важным направлением исследований.
Ключевым прорывом в области нулевых знаний является работа Грота, опубликованная в 2010 году, которая заложила теоретическую основу для zk-SNARKs. В 2015 году Zcash применил нулевые знания для защиты конфиденциальности транзакций, что стало важным прогрессом в области применения нулевых знаний. С тех пор zk-SNARKs сочетались со смарт-контрактами, и сферы применения продолжают расширяться.
Другие важные научные достижения включают: протокол Pinocchio 2013 года, алгоритм Groth16 2016 года, алгоритм Bulletproofs 2017 года, протокол zk-STARKs 2018 года и т.д. Эти достижения представляют собой важные улучшения в размерах доказательств, эффективности проверки и других аспектах.
Два. Основные применения zk-SNARKs
Два самых широких применения zk-SNARKs — это защита конфиденциальности и масштабируемость.
В области защиты конфиденциальности представительные проекты включают Zcash, Monero и другие. Например, Zcash использует zk-SNARKs для обеспечения конфиденциальности транзакций, основные этапы включают настройку системы, генерацию ключей, чеканку, перевод, проверку и получение. Однако уровень использования конфиденциальных транзакций Zcash невысок, что показывает, что спрос на конфиденциальность не соответствует ожиданиям.
В области масштабирования ZK Rollup является важным приложением. ZK Rollup включает две роли: Sequencer и Aggregator, которые осуществляют масштабирование путем пакетной обработки транзакций и генерации zk-SNARKs. По сравнению с Optimistic Rollup, ZK Rollup имеет преимущества в низких затратах и быстрой финализации, но также сталкивается с такими вызовами, как большая вычислительная нагрузка и необходимость в доверительной настройке.
В настоящее время основными проектами ZK Rollup являются StarkNet, zkSync, Aztec, Polygon Hermez и другие. Основные технические направления сосредоточены на выборе между SNARK и STARK, а также на поддержке совместимости с EVM. Проблема совместимости с EVM всегда была в центре внимания отрасли, и недавние технологические достижения подняли совместимость EVM на новый уровень, что повлияет на развитие экосистемы ZK.
Три. Основные принципы ZK-SNARKs
ZK-SNARKs является важной реализацией零知识证明. Он обладает такими характеристиками, как нулевое знание, компактность и неинтерактивность.
Основные шаги ZK-SNARK включают:
Преобразуйте задачу в схему
Преобразование схемы в форму R1CS
Преобразование R1CS в форму QAP
Создание доверенной настройки, генерация ключа доказательства и ключа проверки
Генерация и проверка ZK-SNARKs доказательств
Суть ZK-SNARK заключается в том, чтобы с помощью сложных математических преобразований преобразовать задачу в форму, которую можно эффективно доказать и проверить. Это заложило основу для широкого применения нулевых знаний в таких областях, как блокчейн.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
17 Лайков
Награда
17
5
Поделиться
комментарий
0/400
SandwichHunter
· 2ч назад
Эта zk на таком уровне? Короче, придется опуститься.
Посмотреть ОригиналОтветить0
TokenUnlocker
· 08-06 00:00
Эта технология что-то значит
Посмотреть ОригиналОтветить0
MaticHoleFiller
· 08-05 23:50
В слое конфиденциальности всегда происходят важные события.
Посмотреть ОригиналОтветить0
MEVictim
· 08-05 23:49
Жаль, что я могу понять только то, что zk - это zkSync
Развитие и применение zk-SNARKs: от теоретических прорывов до практики ZK Rollup
История, применение и принципы zk-SNARKs
Один. Развитие zk-SNARKs
Современные zk-SNARKs системы возникли в 1985 году в результате сотрудничества Голдвассера, Микали и Раккофа. В этой работе рассматривается, сколько знаний необходимо обменять для доказательства истинности утверждения в интерактивных системах через многораундные взаимодействия. Если можно реализовать обмен без знания, это называется zk-SNARKs. Ранние системы zk-SNARKs страдали от недостаточной эффективности и удобства, в основном оставались на теоретическом уровне. За последние десять лет, с ростом криптографии в области криптовалют, zk-SNARKs постепенно стали важным направлением исследований.
Ключевым прорывом в области нулевых знаний является работа Грота, опубликованная в 2010 году, которая заложила теоретическую основу для zk-SNARKs. В 2015 году Zcash применил нулевые знания для защиты конфиденциальности транзакций, что стало важным прогрессом в области применения нулевых знаний. С тех пор zk-SNARKs сочетались со смарт-контрактами, и сферы применения продолжают расширяться.
Другие важные научные достижения включают: протокол Pinocchio 2013 года, алгоритм Groth16 2016 года, алгоритм Bulletproofs 2017 года, протокол zk-STARKs 2018 года и т.д. Эти достижения представляют собой важные улучшения в размерах доказательств, эффективности проверки и других аспектах.
Два. Основные применения zk-SNARKs
Два самых широких применения zk-SNARKs — это защита конфиденциальности и масштабируемость.
В области защиты конфиденциальности представительные проекты включают Zcash, Monero и другие. Например, Zcash использует zk-SNARKs для обеспечения конфиденциальности транзакций, основные этапы включают настройку системы, генерацию ключей, чеканку, перевод, проверку и получение. Однако уровень использования конфиденциальных транзакций Zcash невысок, что показывает, что спрос на конфиденциальность не соответствует ожиданиям.
В области масштабирования ZK Rollup является важным приложением. ZK Rollup включает две роли: Sequencer и Aggregator, которые осуществляют масштабирование путем пакетной обработки транзакций и генерации zk-SNARKs. По сравнению с Optimistic Rollup, ZK Rollup имеет преимущества в низких затратах и быстрой финализации, но также сталкивается с такими вызовами, как большая вычислительная нагрузка и необходимость в доверительной настройке.
В настоящее время основными проектами ZK Rollup являются StarkNet, zkSync, Aztec, Polygon Hermez и другие. Основные технические направления сосредоточены на выборе между SNARK и STARK, а также на поддержке совместимости с EVM. Проблема совместимости с EVM всегда была в центре внимания отрасли, и недавние технологические достижения подняли совместимость EVM на новый уровень, что повлияет на развитие экосистемы ZK.
Три. Основные принципы ZK-SNARKs
ZK-SNARKs является важной реализацией零知识证明. Он обладает такими характеристиками, как нулевое знание, компактность и неинтерактивность.
Основные шаги ZK-SNARK включают:
Суть ZK-SNARK заключается в том, чтобы с помощью сложных математических преобразований преобразовать задачу в форму, которую можно эффективно доказать и проверить. Это заложило основу для широкого применения нулевых знаний в таких областях, как блокчейн.