E se os custos de comprovação pudessem ser transformados em um mercado aberto? Essa é a visão por trás do Boundless, apresentada por @hashcashier (Engenheiro Sênior da @RiscZero & @boundless_xyz) nesta sessão de @WPReadingClub da SBC. Em vez de os desenvolvedores executarem sua própria infraestrutura de provas, a Boundless cria um mercado sem permissão para provas - onde qualquer pessoa pode solicitar uma prova, definir o preço que está disposto a pagar e os provadores competem para cumpri-la. O projeto introduz um modelo de leilão holandês reverso para equilibrar preço e vivacidade: os solicitantes especificam tempos limite e preços mínimos, enquanto os provadores apostam garantias e são reduzidos se não cumprirem. Os incentivos são reforçados por meio do token ZKC, que subsidia os custos por meio de um mecanismo de "prova de trabalho verificável" - recompensando os provadores não apenas por produzir resultados válidos, mas por gastar comprovadamente ciclos de computação. Temas-chave da sessão: • Por que as redes de prova descentralizadas são importantes para dimensionar aplicativos zk além das configurações de operador único. • Como Boundless evita as armadilhas de lançar mais um L1 ou L2, vivendo como um conjunto de contratos implantáveis em qualquer lugar. • A demanda do mundo real: desde powering rollups, até bridging sem confiança com @wormhole, até computação verificável de nível empresarial. • Compensações de segurança, incluindo a necessidade de redundância (configurações de vários provadores) e verificação formal à medida que as zkVMs entram em uso em produção. Boundless reformula provando não como infraestrutura que você administra, mas como um mercado ao qual você se conecta - onde as provas se tornam uma mercadoria, precificada, fornecida e garantida por meio de concorrência aberta. Resumo: Papel: Também disponível no YouTube: