🧠 Инженерия токенов @ EthCC Серия [2/12] Сегодняшний доклад: "Масштабирование Ethereum путем оптимизации сетей ZK Prover" от Франклина Делехелла из @lagrangedev. Это часть нашей серии, охватывающей ключевые доклады из трека Инженерии токенов на @EthCC 2025. #TEatEthCC2025 ⚙️ Задача: Соответствие предложения и спроса на вычислительные мощности Системы ZK-доказательств требуют много вычислений. Команде Франклина нужно было найти способ справедливо и эффективно сопоставить клиентов (которые хотят доказательства) с операторами (которые предлагают вычислительную мощность). Изюминка: частичные результаты бесполезны. Каждое соответствие должно быть либо полным, либо ничего. 📈 Цель: Создать справедливые аукционы с согласованными стимулами Проблема проектирования является вариацией двойного аукциона — но с более жесткими ограничениями, чем на традиционных рынках. Система должна была оптимизировать по пяти свойствам: 1. Правдивость 2. Защита от групповой стратегии 3. Максимизация благосостояния 4. Сбалансированный бюджет 5. Вычислительная эффективность 🧠 Загвоздка: Это задача о рюкзаке Сопоставление клиентов и операторов похоже на попытку упаковать чемодан с предметами неправильной формы — формально, это задача комбинаторной оптимизации. Идеальное решение является NP-полной задачей, другими словами, практически неразрешимой за разумное время. 🧪 Решение: Аукционы "Тетрон и полтора" Чтобы это работало в производстве, команда Франклина ослабила некоторые ограничения: - Вместо максимизации благосостояния они требуют положительных результатов - Они определили гибкую "семейство" алгоритмов, построенных на основе ранжированных соответствий, фильтров совместимости спроса и предложения и логики выплат - Каждый вариант в семействе параметризован и адаптирован под конкретный случай. 🔍 Компоненты алгоритма Аукционная структура включает: - Правила ранжирования: Сортировка клиентов и провайдеров по прибыльности и мощности - Правила сопоставления: Фильтрация осуществимых комбинаций (например, вычисления ≥ потребность, диапазон цен ОК) - Правила оплаты: Справедливо оценивать работу, приоритизируя полезные результаты над оптимальными 🧱 Реальные проблемы Даже с хорошим алгоритмом реализация оказывается сложной: - Реальные сети непрерывны, а не состоят из отдельных раундов аукциона - Аппаратное обеспечение гетерогенно (GPU против CPU, коэффициенты отказов и т. д.) - Клиенты вводят собственные правила и предпочтения операторов - Необходимо учитывать враждебное поведение Результат: больше крайних случаев, больше эвристик, больше комбинаторного хаоса. 🎯 Выводы Проектирование аукционов для ZK-доказательств — это сложное сочетание экономики, оптимизации и инженерии. Франклин показывает, как адаптация теоретических моделей к реальной инфраструктуре требует… компромиссов и глубокого понимания всех уровней системы. 🎥 Смотрите полный доклад: 📰 Читайте статью: 📚 Изучите все резюме: Ищите #TEatEthCC или посетите наш отчет о мероприятии: