Почему ZK является конечной целью? Давайте рассмотрим это с точки зрения @gevulot_network [и да, Gevulot Devnet теперь жив!]

Выражаем благодарность: @teemupai @NorbertVadas @HeslinKim @niluokay @Henrixbor

Gevulot: Блокчейн первого уровня для децентрализованных систем ZK Proof

В этой теме мы начнем с общего обзора ZK провайдеров, а затем углубимся в децентрализованные решения ZK провайдеров и Gevulot. Наша тема разделена на четыре основные части:

- Очень краткое введение в ZK
- Централизованная инфраструктура доказательства
- Децентрализованная инфраструктура доказательства
- Gevulot

Мы начнем с объяснения проблем, с которыми сталкиваются централизованные инфраструктуры доказательства, что приведет нас к попыткам их децентрализации. Наконец, мы представим Gevulot, интересное децентрализованное решение провайдера, которое является блокчейном первого уровня, специально разработанным для децентрализованных систем ZK proof.

1/
Очень краткое введение в ZK

Доказательства с нулевым знанием включают две стороны: провайдера и проверяющего. Цель провайдера — убедить проверяющего в истинности утверждения, не раскрывая никакой информации об самом утверждении. Создание доказательства, которое проверяет правильность утверждения, требует значительных вычислительных ресурсов. Тем не менее, преимущество ZKP заключается в том, что доказательства являются как лаконичными, так и эффективными для проверки, в отличие от прямого вычисления самого утверждения.

2/
Нулевое знание используется в блокчейнах за его лаконичность, масштабируемость, минимизацию доверия, целостность и конфиденциальность. Например:
- Zk-rollups используют нулевое знание для масштабирования, поскольку проверка доказательства более эффективна, чем повторное выполнение всех переходов состояния.

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

- ZK мосты обеспечивают взаимодействие между цепями с минимизацией доверия с использованием ZK доказательств.

- ZK доказательства используются для конфиденциальности в таких проектах, как Zcash, Aztec, Aleo, Ironfish и др.

3/
Централизованная инфраструктура доказательства

Сосредоточимся на ZK rollups, известных решениях, которые используют доказательства с нулевым знанием. В целом, большинство ZK rollups зависит от централизованного провайдера, полагаясь на единую сущность для управления основной инфраструктурой доказательства ZK. Этот централизованный подход имеет несколько преимуществ:

- Проще в обслуживании, так как проект может полностью контролировать инфраструктуру.
- Меньшая сложность, исключающая необходимость в проектировании системы или стимулах для нескольких провайдеров.