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