Від лабораторії Корнелла до Крипто Протоколу: д-р Лео Фан про будівництво ZK-двигуна Cysic

З нульовими доказами, які швидко змінюють кордони блокчейну та приватності, шлях від академічної теорії до реального протоколу сповнений викликів. У цій статті ми занурюємось у історію доктора Лео Фана — вченого, який перейшов із залів провідної лабораторії Корнельського університету до спільного створення ZK (zero-knowledge) движка в Cysic. На цьому шляху ми розкриваємо, як строгі дослідження поєднуються з інженерними амбіціями, і що потрібно, щоб перетворити складні криптографічні ідеї на живий протокол.

Досліджуючи перехід доктора Фана, технічні інсайти та бачення майбутнього, читачі отримають детальне уявлення про те, як створюються ZK-рушії — і чому вони важливі для наступної хвилі децентралізованих систем.

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

Під час мого перебування в академії та в дослідницьких ролях в індустрії стало зрозуміло, що системи нульового знання страждають від фундаментального вузького місця: вони були mathematically elegant, але занадто повільні та неефективні для реального впровадження. В Algorand я на власні очі побачив, що системам ZK бракує апаратного забезпечення та інфраструктури для масштабування за межі прототипів. Ця прогалина, а не якийсь окремий момент, переконала мене залишити Rutgers і створити Cysic у 2022 році як спеціалізовану ініціативу, щоб зробити перевіряєму обчислювальну практику.

Q2. Як ваше академічне дослідження та ранні ролі в індустрії (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 rollups і L2?

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

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

Q6. Відповідність продукту ринку часто вимагає змін. Як змінився дорожня карта продукту та вихід на ринок Cysic з найпершого прототипу до ваших поточних фаз тестової мережі, і які відгуки користувачів/партнерів спонукали ці зміни?

Наш дорожня карта слідує продуманому, послідовному розширенню. Ринок доказів є нашим основним шаром. Звідти ми розширюємося у ширший ринок обчислень через AI верифікацію, висновок та ZK машинне навчання. Еволюція була зумовлена відгуками партнерів та клієнтів, які вимагали єдину інфраструктуру для обох AI та ZK навантажень. В результаті, ми тепер надаємо сервери та послуги, які підтримують цей широкий клас обчислювальних завдань.

Q7. Економіка спільноти та операторів є критично важливою для DePIN. Як ви спроектували стимули, інструменти та процес залучення, щоб різноманітні постачальники апаратного забезпечення ( від хобі GPUs до ASICs) могли брати участь стійко?

Механізми, що забезпечують довгострокову стійкість, включають шліфування: якщо провайдери або валідатори не можуть відповісти вчасно, їх $CYS токени будуть захоплені та розподілені іншим. Це забезпечує, що валідатори виконують свої завдання, що запобігає тривалим затримкам.

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

Q8. Чи можете поділитися уроками з розширення екосистеми Cysic, партнерствами, інтеграціями, інструментами для розробників або відносинами інкубаторів/валідацій, які суттєво прискорили прийняття?

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

Q9. Щодо управління та токенів (, якщо ви можете про це поговорити ): яку модель управління та економічні важелі ви вважаєте необхідними для балансування децентралізації, безпеки та довгострокового фінансування протоколу?

Основні економічні важелі, на які ми покладаємося, це скорочення, динамічні винагороди для провайдерів та валідаторів, а також механізми спалювання зборів, пов'язані з витратами на обслуговування. Це узгоджує інтереси по всій мережі, забезпечуючи збереження безпеки та активності, одночасно створюючи сталий цикл фінансування на довгострокову перспективу для протоколу.

Q10. Безпека та довіра є основою інфраструктури ZK. Як ви підходите до управління ризиками, наприклад, апаратними помилками, зловмисними провайдерами або атаками на ланцюг постачання, і які рівні захисту ви пріоритетизуєте?

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

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

Бути професором і засновником стартапу — це дві абсолютно різні ролі. Як професор, я мусив бути точним, обережним у своїх заявах і перевіреним; кожен твір мав бути відшліфованим перед публікацією.

У стартапі все майже навпаки. Мені довелося навчитися зосереджуватися на макровізії та діяти з високого рівня. Замість того щоб чекати на ідеальні результати, я мав показувати прогрес крок за кроком і бути впевненим у кожному покращенні. Цей спосіб мислення безпосередньо суперечить академічному навчанні, де від вас очікується уникати передчасних заяв, поки все не буде доведено.

Моя головна порада академікам, які розглядають можливість створення стартапу в галузі глибоких технологій, полягає в тому, щоб не зосереджуватися лише на технології. 99% стартапів не можуть виграти лише за рахунок технологій. Вам потрібні PR, маркетинг, партнерства та спільнота. Як засновник, ви повинні керувати всіма цими аспектами і залишатися зосередженими на загальній картині.

Q12. Через п'ять років, як виглядає успіх для Cysic, технічно, для екосистеми та для ширшого ZK-ландшафту? І які основні технічні або ринкові ризики ви зараз спостерігаєте?

Успіх означає стати провідним рішенням для масштабованого, економічного апаратного прискорення для всієї екосистеми ZK та верифікованих обчислень. Наша довгострокова мета полягає в тому, щоб слугувати основою інфраструктури для інновацій як у сфері ШІ, так і в крипто. Основними ризиками сьогодні є волатильність ринку та швидкість технологічних змін, що підкреслює необхідність залишатися адаптивними під час побудови до цієї більшої мети.