Почему ZK так сложно? В одной статье объясняется "мучительная" вычислительная сложность zk-SNARKs.
zk-SNARKs (ZKP) звучит как магия: может позволить вам доказать "Я знаю", не раскрывая "Как я знаю".
Но у него есть смертельный недостаток — Это слишком сложно.
🧵Разверну подробнее:
1️⃣ Что такое ZK? Объясним на примере еды рамен:
Ты сказал боссу: "Вчера я съел 100 мисок рамен, позволь мне попасть в список гурманов!"
Босс: Принеси доказательства!
Ты сказал: "Я не предоставляю местоположение, не передаю видео, но я могу заставить тебя поверить на 100%."
Это суть ZK: Не раскрывать процесс, только проверять результат.
2️⃣ Насколько сложно вычислить ZK?
С помощью ZK вы можете: • Построить поведение в виде схемы/функции •Создание математических доказательств •Позвольте другим проверить без ошибок за несколько секунд
Это как:
🔧Ты написал 50 000 строк формул в Excel 📦Сжать до 2KB ✅Другие проверяют за несколько секунд с помощью калькулятора
Для обычных компьютеров? Это просто адская сложность.
3️⃣ ЗК действительно стоит того?
Конечно, стоит! В настоящее время все больше ситуаций вовлекают это: Сцена Зачем нужен ZK? Роллап Сжатие затрат на транзакции в блокчейне аутентификация Проверка без раскрытия конфиденциальной информации голосование Анонимно + Проверяемо Но проблема тоже возникла: каждый раз, когда используется ZK, это как участвовать в олимпиаде по математике.
4️⃣ @cysic_xyz как это делается?
Другие занимаются оптимизацией алгоритмов, а Cysic сразу переходит к аппаратному обеспечению:
💡“ZK слишком сложно считать? Тогда мы создадим чип, специально для его ускорения!”
Cysic позиционируется как: •Другие используют CPU для создания zk-SNARKs •Cysic использует специализированные GPU для zk-SNARKs •Другие поднимаются в гору на велосипеде •Он напрямую на F1 гонки двигатель
5️⃣ ZK очень красив, но чтобы он работал, нужно оборудование.
ZK — это Photoshop в мире Web3, Но без видеокарты он не запустится.
Появление Cysic знаменует собой официальное вступление ZK в «эпоху GPU».
Все ради того, чтобы:
✅ zk-SNARKs быстрее ✅ Более низкие затраты ✅ Реально осуществимо
Очарование ZK = Безопасность + Конфиденциальность + Простота Но проблема всегда была в том, «можно ли это запустить».
А Cysic предлагает реальное решение с использованием аппаратного обеспечения.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Почему ZK так сложно? В одной статье объясняется "мучительная" вычислительная сложность zk-SNARKs.
zk-SNARKs (ZKP) звучит как магия:
может позволить вам доказать "Я знаю", не раскрывая "Как я знаю".
Но у него есть смертельный недостаток —
Это слишком сложно.
🧵Разверну подробнее:
1️⃣ Что такое ZK? Объясним на примере еды рамен:
Ты сказал боссу: "Вчера я съел 100 мисок рамен, позволь мне попасть в список гурманов!"
Босс: Принеси доказательства!
Ты сказал: "Я не предоставляю местоположение, не передаю видео, но я могу заставить тебя поверить на 100%."
Это суть ZK:
Не раскрывать процесс, только проверять результат.
2️⃣ Насколько сложно вычислить ZK?
С помощью ZK вы можете:
• Построить поведение в виде схемы/функции
•Создание математических доказательств
•Позвольте другим проверить без ошибок за несколько секунд
Это как:
🔧Ты написал 50 000 строк формул в Excel
📦Сжать до 2KB
✅Другие проверяют за несколько секунд с помощью калькулятора
Для обычных компьютеров? Это просто адская сложность.
3️⃣ ЗК действительно стоит того?
Конечно, стоит! В настоящее время все больше ситуаций вовлекают это:
Сцена
Зачем нужен ZK?
Роллап
Сжатие затрат на транзакции в блокчейне
аутентификация
Проверка без раскрытия конфиденциальной информации
голосование
Анонимно + Проверяемо
Но проблема тоже возникла: каждый раз, когда используется ZK, это как участвовать в олимпиаде по математике.
4️⃣ @cysic_xyz как это делается?
Другие занимаются оптимизацией алгоритмов, а Cysic сразу переходит к аппаратному обеспечению:
💡“ZK слишком сложно считать? Тогда мы создадим чип, специально для его ускорения!”
Cysic позиционируется как:
•Другие используют CPU для создания zk-SNARKs
•Cysic использует специализированные GPU для zk-SNARKs
•Другие поднимаются в гору на велосипеде
•Он напрямую на F1 гонки двигатель
5️⃣ ZK очень красив, но чтобы он работал, нужно оборудование.
ZK — это Photoshop в мире Web3,
Но без видеокарты он не запустится.
Появление Cysic знаменует собой официальное вступление ZK в «эпоху GPU».
Все ради того, чтобы:
✅ zk-SNARKs быстрее
✅ Более низкие затраты
✅ Реально осуществимо
Очарование ZK = Безопасность + Конфиденциальность + Простота
Но проблема всегда была в том, «можно ли это запустить».
А Cysic предлагает реальное решение с использованием аппаратного обеспечения.