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