Cysic следующего поколения ZK Prover: Graph-First 🔥 Системы ZK-доказательств в основном разделяют общие архитектурные предположения, которые никогда не вызывали сомнений. Функция Prove() рассматривается как полный черный ящик. Аппаратное обеспечение никогда не видит все вычисления сразу, а видит только один ядро (Kernel) за раз. Это предположение называется HAL. Сейчас расскажу, почему Cysic заменил HAL!