От лаборатории Корнелла до Крипто-протокола: доктор Лео Фан о создании ZK-движка Cysic

С нулевыми доказательствами, быстро меняющими границы блокчейна и конфиденциальности, путь от академической теории к реальному протоколу полон проблем. Эта статья погружается в историю доктора Лео Фана — ученого, который перешел из стен ведущей лаборатории Корнелла к совместной разработке ZK (нулевое знание) двигателя в Cysic. По пути мы разбираемся, как строгие исследования сочетаются с инженерными амбициями и что необходимо, чтобы превратить сложные криптографические идеи в действующий протокол.

Изучая переход доктора Фана, технические идеи и видение будущего, читатели получат нюансированное представление о том, как создаются ZK-протоколы — и почему они важны для следующей волны децентрализованных систем.

Q1. Вы сделали большой шаг от академической среды (Cornell → Rutgers) к основанию Cysic. Какой момент или проблема убедила вас оставить исследования/преподавание и создать компанию вокруг ZK аппаратного обеспечения и инфраструктуры?

Во время моего пребывания в академической среде и в исследовательских ролях в индустрии стало очевидно, что системы с нулевым разглашением страдают от фундаментального узкого места: они были математически элегантными, но слишком медленными и неэффективными для реального применения. В Algorand я увидел на собственном опыте, что системы ZK не имели аппаратного обеспечения и инфраструктуры для масштабирования за пределы прототипов. Этот разрыв, а не какой-то отдельный момент, убедил меня оставить Ратгерс и создать Cysic в 2022 году как целенаправленное усилие сделать проверяемые вычисления практичными.

Вопрос 2. Как ваше академическое исследование и ранние роли в индустрии (Algorand, IBM/Bell Labs и т.д.) сформировали техническое видение для Cysic, особенно решение о сочетании пользовательского оборудования (ASIC/CUDA) с децентрализованной сетью провайдеров?

Моя академическая работа в Корнелле под руководством профессора Элейн Ши, известного компьютерного ученого и криптографа, дала мне прочную основу в криптографии и верифицируемых вычислениях. Промышленные роли в Algorand и IBM/Bell Labs ознакомили меня с практическими ограничениями: большинство систем ZK были ограничены вычислениями, а универсальное оборудование не было создано для тех рабочих нагрузок, которые требуют доказательства. Это сочетание — строгая теория плюс реальные узкие места — определило решение Cysic объединить кастомное оборудование (ASIC/CUDA-ускорение) с децентрализованной сетью доказателей. Это был единственный способ сделать доказательства надежно быстрыми, доступными и масштабируемыми.

Q3. Cysic описывает себя как “от кремния до Протокола”. Можете рассказать нам о стеке, от проектирования аппаратного обеспечения до генерации доказательств и расчетов, и какие уровни вы приоритизировали, масштабируя?

“Силикон к Протоколу” означает, что мы оптимизируем каждый слой жизненного цикла доказательства:

Аппаратный уровень: специально разработанные акселераторы для ZK-нагрузок, оптимизированные по скорости и стоимости.

Про слой: децентрализованные сети GPU и ASIC, работающие по нашей модели ComputeFi.

Протокол слой: расчет, проверка и интеграция с рынками доказательств и экосистемами L2.

На ранних этапах мы придавали приоритет аппаратному и слою доказателей, поскольку они являются основой для масштабируемости. ComputeFi — наш механизм для интеграции аппаратного обеспечения в блокчейн — стал прорывным моментом, позволяющим осуществлять верифицируемые, децентрализованные вычисления в большом масштабе.

Q4. Проектирование аппаратного ускорителя для Протоколов ZK необычайно сложно. С какими наиболее значительными инженерными неожиданностями или компромиссами вы столкнулись, пытаясь оптимизировать пропускную способность, задержку, стоимость и универсальность в различных системах доказательства?

Оптимизация пропускной способности, задержки, стоимости и универсальности одновременно является по своей природе сложной задачей. Нашим самым большим прорывом стал ComputeFi, который позволил нам напрямую отображать аппаратные ресурсы в блокчейне. Этот выбор дизайна разрешил многие компромиссы между гибкостью и производительностью и стал основой нашего долгосрочного видения для децентрализованного, проверяемого вычисления.

Q5. Cysic позиционирует себя как своего рода ZK DePIN (рынка вычислительных ресурсов). Как вы думаете, как децентрализация ZK вычислений изменяет экономику и UX ZK роллапов и L2?

Сегодняшний рынок DePIN в значительной степени зависит от оборудования крупных производителей графических процессоров, таких как Nvidia. На самом деле графические процессоры Nvidia составляют около 80% инфраструктуры DePIN, которую мы видим сегодня. Это приводит к монополизации, где рынок сильно зависит от цен, решений и возможностей обновления Nvidia. Меньшие разработчики также испытывают негативное влияние из-за высоких цен на графические процессоры, поскольку они не могут позволить себе экономию на масштабах, которой пользуются более хорошо финансируемые разработчики.

Децентрализация вычислительной мощности является решением, так как пользователям больше не нужно покупать и владеть дорогим оборудованием; вместо этого они могут получить доступ к вычислительной мощности высокой производительности по требованию. Это позволяет более мелким разработчикам с меньшим финансированием избегать покупки и обслуживания дорогого физического оборудования и только приобретать доступ, когда это необходимо для таких операций, как бенчмаркинг или тестирование.

Q6. Соответствие продукта и рынка часто требует изменений. Как изменились дорожная карта продукта и стратегия выхода на рынок Cysic с момента самого раннего прототипа до текущих фаз тестнета, и какие отзывы пользователей/партнеров стали движущей силой этих изменений?

Наш дорожная карта следует целенаправленному, последовательному расширению. Рынок доказательств является нашим основным слоем. Отсюда мы расширяемся на более широкий рынок вычислений через AI верификацию, вывод и ZK машинное обучение. Эволюция была вызвана отзывами партнеров и клиентов, запрашивающими единое инфраструктуру для рабочих нагрузок как AI, так и ZK. В результате мы теперь предоставляем серверы и услуги, которые поддерживают этот более широкий класс вычислительных задач.

Q7. Экономика сообщества и операторов имеет критическое значение для DePIN. Как вы разработали стимулы, инструменты и процесс вовлечения, чтобы разнообразие поставщиков оборудования ( от хоббийных GPU до ASIC) могло участвовать устойчиво?

Механизмы, обеспечивающие долгосрочную устойчивость, включают слэшинг: если провайдеры или валидаторы не могут ответить вовремя, их $CYS токены будут изъяты и распределены между другими. Это гарантирует, что валидаторы занимаются задачами, что предотвращает долгие задержки.

Для майнеров мы применяем сбор за обслуживание на BTC, который сжигается со временем. Эти механизмы обеспечивают жизнеспособность, не поощряют плохую производительность и вознаграждают долгосрочное, надежное участие в спектре оборудования.

Q8. Можете ли вы поделиться уроками по масштабированию экосистемы Cysic, партнерствам, интеграциям, инструментам для разработчиков или отношениям с инкубаторами/валидаторами, которые существенно ускорили принятие?

Самый важный урок — это адаптивность. Крипто-ландшафт постоянно меняется, и жесткие дорожные карты редко выживают при контакте с рыночной реальностью. Хотя создание сообщества и крепкие партнерства в экосистеме были необходимыми, адаптивность стала решающим фактором — возможность быстро уточнять инструменты, интеграции и партнерства позволила нам встретиться с разработчиками и сетями там, где возникают их потребности.

Q9. По поводу управления и токенов (, если вы можете об этом сказать ): какую модель управления и экономические рычаги вы считаете необходимыми для балансировки децентрализации, безопасности и долгосрочного финансирования Протокола?

Основные экономические рычаги, на которые мы полагаемся, это сокращение, динамические вознаграждения для провайдеров и валидаторов, а также механизмы сжигания сборов, связанные с затратами на обслуживание. Это согласует стимулы по всей сети, обеспечивая сохранение безопасности и жизнеспособности, создавая при этом устойчивый долгосрочный цикл финансирования для Протокол.

Q10. Безопасность и доверие являются основными аспектами инфраструктуры ZK. Как вы подходите к управлению рисками, например, аппаратным сбоям, злонамеренным провайдерам или атакам на цепочку поставок, и какие уровни защиты вы придаете приоритет?

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

Q11. Оглядываясь на ваш переход от профессора к генеральному директору, какие мягкие навыки или неожиданные управленческие проблемы были hardest to learn, и какой совет вы бы дали другим академикам, думающим о создании стартапа в области глубоких технологий?

Будучи профессором и основателем стартапа, я исполнял две совершенно разные роли. Как профессор, я должен был быть точным, осторожным в своих утверждениях и чрезмерно подготовленным; каждая работа должна была быть отшлифована перед публикацией.

В стартапе всё почти наоборот. Мне пришлось научиться сосредотачиваться на макровидении и работать с высокой точки зрения. Вместо того чтобы ждать идеальных результатов, мне нужно было показывать прогресс шаг за шагом и быть уверенным в каждом улучшении. Эта установка напрямую противоречит академической подготовке, где от вас ожидается избегать предварительных заявлений, пока всё не будет доказано.

Мой основной совет ученым, рассматривающим создание стартапа в области глубоких технологий, заключается в том, чтобы не сосредотачиваться исключительно на технологии. 99% стартапов не могут победить только за счет технологий. Вам нужны PR, маркетинг, партнерства и сообщество. Как основатель, вы должны управлять всем этим и сохранять фокус на более широкой картине.

Q12. Как будет выглядеть успех для Cysic через пять лет, с технической точки зрения, для экосистемы и для более широкой среды ZK? И какие основные технические или рыночные риски вы сейчас отслеживаете?

Успех означает стать основным решением для масштабируемого, экономичного аппаратного ускорения для всей экосистемы ZK и проверяемых вычислений. Наша долгосрочная цель заключается в том, чтобы служить основой инфраструктуры для инноваций как в области ИИ, так и криптовалют. Основные риски сегодня - это волатильность рынка и быстрые темпы технологических изменений, что подчеркивает необходимость оставаться адаптивными, создавая при этом более широкое видение.