🧠 Engenharia de Tokens @ Série EthCC [2/12] A palestra de hoje: “Escalando o Ethereum otimizando redes de provadores ZK” por Franklin Delehelle da @lagrangedev. Esta é parte da nossa série que cobre palestras chave da Pista de Engenharia de Tokens no @EthCC 2025. #TEatEthCC2025 ⚙️ O Desafio: Igualar Oferta e Demanda de Computação Os sistemas de prova ZK são intensivos em computação. A equipe de Franklin precisava de uma maneira de igualar de forma justa e eficiente os clientes (que querem provas) com os operadores (que oferecem poder computacional). A reviravolta: resultados parciais são inúteis. Cada correspondência deve ser tudo ou nada. 📈 O Objetivo: Construir um Leilão Justo e Alinhado a Incentivos O problema de design é uma variação de um leilão duplo — mas com restrições mais difíceis do que os mercados tradicionais. O sistema teve que otimizar em cinco propriedades: 1. Veracidade 2. Prova de estratégia de grupo 3. Maximização do bem-estar 4. Equilíbrio orçamentário 5. Eficiência computacional 🧠 O Impedimento: É um Problema de Mochila Igualar clientes e operadores é como tentar empacotar uma mala com itens de formas estranhas — formalmente, um desafio de otimização combinatória. A solução perfeita é NP-completa, em outras palavras, praticamente insolúvel em um tempo razoável. 🧪 A Solução: Leilões “Tetron e Meio” Para fazer funcionar em produção, a equipe de Franklin relaxou algumas restrições: - Em vez de maximizar o bem-estar, eles exigem resultados de soma positiva - Eles definiram uma “família” de algoritmos flexíveis construídos a partir de correspondências classificadas, filtros de compatibilidade de oferta-demanda e lógica de pagamento - Cada variante na família é parametrizada e adaptada por caso de uso. 🔍 Componentes do Algoritmo A estrutura do leilão inclui: - Regras de classificação: Classificar clientes e provadores por rentabilidade e poder - Regras de correspondência: Filtrar combinações viáveis (por exemplo, computação ≥ necessidade, faixa de preço OK) - Regras de pagamento: Preço justo pelo trabalho, priorizando resultados utilizáveis em vez de ótimos 🧱 Desafios do Mundo Real Mesmo com um algoritmo sólido, a implementação é complicada: - Redes reais são contínuas, não apenas rodadas de leilão únicas - O hardware é heterogêneo (GPU vs. CPU, taxas de falha, etc.) - Clientes introduzem regras personalizadas e preferências de operadores - Comportamento adversarial deve ser considerado Resultado: mais casos extremos, mais heurísticas, mais caos combinatório. 🎯 Conclusões O design de leilões para provas ZK é uma mistura difícil de economia, otimização e engenharia. Franklin mostra como adaptar modelos teóricos à infraestrutura real requer… compromissos e um profundo entendimento de todas as camadas do sistema. 🎥 Assista à palestra completa: 📰Leia o artigo: 📚 Explore todos os resumos: Pesquise #TEatEthCC ou visite nosso resumo do evento: