
Como funcionam os mercados de previsão: regras e disputas
Os mercados de previsão resolvem aplicando as regras pré-comprometidas do mercado e a fonte de resolução a um resultado do mundo real, finalizando então um único resultado que aciona o pagamento de liquidação. O detalhe chave é que os traders não estão apenas precificando o evento, eles estão precificando o livro de regras, o oráculo ou o processo de relatório, e os incentivos de disputa que decidem o que "conta" como o resultado.
Principais Conclusões
- Mercado de previsãoa resolução é a conversão de um evento externo confuso em um único resultado finalizado que aciona o pagamento de liquidação e interrompe a negociação.
- O título do mercado não é a especificação do contrato. A fonte de resolução, a data final e as regras de casos extremos na página do mercado governam qual resultado será aceito.
- No Polymarket, o um oráculo otimistaaceita um resultado proposto por padrão, a menos que seja contestado durante um período de disputa de 2 horas, e propor requer um vínculo de $750 USDC.
- Disputas e peculiaridades da fonte podem inverter resultados ou produzir resultados "surpreendentes, mas consistentes com as regras", então o design do mecanismo é parte do que é precificado.
Como a resolução transforma eventos em pagamentos
Um mercado de previsões só se torna um contrato financeiro quando pode ser forçado a escolher um resultado e pagá-lo. Essa função de forçar é a resolução: o ponto em que a plataforma para de permitir que o mercado negocie, declara um resultado final e converte ações em fluxos de caixa.
A sequência operacional é simples, mesmo que a política não seja. Um mercado chega à sua data final, o evento subjacente se torna conhecível, alguém ou algo propõe um resultado, existe um processo de contestação para capturar erros e, em seguida, o mercado se finaliza. Após a finalização, o pagamento de liquidação é mecânico.
No Polymarket, as ações vencedoras pagam $1 por ação, as ações perdedoras se tornam sem valor e a negociação não é mais possível.
“O que acontece depois que um mercado fecha” é principalmente sobre este pipeline. O fechamento impede que novas informações sejam expressas através do preço. A resolução é a etapa separada que transforma o mercado fechado em um mercado liquidado. Essa lacuna é onde os traders descobrem se estavam negociando probabilidade ou negociando papelada.
“Quanto tempo leva a resolução do mercado de previsões” depende do mecanismo e se alguém contesta o resultado proposto. O fluxo do Polymarket inclui um período de disputa definido de 2 horas após uma proposta, mas o tempo total até a finalização pode se estender se uma proposta for rejeitada ou escalar para um processo de disputa mais profundo.
O ponto importante para qualquer pessoa que possui ações é que o mercado pode ser fechado enquanto ainda não liquidado, e a única coisa que importa na liquidação é o que o mecanismo aceita como o resultado final.
Por que as regras do mercado importam mais
A resolução não é “o que todos sabem que aconteceu.” É “o que as regras do mercado dizem que conta como tendo acontecido,” usando uma fonte de resolução específica em um momento específico, com um tratamento específico de casos extremos. A documentação do Polymarket é explícita ao afirmar que os mercados se resolvem de acordo com as regras mostradas na página do mercado, e que essas regras governam a resolução mais do que o título.
É por isso que a fonte de resolução não é uma nota de rodapé. É a matéria-prima para o oracle ou repórteres. Se a fonte pode ser editada, atualizada tardiamente ou interpretada de várias maneiras, os traders acabam precificando as peculiaridades da fonte. a16z descreve um contrato de controle territorial da Ucrânia que apontava para um mapa online e foi supostamente influenciado por edições nesse mapa.
O mercado não falhou porque “mapas são ruins.” Ele falhou porque o contrato terceirizou a verdade para um objeto mutável.
A linguagem de tempo é a outra armadilha. a16z também descreve um contrato de fechamento do governo onde a regra vinculava a resolução ao momento em que o site do Escritório de Gestão de Pessoal dos EUA mostrava o fechamento como encerrado. O presidente Trump assinou o projeto de lei de financiamento em 12 de novembro, mas o site não foi atualizado até 13 de novembro.
Traders que estavam corretos na direção do evento político perderam porque o contrato foi escrito com base em uma atualização do site, não na assinatura.
Ler regras como uma folha de termos é a única postura defensável em mercados de previsão. A lista de verificação é curta: (1) a fonte exata de resolução, (2) a data e hora de término do mercado, e (3) cláusulas de casos extremos que decidem o que acontece quando as fontes entram em conflito, revisam ou atrasam. Se esses três não forem auditáveis, a negociação não é "X acontecerá", é "o mecanismo aceitará X como provado."
Resolução otimista de oráculo no Polymarket
A resolução do mercado de previsão do Polymarket passa pelo oráculo otimista da uma, que é projetado para aceitar um resultado por padrão, a menos que alguém o desafie. Essa escolha de design transforma a resolução em um jogo de incentivos: a precisão é imposta pela ameaça de disputa, não por um árbitro garantido.
O fluxo no Polymarket é legível na tela se for dividido nos passos reais:
1. Um usuário propõe um resultado e publica uma garantia em USDC.e. A documentação do Polymarket alerta que uma proposta malsucedida ou prematura pode perder toda a garantia de $750. 2. O resultado proposto entra em um período de desafio de 2 horas. Se alguém discordar, pode contestar durante esse período de disputa. 3. Se a proposta for validada como precisa, o proponente recebe a garantia de volta mais uma recompensa.
Se não for aprovada, entra no processo de resolução de disputas da UMA. 4. Uma vez finalizado, o mercado se liquida: ações vencedoras pagam $1 por ação, ações perdedoras vão para $0, e as negociações param.
Esta é a maneira mais clara de entender "como o Polymarket resolve." O mercado não está esperando por um juiz onisciente. Ele está esperando que alguém coloque capital e reputação atrás de uma reivindicação específica, e então sobreviva ao escrutínio por duas horas.
O tamanho da garantia e a janela curta criam um comportamento previsível. Uma garantia de $750 é grande o suficiente para punir propostas descuidadas, mas também significa que mercados de baixa atenção podem flutuar em direção a "qualquer coisa que não seja desafiada", porque contestar leva tempo e foco.
a16z destaca o mercado de processos de Zelensky como um exemplo concreto de resultados mudando após o fato: inicialmente resolveu "Sim", então os detentores de tokens da UMA contestaram e a resolução mudou para "Não." Isso não é uma crítica filosófica. É um lembrete de que sistemas otimistas podem convergir, mas convergem através de um processo adversarial, não através de vibrações.
Relatório com garantia de token no Augur
Augur é o outro modelo canônico: relatório com garantia de token, onde a plataforma tenta descentralizar o ato de dizer o que aconteceu. O IQ.wiki resume a abordagem do Augur como um sistema de relato e disputa onde os detentores de tokens REP ou REPv2 apostam em resultados durante as fases de disputa.
O mecanismo é simples em termos de incentivos. Os repórteres colocam tokens em risco no resultado que afirmam estar correto. Se estiverem certos, podem receber uma parte das taxas de liquidação. Se estiverem errados, perdem os tokens que apostaram. O protocolo está tentando comprar precisão com penalidades e comprar vivacidade com recompensas.
Esse design muda o que os traders estão implicitamente garantindo. Em vez de confiar em um único operador ou em um únicofeed de oráculo, os traders estão confiantes de que o jogo de staking atrairá participação honesta suficiente para superar as tentativas de manipulação. Isso também significa que a "neutralidade" não é gratuita.
a16z argumenta que sistemas de votação baseados em tokens podem sofrer com a dominância de baleias e conflitos de interesse, o que pode minar a neutralidade credível, mesmo que o sistema seja tecnicamente descentralizado.
A história do Augur é importante principalmente como contexto para entender por que esses sistemas existem. O IQ.wiki coloca a concepção do Augur em 2014, um lançamento da v1 em 2018 e uma data de lançamento da v2 em 28-07-2020. O ponto não é a nostalgia.
É que os mercados de previsão têm iterado sobre o mesmo problema difícil por uma década: transformar a realidade contestada em um único resultado de liquidação sem entregar a alguém uma alavanca fácil para puxar.
Modos de falha e alternativas emergentes
A resolução falha nos mesmos pontos repetidamente: linguagem ambígua, fontes frágeis e incentivos de disputa que não escalam com a atenção. a16z apresenta o modo de falha central de forma clara: quando a resolução é pouco confiável, os preços deixam de refletir a probabilidade do evento e começam a refletir crenças sobre como o mecanismo irá decidir.
Os modos de falha não são hipotéticos. Os exemplos da a16z são basicamente uma taxonomia de "prêmios de risco de mecanismo". Uma fonte de resolução baseada em mapa pode ser manipulada se as edições alterarem o estado autoritativo. Uma regra de atualização de site pode depender do atraso de um administrador em vez do evento subjacente.
Um contrato cultural de alto volume, como o mercado de ações de Zelensky, ainda pode mudar após uma disputa, o que ensina aos traders que o processo de disputa faz parte do produto.
É também aqui que “como a Kalshi resolve” tende a ser mal interpretado por traders nativos de cripto. A comparação chave não é se um local é regulamentado ou onchain. A comparação é se o mecanismo de resolução é ex ante inspecionável e se o processo de disputa tem incentivos e prazos claros.
Diferentes plataformas implementam diferentes conjuntos de regras e caminhos de adjudicação, mas a mesma lógica de liquidação se aplica: um único resultado final deve ser produzido, e o contrato paga apenas com base nesse resultado.
A proposta alternativa da a16z é comprometer um juiz LLM na criação de mercado, bloqueando uma versão específica do modelo e um prompt onchain, para que os traders possam inspecionar o mecanismo de resolução completo antes de negociar. No momento da resolução, o LLM comprometido é executado e sua saída determina o pagamento.
A proposta não é “IA é mágica.” É que a previsibilidade e a transparência ex ante podem ser melhoradas ao tornar o juiz parte da especificação do contrato, em vez de um comitê discricionário ou uma fonte da web manipulável.
Os mercados de previsão vivem ou morrem com base na crença dos participantes de que o mecanismo de resolução é legível e difícil de manipular. Esse é o produto inteiro.
A Análise
Eu vi traders tratarem um título de mercado como se fosse o contrato, e depois agirem chocados quando a liquidação segue a letra miúda. A lição cara é que os mercados de previsão não liquidam a "verdade". Eles liquidam o mecanismo pré-comprometido. Se a fonte de resolução é editável, se o tempo final é estranho, ou se a linguagem de caso extremo está fazendo um trabalho oculto, o preço é uma aposta em governança e papelada, não em previsões.
Eu também vi como o design do oráculo otimista da uma no Polymarket transforma a resolução em um jogo muito específico. O título de $750 USDC.e e o período de disputa de 2 horas significam que propostas ruins podem ser punidas rapidamente, mas mercados de baixa atenção ainda podem flutuar em direção ao que sobreviver à janela.
O flip do processo Zelensky que a a16z descreveu é o tipo de resultado que muda como uma mesa precifica todo o complexo de mercados de previsão perto do vencimento.
Fontes
Perguntas frequentes
O que acontece depois que um mercado de previsões fecha?
O fechamento normalmente interrompe as negociações na data final do mercado, mas não garante a liquidação final. Um resultado ainda precisa ser proposto e sobreviver ao processo de disputa da plataforma. Uma vez finalizado, o mercado paga o lado vencedor e o lado perdedor se torna sem valor.
Como o Polymarket resolve os mercados?
O Polymarket usa um oráculo otimista da uma. Um usuário propõe um resultado postando um título USDC.e, então a proposta pode ser contestada durante um período de disputa de 2 horas. Após a finalização, as ações vencedoras pagam $1 por ação e as negociações terminam.
Quanto tempo leva a resolução de um mercado de previsões?
Depende do mecanismo e se alguém contesta o resultado proposto. No Polymarket, uma proposta entra em uma janela de desafio de 2 horas, mas disputas podem estender o tempo até a finalização. O mercado pode ser fechado enquanto ainda não liquidado até que o processo seja concluído.
Por que um mercado de previsões pode resolver para um resultado surpreendente?
A resolução segue as regras pré-escritas e a fonte de resolução especificada, não o espírito do título do mercado. a16z descreve casos em que fontes editáveis ou atualizações de sites atrasadas geraram resultados que pareciam errados para os traders. Se o contrato aponta para uma fonte frágil, a liquidação pode acompanhar essa fragilidade.
Um oráculo otimista é automaticamente correto?
Não. Um oráculo otimista aceita um resultado proposto por padrão, a menos que alguém o conteste dentro da janela de desafio. Se ninguém contestar uma proposta ruim a tempo, o sistema ainda pode finalizar o resultado errado.