Сеть ℤeeka — Сеть с нулевым разглашением
Что такое Зика?
Проще говоря, Zeeka (ℤ) — это криптовалюта, целью которой является предоставление легкого и масштабируемого блокчейна за счет широкого использования технологии доказательства (proof) с нулевым разглашением .
Для получения подробной технической информации прочитайте технический документ Zeeka ! Также мы активно развиваем проект Zeeka. Следите за нами на GitHub!
Хм? Доказательства нулевого разглашения? 🤔
Протокол с нулевым разглашением — это криптографический метод, с помощью которого кто-то может доказать, что знает ответ на проблему , фактически не раскрывая его. Очень хороший пример интерактивного доказательства с нулевым разглашением приведен ниже:
- Предположим, что у Алисы завязаны глаза и у нее в руках два мяча. Боб, способный видеть шары, утверждает, что шары разного цвета. Алиса не доверяет Бобу. Как Боб может убедить Алису, что шары разного цвета ( Задача ), не открывая Алисе глаза (Выявление ответа )?
- Она сначала прячет шарики за его спиной.
- Она перемешивает шары с вероятностью 50%.
- Она снова показывает шарики Бобу и спрашивает его: — Я перетасовала шарики?
Если бы шарики действительно были разного цвета, Боб дал бы Алисе правильный ответ. Если он не может различить их цвета, он все равно может дать Алисе случайный ответ, и его ответ все еще может быть правильным. Но шанс дать правильный ответ составляет 50%.
Алиса повторяет процедуру 20 раз. Если шары одного цвета, шансы на то, что Боб даст правильный ответ все 20 раз, составляют (1/2)²⁰ (около 0,000001%). Вероятность настолько мала, что Алиса может сделать вывод, что Боб действительно способен различать шары, что приводит к заключению, что они действительно имеют разные цвета.
Что ты пытаешься доказать? 😐
Предположим, существует новая платежная система, состоящая из дерева Меркла, в котором каждый лист представляет учетную запись (открытый ключ и баланс). Мы определяем состояние системы как корень Меркла этого дерева.
Мы хотим доказать, что произошел большой набор транзакций, изменив состояние системы с A на B ( проблема ), не показывая транзакции ( ответ ).
А теперь сногсшибательный факт:
Доказательство , которое вы предоставляете, имеет постоянный размер, независимо от того , насколько велик ответ . Например, ответом могут быть миллионы транзакций, но вам не нужно их показывать, чтобы произошел переход состояния. Доказательства постоянного размера достаточно, чтобы убедить всех, что переход состояния действителен! 🤯
Эммм, у Эфириума уже есть это с zkRollups? 🙄
Ты словил нас! Но есть большая разница. В zkRollups, есть центрированный оператор, постоянно публикующий доказательства нулевого разглашения на главной цепочке, и если оператор перестает это делать (то есть становится недоступным), цепочка откатывается в предыдущее состояние, из которого другой оператор может продолжить работу. Это огромная сложность.
Блокчейны, такие как Ethereum/Bitcoin, обеспечивают доступность данных истории цепочки, а не состояние SNARK. Узлы и валидаторы Zeeka реализованы таким образом, что принимают только форки, которые раскрывают состояние цепочки их последнего блока, а это означает, что они будут проверять, приводит ли хэш предоставленного состояния к хэшу состояния, отправленному в последнем блоке. Этот механизм гарантирует, что сжатое состояние последнего блока всегда доступно. Более длинная подцепочка, состояние вершины которой недоступно, ничего не стоит и не принимается сетью. Это значительно устраняет упомянутые сложности, а также создает пространство для творчества.
Ладно, как ты собираешься обращаться со смарт-контрактами? 😉
Эквивалентом смарт-контракта в блокчейне Zeeka является нулевой контракт . Контракты в блокчейне Zeeka написаны не для конкретной виртуальной машины (например, EVM), а написаны в R1CS (который является строительным блоком цепей zkSNARK).
В этой схеме программист загружает ключи проверки своего контракта R1CS (который может состоять из нескольких цепей) в блокчейн, и люди могут легко вызывать эти схемы и переходить из одного состояния в другое с помощью одной небольшой транзакции (которая может быть сжатой). версия тысячи транзакций).
Как я могу стать частью этого? ❤️
Следите за нами на GitHub! Внесите свой вклад в проект, написав код или продвигая его. 💸 Инвестиции также приветствуются. Оставайтесь на связи со мной в Telegram :) @keyvankambakhsh
Белая книга: https://hackmd.io/@keyvank/zeeka