Почему ZK является конечной целью? Давайте рассмотрим это с точки зрения @gevulot_network [и да, Gevulot Devnet теперь жив!] Выражаем благодарность: @teemupai @NorbertVadas @HeslinKim @niluokay @HenrixborGevulot: Блокчейн первого уровня для децентрализованных систем 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. Этот централизованный подход имеет несколько преимуществ:- Проще в обслуживании, так как проект может полностью контролировать инфраструктуру.- Меньшая сложность, исключающая необходимость в проектировании системы или стимулах для нескольких провайдеров.