Cysic Network — первая в отрасли децентрализованная сеть валидаторов, специально созданная для доказательств с нулевым разглашением (ZK), предоставляющая самым быстрым и дешевым способом услуги по генерации и верификации доказательств для проектов ZK с помощью собственных ASIC-чипов и вычислительных мощностей сообщества на GPU. Сеть использует консенсус Proof of Compute, совмещая достоинства Proof of Work и Proof of Stake. Участники получают вознаграждение в токенах за предоставление вычислительной мощности, стейкинг токенов или участие в управлении.
Почему ускоритель ZK-доказательств стал насущной необходимостью
Доказательство с нулевым разглашением (ZKP) — это криптографическая концепция, позволяющая одной стороне доказать другой истину утверждения, не раскрывая никакой дополнительной информации. Эта технология находит множество применений в криптоиндустрии: построение приватных блокчейнов, увеличение пропускной способности блокчейнов первого уровня и обеспечение взаимодействия между двумя независимыми блокчейнами. Однако процесс генерации ZK-доказательств крайне ресурсоемок и требует большого количества сложных математических вычислений, таких как возведение в степень, инверсия, умножение многочленов и интенсивные операции по перемещению данных.
Такие высокие вычислительные требования напоминают сценарии майнинга биткоина, но генерация ZK-доказательств еще более сложна. Традиционные централизованные решения дороги и подвержены риску единой точки отказа, тогда как концепция децентрализованных валидаторов предлагает более надежное решение. Именно для устранения этих двух болевых точек — децентрализации валидаторов и высокой задержки/стоимости расчетов доказательств — и был создан Cysic Network.
При расчетах ZK-доказательств в Ethereum стоимость и задержка очень высоки. Текущее решение — агрегировать несколько доказательств и затем размещать агрегированные доказательства в Ethereum, что частично снижает затраты на gas для верификации, но увеличивает время ожидания. Cysic Network предлагает оптимальное решение, вынося расчет ZK-доказательств за пределы Ethereum, поскольку это по сути почти статeless-процесс.
Как работает Proof of Compute
Cysic Network использует новый механизм консенсуса — Proof of Compute (PoC), по сути вероятностный византийско-отказоустойчивый протокол. Проще говоря, PoC достигает консенсуса с помощью секретных, справедливых и верифицируемых выборов лидеров в каждом эпохе, когда определенное количество участников может получить право добавить блок в цепочку на основе справедливых и публично проверяемых стандартов.
Блокчейн делится на несколько эпох, каждая из которых содержит фиксированное число блоков. Для достижения консенсуса в каждой эпохе доказатели выполняют следующие шаги: сначала они соревнуются в решении задачи, основанной на головоломке предыдущей эпохи, чтобы сформировать комитет. В комитет входят определенное количество самых быстрых доказателей, ответственных за предложение блоков в данной эпохе. После формирования комитета консенсус в этот период достигается с помощью встроенного в Cosmos SDK механизма PoS, причем стейк ограничен только членами комитета.
Эта конструкция балансирует между эффективностью, справедливостью и децентрализацией. В отличие от классического PoW, вычислительные задачи PoC не нацелены на бессмысленное энергопотребление, а на отбор наиболее способных доказателей. В отличие от чистого PoS, PoC требует, чтобы члены комитета обладали реальной вычислительной мощностью, а не только крупным токеновым балансом.
Роли и доходы трех категорий участников Cysic Network
Доказатели (Provers): отвечают за генерацию ZK-доказательств с помощью мощного оборудования (GPU, ASIC), должны застейкать определенное количество $Token для выполнения задания и получают вознаграждение за создание валидных ZK-доказательств, которое распределяется в $Token через определенные интервалы
Члены верификационного комитета (VCM): проверяют корректность доказательств, созданных доказателями, а также участвуют и голосуют по управленческим предложениям; благодаря компактности ZKP для верификации зачастую нужен менее мощный hardware, чем у доказателей. Для участия в VCM необходимо застейкать токены $Token , при этом право голоса пропорционально количеству стейка.
Агенты (Agents): их задача — направлять задания на доказательства от ZK-проектов в сеть и обратно передавать нужную информацию; на первом этапе за это отвечает команда Cysic, со временем процесс станет permissionless, а агенты должны будут предоставлять необходимый токеновый залог.
Двойная токеномика и принципы управления
В Cysic Network реализован механизм двух токенов: $Token и $veToken (токен управления). $Token — нативный токен, используемый для оплаты gas, блоковых и стейкинговых наград. $veToken — это невзаимозаменяемый токен управления, который нельзя передавать, он получается путем блокировки $Token . Право голоса пользователя пропорционально количеству и сроку блокировки $veToken .
Механизм голосования позволяет Cysic Network аккумулировать ценность всего ZK-экосистемы. Доказатели и валидаторы предоставляют вычислительные мощности в пулы, которые обслуживают различные ZK-проекты. Пользователи могут покупать $Token и блокировать их для получения права голоса для управления пулами вычислений. Распределение мощностей может динамически меняться в зависимости от ряда ключевых факторов, среди которых вознаграждение от ZK-проектов — один из главных.
Базовый срок блокировки $Token — 6 месяцев, с возможностью продления для участия в распределении наград. Чем дольше срок блокировки, тем больше $veToken можно получить. Разные сроки блокировки приводят к разным коэффициентам $veToken , примерно в линейной зависимости. По мере сокращения остаточного времени блокировки количество $veToken тоже плавно уменьшается. Участники могут включить автоматическую повторную блокировку — тогда остаточный срок блокировки $Token будет оставаться постоянным.
Дорожная карта тестовой сети из трех этапов
Тестовая сеть Cysic Network состоит из трех фаз, каждая из которых вводит систему начисления баллов. Первая фаза стартовала в конце июля и включает базовые возможности сети: блокчейн на базе Cosmos, централизованный планировщик распределения заданий, процесс регистрации проектов, участие доказателей и валидаторов, процесс трекинга заданий, дашборд, обозреватель блоков и т.д. Пользователи, присоединившиеся в роли валидаторов, автоматически получают вознаграждение за их вклад в верификацию.
Вторая фаза запланирована на начало сентября 2024 года, главное нововведение — механизм вычислительных доказательств. Вводится новый механизм консенсуса, что повышает безопасность и уровень децентрализации. Владельцы значительных вычислительных ресурсов смогут выступать как доказатели и валидаторы, зарабатывая вознаграждение за предоставление ресурсов.
Третья фаза — последний тестнет перед запуском основной сети, ожидается к концу ноября 2024 года. Главные нововведения: процесс распределения заданий, возможность permissionless-присоединения к сети и функция голосования. Доказатели и валидаторы будут вычислять верифицируемую случайную функцию для определения права на выполнение конкретных заданий. Если тестнет пройдет успешно, запуск основной сети намечен на начало 2025 года.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Что такое Cysic Network? В эпоху майнинга 2.0 каждый может вносить вычислительную мощность и зарабатывать токены
Cysic Network — первая в отрасли децентрализованная сеть валидаторов, специально созданная для доказательств с нулевым разглашением (ZK), предоставляющая самым быстрым и дешевым способом услуги по генерации и верификации доказательств для проектов ZK с помощью собственных ASIC-чипов и вычислительных мощностей сообщества на GPU. Сеть использует консенсус Proof of Compute, совмещая достоинства Proof of Work и Proof of Stake. Участники получают вознаграждение в токенах за предоставление вычислительной мощности, стейкинг токенов или участие в управлении.
Почему ускоритель ZK-доказательств стал насущной необходимостью
Доказательство с нулевым разглашением (ZKP) — это криптографическая концепция, позволяющая одной стороне доказать другой истину утверждения, не раскрывая никакой дополнительной информации. Эта технология находит множество применений в криптоиндустрии: построение приватных блокчейнов, увеличение пропускной способности блокчейнов первого уровня и обеспечение взаимодействия между двумя независимыми блокчейнами. Однако процесс генерации ZK-доказательств крайне ресурсоемок и требует большого количества сложных математических вычислений, таких как возведение в степень, инверсия, умножение многочленов и интенсивные операции по перемещению данных.
Такие высокие вычислительные требования напоминают сценарии майнинга биткоина, но генерация ZK-доказательств еще более сложна. Традиционные централизованные решения дороги и подвержены риску единой точки отказа, тогда как концепция децентрализованных валидаторов предлагает более надежное решение. Именно для устранения этих двух болевых точек — децентрализации валидаторов и высокой задержки/стоимости расчетов доказательств — и был создан Cysic Network.
При расчетах ZK-доказательств в Ethereum стоимость и задержка очень высоки. Текущее решение — агрегировать несколько доказательств и затем размещать агрегированные доказательства в Ethereum, что частично снижает затраты на gas для верификации, но увеличивает время ожидания. Cysic Network предлагает оптимальное решение, вынося расчет ZK-доказательств за пределы Ethereum, поскольку это по сути почти статeless-процесс.
Как работает Proof of Compute
Cysic Network использует новый механизм консенсуса — Proof of Compute (PoC), по сути вероятностный византийско-отказоустойчивый протокол. Проще говоря, PoC достигает консенсуса с помощью секретных, справедливых и верифицируемых выборов лидеров в каждом эпохе, когда определенное количество участников может получить право добавить блок в цепочку на основе справедливых и публично проверяемых стандартов.
Блокчейн делится на несколько эпох, каждая из которых содержит фиксированное число блоков. Для достижения консенсуса в каждой эпохе доказатели выполняют следующие шаги: сначала они соревнуются в решении задачи, основанной на головоломке предыдущей эпохи, чтобы сформировать комитет. В комитет входят определенное количество самых быстрых доказателей, ответственных за предложение блоков в данной эпохе. После формирования комитета консенсус в этот период достигается с помощью встроенного в Cosmos SDK механизма PoS, причем стейк ограничен только членами комитета.
Эта конструкция балансирует между эффективностью, справедливостью и децентрализацией. В отличие от классического PoW, вычислительные задачи PoC не нацелены на бессмысленное энергопотребление, а на отбор наиболее способных доказателей. В отличие от чистого PoS, PoC требует, чтобы члены комитета обладали реальной вычислительной мощностью, а не только крупным токеновым балансом.
Роли и доходы трех категорий участников Cysic Network
Доказатели (Provers): отвечают за генерацию ZK-доказательств с помощью мощного оборудования (GPU, ASIC), должны застейкать определенное количество $Token для выполнения задания и получают вознаграждение за создание валидных ZK-доказательств, которое распределяется в $Token через определенные интервалы
Члены верификационного комитета (VCM): проверяют корректность доказательств, созданных доказателями, а также участвуют и голосуют по управленческим предложениям; благодаря компактности ZKP для верификации зачастую нужен менее мощный hardware, чем у доказателей. Для участия в VCM необходимо застейкать токены $Token , при этом право голоса пропорционально количеству стейка.
Агенты (Agents): их задача — направлять задания на доказательства от ZK-проектов в сеть и обратно передавать нужную информацию; на первом этапе за это отвечает команда Cysic, со временем процесс станет permissionless, а агенты должны будут предоставлять необходимый токеновый залог.
Двойная токеномика и принципы управления
В Cysic Network реализован механизм двух токенов: $Token и $veToken (токен управления). $Token — нативный токен, используемый для оплаты gas, блоковых и стейкинговых наград. $veToken — это невзаимозаменяемый токен управления, который нельзя передавать, он получается путем блокировки $Token . Право голоса пользователя пропорционально количеству и сроку блокировки $veToken .
Механизм голосования позволяет Cysic Network аккумулировать ценность всего ZK-экосистемы. Доказатели и валидаторы предоставляют вычислительные мощности в пулы, которые обслуживают различные ZK-проекты. Пользователи могут покупать $Token и блокировать их для получения права голоса для управления пулами вычислений. Распределение мощностей может динамически меняться в зависимости от ряда ключевых факторов, среди которых вознаграждение от ZK-проектов — один из главных.
Базовый срок блокировки $Token — 6 месяцев, с возможностью продления для участия в распределении наград. Чем дольше срок блокировки, тем больше $veToken можно получить. Разные сроки блокировки приводят к разным коэффициентам $veToken , примерно в линейной зависимости. По мере сокращения остаточного времени блокировки количество $veToken тоже плавно уменьшается. Участники могут включить автоматическую повторную блокировку — тогда остаточный срок блокировки $Token будет оставаться постоянным.
Дорожная карта тестовой сети из трех этапов
Тестовая сеть Cysic Network состоит из трех фаз, каждая из которых вводит систему начисления баллов. Первая фаза стартовала в конце июля и включает базовые возможности сети: блокчейн на базе Cosmos, централизованный планировщик распределения заданий, процесс регистрации проектов, участие доказателей и валидаторов, процесс трекинга заданий, дашборд, обозреватель блоков и т.д. Пользователи, присоединившиеся в роли валидаторов, автоматически получают вознаграждение за их вклад в верификацию.
Вторая фаза запланирована на начало сентября 2024 года, главное нововведение — механизм вычислительных доказательств. Вводится новый механизм консенсуса, что повышает безопасность и уровень децентрализации. Владельцы значительных вычислительных ресурсов смогут выступать как доказатели и валидаторы, зарабатывая вознаграждение за предоставление ресурсов.
Третья фаза — последний тестнет перед запуском основной сети, ожидается к концу ноября 2024 года. Главные нововведения: процесс распределения заданий, возможность permissionless-присоединения к сети и функция голосования. Доказатели и валидаторы будут вычислять верифицируемую случайную функцию для определения права на выполнение конкретных заданий. Если тестнет пройдет успешно, запуск основной сети намечен на начало 2025 года.