🧠 Engenharia de Token @ Série EthCC [2/12] Palestra de hoje: "Escalando Ethereum otimizando ZK Prover Networks" por Franklin Delehelle da @lagrangedev. Isso faz parte de nossa série que cobre as principais palestras da Trilha de Engenharia de Tokens em @EthCC 2025. #TEatEthCC2025 ⚙️ O desafio: combinar a oferta e a demanda de computação Os sistemas de prova ZK são intensivos em computação. A equipe de Franklin precisava de uma maneira justa e eficiente de combinar clientes (que querem provas) com operadores (que oferecem poder de computação). A reviravolta: resultados parciais são inúteis. Cada partida 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 rígidas 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. Orçamento equilibrado 5. Eficiência computacional 🧠 O problema: é um problema de mochila Combinar clientes e operadores é como tentar fazer uma mala com itens de formato estranho - formalmente, um desafio de otimização combinatória. A solução perfeita é NP-completa, em outras palavras, praticamente insolúvel em um período de tempo razoável. 🧪 A solução: leilões "Tetron and a Half" Para fazê-lo 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ível construída a partir de correspondências classificadas, filtros de compatibilidade de oferta e demanda e lógica de pagamento - Cada variante da família é parametrizada e adaptada por caso de uso. 🔍 Componentes do algoritmo A estrutura do leilão inclui: - Regras de classificação: classifique clientes e provadores por lucratividade e poder - Regras de correspondência: filtre combinações viáveis (por exemplo, calcular ≥ necessidade, faixa de preço OK) - Regras de pagamento: precifique o trabalho de forma justa, priorizando os resultados utilizáveis em vez dos ideais 🧱 Desafios do mundo real Mesmo com um algoritmo sólido, a implementação é confusa: - As redes reais são contínuas, não rodadas de leilão único - O hardware é heterogêneo (GPU vs. CPU, taxas de falha, etc.) - Os clientes introduzem regras personalizadas e preferências do operador - O comportamento contraditório deve ser levado em conta Resultado: mais casos extremos, mais heurísticas, mais caos combinatório. 🎯 Conclusões O design de leilão para prova ZK é uma mistura difícil de economia, otimização e engenharia. Franklin mostra como a adaptação de modelos teóricos à infraestrutura real requer ... compromissos e compreensão profunda de todas as camadas do sistema. 🎥 Assista à palestra completa: 📰Leia o artigo: 📚 Explore todos os resumos: Pesquisar #TEatEthCC ou visite nosso artigo sobre o evento: