Da AMM ao livro de ordens: explorando a evolução do mecanismo de preços do mercado de previsão
O mercado de previsão é essencialmente uma "bolsa de negociação de probabilidades sobre eventos futuros", onde os usuários podem expressar seu julgamento sobre um evento comprando uma determinada opção. Como a compra de eventos de probabilidade difere das negociações comuns, os mecanismos de precificação e liquidez inicialmente utilizados no mercado de previsão também são diferentes dos algoritmos de AMM comuns.
O mecanismo de precificação do mercado de previsão passou por grandes mudanças desde sua versão inicial até agora, adotando inicialmente um mecanismo AMM para fornecer liquidez e precificação em tempo real, chamado de regra de pontuação de mercado logarítmico (LMSR). Este algoritmo também é utilizado atualmente por alguns outros protocolos de criptomoeda. Compreender as características do LMSR pode nos ajudar a entender o mecanismo de precificação do mercado de previsão na maior parte do tempo, bem como as razões pelas quais outros protocolos escolhem o LMSR, além de entender por que o mercado de previsão evoluiu do LMSR para um livro de ordens off-chain.
Características e Vantagens e Desvantagens do LMSR
O que é LMSR?
LMSR é um mecanismo de precificação projetado especificamente para mercados de previsão, permitindo que os usuários comprem "ações" de uma determinada opção com base em seu próprio julgamento, enquanto o mercado ajusta automaticamente os preços com base na demanda total. A principal característica do LMSR é: permite a realização de transações sem depender de uma contraparte, mesmo que você seja o primeiro negociador, o sistema pode precificar e concluir a transação para você. Isso confere aos mercados de previsão uma "liquidez perpétua" semelhante à de um DEX.
De forma simplificada, o LMSR é um modelo de função de custo que calcula o preço com base nas "quotas" dos diferentes opções que os usuários atualmente possuem. Este mecanismo assegura que o preço reflete sempre as probabilidades esperadas dos diferentes resultados dos eventos no mercado atual.
A fórmula central do LMSR
A função de custo C do LMSR é calculada com base na quantidade de ações vendidas de todos os possíveis resultados em um mercado. Sua fórmula é:
C(...) = b * ln(∑exp(qi/b))
Aqui, o símbolo representa:
C(...): Função de custo, que representa o custo total que o market maker paga para manter a distribuição de participação de todos os resultados atuais.
n: O número total de resultados possíveis no mercado (por exemplo, para um mercado "sim/não", n=2).
qi: representa a atual quota comprada da i-ésima opção (pode ser entendido como "direito de voto" ou "número de apostas")
b: é um parâmetro de liquidez, quanto maior, mais "estável" o mercado, menos sensível será a resposta do preço a novas transações.
C(q): representa o custo para fazer o mercado mudar do estado atual para q.
A característica mais importante desta fórmula é que a soma dos preços de todos os resultados é sempre igual a 1(∑Pi=1). Quando um usuário compra "sim" ações, q(YES) aumenta, levando a P(YES) a subir, enquanto P(NO) desce, mantendo assim a soma dos preços igual a 1.
como é gerado o preço?
Outro ponto chave do LMSR é que o preço é a derivada marginal da função de custo. Ou seja, o preço pi da i-ésima opção é o custo marginal que você precisa pagar ao comprar uma unidade adicional dessa opção:
pi = ∂C/∂qi = exp(qi/b) / ∑exp(qi/b)
Isso significa:
Se a quantidade de compras de uma opção aumentar (ou seja, mais pessoas apostarem que isso vai acontecer), o seu preço começará a subir gradualmente;
O preço final tenderá a refletir a probabilidade subjetiva de mercado de cada opção ocorrer.
Por exemplo, em um mercado de previsão de "sim/não", se a maioria das pessoas comprar "sim", então o preço de "sim" pode subir para 0,80, enquanto "não" cai para 0,20, isso é como dizer "o mercado acredita que a probabilidade do evento ocorrer é de 80%".
Além disso, independentemente da liquidez, a curva da função de custo estende-se para cima. Isso significa que quanto mais ações forem compradas, maior será o custo total a pagar.
A função do parâmetro de liquidez b: o valor de b determina diretamente o grau de "suavidade" da curva, ou seja, a liquidez do mercado ou a "espessura".
Alta liquidez: A curva é relativamente suave. Isso significa que, mesmo que você compre uma grande quantidade de ações, a velocidade de aumento do preço é relativamente lenta. Esse tipo de mercado pode "absorver" grandes transações sem gerar flutuações de preço acentuadas.
Baixa liquidez: A curva é muito íngreme. Isso significa que mesmo uma compra pequena pode levar a um aumento acentuado no preço. Esse tipo de mercado é muito sensível e tem liquidez reduzida.
Alta liquidez (alto valor de b) funciona como um "colchão", permitindo que o mercado absorva um maior poder de compra sem grandes variações de preço (curva suave); baixa liquidez é muito sensível (curva acentuada).
Compromissos do mecanismo LMSR e a migração do paradigma do mercado de previsão
Antes de discutir a evolução do mercado de previsão para o modelo de livro de ordens, é necessário primeiro analisar o mecanismo LMSR adotado precocemente. O LMSR não é uma simples opção técnica, mas sim um conjunto de protocolos subjacentes com uma filosofia de design clara e trade-offs internos, cujas características determinam sua posição histórica em diferentes estágios de desenvolvimento do mercado de previsão.
O mecanismo central do LMSR e os compromissos de design
O objetivo fundamental do design do LMSR é a agregação de informações, e não o lucro do market maker. Ele resolve o mais difícil problema de "início a frio" para o mercado de previsão, através de um modelo matemático automatizado, ou seja, a oferta de liquidez quando há uma falta de contrapartes no início.
1. Análise de Vantagens: Fornecimento de Liquidez Incondicional e Risco de Market Making Controlável
A principal contribuição do LMSR é garantir que exista sempre uma contraparte de negociação no mercado, em qualquer momento. Independentemente de quão impopular ou extrema seja a opinião do mercado, os formadores de mercado sempre conseguem fornecer uma cotação de compra ou venda. Isso resolve fundamentalmente a dificuldade que os livros de ordens tradicionais enfrentam em mercados iniciais devido à falta de liquidez.
Correspondentemente, os market makers que garantem essa "liquidez infinita" têm uma perda máxima potencial que é previsível e limitada. A perda máxima é determinada pelos parâmetros de liquidez "b" e pelo número de resultados de mercado "n", cuja fórmula é "perda máxima = b⋅ln(n)". A certeza desse risco torna os custos de patrocinar um mercado de previsão controláveis, eliminando o risco de perdas infinitas, o que é crucial para as partes ou organizações que precisam lançar novos mercados.
2. Defeitos intrínsecos: liquidez estática e orientação não lucrativa
No entanto, as vantagens do LMSR também trouxeram suas falhas estruturais irreparáveis.
Dilema do parâmetro b e liquidez estática: esta é a restrição mais central do LMSR. O parâmetro de liquidez "b" é definido no momento da criação do mercado e geralmente permanece inalterado durante o ciclo de vida do mercado. Um grande valor de "b" significa liquidez profunda e preços estáveis, mas reage lentamente a novas informações; um pequeno valor de "b" significa preços sensíveis, capazes de agregar opiniões rapidamente, mas o mercado é frágil e volátil. Essa configuração estática impede que o mercado ajuste sua profundidade e sensibilidade de forma adaptativa, com base nas variações reais de liquidez e nas mudanças no fluxo de informações.
O papel de subsídio dos formadores de mercado: O modelo LMSR tem uma expectativa matemática teórica de prejuízo. As perdas do formador de mercado são vistas como o "custo da informação" que ele paga para obter a sabedoria coletiva do mercado (ou seja, o preço final exato formado por todas as transações). Esta posição determina que é essencialmente um sistema subsidiado pelos iniciadores, não sendo adequado para um modelo de formador de mercado que busca lucro, e é difícil construir um ecossistema lucrativo com a participação de muitos LPs descentralizados.
Além disso, quando o LMSR é implementado na blockchain, as operações logarítmicas e exponenciais envolvidas consomem mais Gas em comparação com as operações aritméticas comuns em DEX, o que aumenta ainda mais o atrito nas transações em um ambiente descentralizado.
Migração de paradigma: a inevitabilidade lógica do mercado de previsão abandonar o LMSR
Em suma, a LMSR é uma ferramenta eficiente e prática nas fases iniciais da plataforma, quando a liquidez é escassa. No entanto, quando o número de usuários e o volume de capital do mercado de previsão ultrapassam um ponto crítico, seu design, que sacrifica a eficiência em troca de liquidez, transforma-se de uma vantagem em um obstáculo ao desenvolvimento. A migração para o modelo de livro de ordens é baseada nas seguintes considerações estratégicas:
A demanda fundamental por eficiência de capital: o LMSR exige que os criadores de mercado forneçam liquidez para todo o intervalo de preços de 0% a 100%, o que leva a um grande capital imobilizado em pontos de preço com probabilidade de execução extremamente baixa, resultando em baixa eficiência de capital. O livro de ordens permite que os criadores de mercado e os usuários concentrem a liquidez de maneira precisa nas faixas de preço mais ativas do mercado, o que se alinha altamente com estratégias profissionais de criação de mercado.
Otimização da experiência de negociação: As características algorítmicas do LMSR determinam que qualquer escala de negociação inevitavelmente gera deslizamento. Para mercados com liquidez cada vez maior, esse atrito inerente à negociação pode obstruir a entrada de grandes quantias de capital. Por outro lado, um mercado de livro de ordens maduro pode absorver grandes pedidos através de uma forte profundidade de contrapartida, proporcionando uma execução de negociação com menos deslizamento e uma experiência superior.
Estratégia para atrair liquidez profissional: o livro de ordens é o modelo de mercado mais comum e familiar para traders profissionais e instituições de market making. A transição para o livro de ordens significa que o mercado de previsão enviou um sinal claro de convite aos fornecedores de liquidez profissional no mundo das criptomoedas e até mesmo nas finanças tradicionais. Este é um passo crucial para a plataforma, passando de atrair a participação de varejo para construir profundidade de mercado de nível profissional.
Preços e mecanismos de liquidez do mercado de previsão atual
A atualização do mercado de previsão é uma escolha inevitável após atingir o ponto crítico em termos de escala de usuários e maturidade da plataforma. Por trás dessa transformação, está uma consideração sistemática dos três objetivos: experiência de negociação, custo de Gas e profundidade do mercado. A arquitetura atual pode ser analisada em dois níveis: o mecanismo de liquidez e a lógica de ancoragem de preços.
modo misto de liquidação on-chain e livro de ordens off-chain
O mecanismo de liquidez do mercado de previsão adota uma arquitetura híbrida que combina on-chain e off-chain, com o objetivo de equilibrar a segurança da liquidação descentralizada e a experiência fluida do comércio centralizado.
Livro de ordens off-chain: A submissão e a execução das ordens limite dos usuários são realizadas em servidores off-chain, com operações instantâneas e sem custos de Gas. Isso faz com que a experiência de negociação no mercado de previsão se assemelhe à de uma bolsa de valores centralizada, permitindo que os usuários vejam de forma intuitiva a profundidade do mercado (livro de ofertas) composta por todas as ordens limite. A liquidez, portanto, vem diretamente de todos os participantes do comércio e não de um fundo de liquidez passivo.
Liquidação na cadeia: Quando uma ordem de compra e uma ordem de venda no livro de ordens off-chain são correspondidas com sucesso, o passo final de entrega de ativos será executado na cadeia Polygon através de um contrato inteligente. Este modelo de "correspondência off-chain, liquidação on-chain" mantém a flexibilidade do livro de ordens, ao mesmo tempo que garante a finalização dos resultados das transações e a imutabilidade da propriedade dos ativos. O "preço" exibido é o ponto médio entre o preço de compra e o preço de venda no livro de ordens off-chain.
lógica subjacente à ancoragem de preços - ciclo de emissão e arbitragem de participações
Para o mercado de previsão, o mecanismo central é como garantir que a soma das probabilidades dos resultados "sim" (YES) e "não" (NO) seja sempre igual a 100% (ou seja, "$1"). O modelo de livro de ordens em si não impõe por código um preço limite para as ordens, mas sim através de um conjunto sofisticado de design de ativos subjacentes e mecanismos de arbitragem, utilizando a força corretiva do próprio mercado para garantir que a soma dos preços convirja sempre para "$1".
1. Base fundamental: Emissão e resgate de pares completos
A pedra angular deste mecanismo é uma equação de valor inabalável estabelecida na camada de contrato do mercado de previsão.
Emissão: Qualquer participante pode depositar "$1" USDC no contrato e, ao mesmo tempo, obter 1 quota YES e 1 quota NO. Esta operação estabelece a ancoragem de valor subjacente de "1 quota YES + 1 quota NO = $1".
Resgate: Da mesma forma, qualquer participante que possua simultaneamente 1 quota de YES e 1 quota de NO pode a qualquer momento combinar e devolver ao contrato, resgatando "$1" USDC.
Este canal bidirecional garante que o valor total de um conjunto completo de resultados esteja firmemente ancorado em "$1".
2. Descoberta de preços: negociação em livro de ordens independente
Com base na estrutura acima, as quotas YES e NO são tratadas como dois ativos independentes, negociando com USDC em seus respectivos livros de ordens. Os participantes podem livremente colocar ordens de limite a qualquer preço, sem restrições por parte do nível de protocolo. Este mecanismo de livre formação de preços inevitavelmente levará a desvios de preço, criando oportunidades para arbitradores.
3. Restrições de preço: correção de arbitragem baseada no mercado
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
11 Curtidas
Recompensa
11
6
Compartilhar
Comentário
0/400
VibesOverCharts
· 5h atrás
mercado de previsão também deve acompanhar os tempos hehe
Ver originalResponder0
OnChainDetective
· 5h atrás
hmm... os padrões de transação sugerem que o LMSR foi apenas uma solução temporária, para ser honesto.
Ver originalResponder0
NervousFingers
· 5h atrás
Ah, este lmsr, em resumo, não é apenas para ajustar preços?
Ver originalResponder0
HashRateHermit
· 5h atrás
Ninguém usa realmente esta coisa chamada lmsr, certo?
Ver originalResponder0
GateUser-a606bf0c
· 5h atrás
LMSR ainda é pior do que fazer inscrição
Ver originalResponder0
NFTRegretter
· 5h atrás
Estamos em 9102 e ainda usas amm? Apanha a ordem do livro rapidamente.
Evolução do mecanismo de preços do mercado de previsão: de LMSR para fora da cadeia ordem livro
Da AMM ao livro de ordens: explorando a evolução do mecanismo de preços do mercado de previsão
O mercado de previsão é essencialmente uma "bolsa de negociação de probabilidades sobre eventos futuros", onde os usuários podem expressar seu julgamento sobre um evento comprando uma determinada opção. Como a compra de eventos de probabilidade difere das negociações comuns, os mecanismos de precificação e liquidez inicialmente utilizados no mercado de previsão também são diferentes dos algoritmos de AMM comuns.
O mecanismo de precificação do mercado de previsão passou por grandes mudanças desde sua versão inicial até agora, adotando inicialmente um mecanismo AMM para fornecer liquidez e precificação em tempo real, chamado de regra de pontuação de mercado logarítmico (LMSR). Este algoritmo também é utilizado atualmente por alguns outros protocolos de criptomoeda. Compreender as características do LMSR pode nos ajudar a entender o mecanismo de precificação do mercado de previsão na maior parte do tempo, bem como as razões pelas quais outros protocolos escolhem o LMSR, além de entender por que o mercado de previsão evoluiu do LMSR para um livro de ordens off-chain.
Características e Vantagens e Desvantagens do LMSR
O que é LMSR?
LMSR é um mecanismo de precificação projetado especificamente para mercados de previsão, permitindo que os usuários comprem "ações" de uma determinada opção com base em seu próprio julgamento, enquanto o mercado ajusta automaticamente os preços com base na demanda total. A principal característica do LMSR é: permite a realização de transações sem depender de uma contraparte, mesmo que você seja o primeiro negociador, o sistema pode precificar e concluir a transação para você. Isso confere aos mercados de previsão uma "liquidez perpétua" semelhante à de um DEX.
De forma simplificada, o LMSR é um modelo de função de custo que calcula o preço com base nas "quotas" dos diferentes opções que os usuários atualmente possuem. Este mecanismo assegura que o preço reflete sempre as probabilidades esperadas dos diferentes resultados dos eventos no mercado atual.
A fórmula central do LMSR
A função de custo C do LMSR é calculada com base na quantidade de ações vendidas de todos os possíveis resultados em um mercado. Sua fórmula é:
C(...) = b * ln(∑exp(qi/b))
Aqui, o símbolo representa:
A característica mais importante desta fórmula é que a soma dos preços de todos os resultados é sempre igual a 1(∑Pi=1). Quando um usuário compra "sim" ações, q(YES) aumenta, levando a P(YES) a subir, enquanto P(NO) desce, mantendo assim a soma dos preços igual a 1.
como é gerado o preço?
Outro ponto chave do LMSR é que o preço é a derivada marginal da função de custo. Ou seja, o preço pi da i-ésima opção é o custo marginal que você precisa pagar ao comprar uma unidade adicional dessa opção:
pi = ∂C/∂qi = exp(qi/b) / ∑exp(qi/b)
Isso significa:
Por exemplo, em um mercado de previsão de "sim/não", se a maioria das pessoas comprar "sim", então o preço de "sim" pode subir para 0,80, enquanto "não" cai para 0,20, isso é como dizer "o mercado acredita que a probabilidade do evento ocorrer é de 80%".
Além disso, independentemente da liquidez, a curva da função de custo estende-se para cima. Isso significa que quanto mais ações forem compradas, maior será o custo total a pagar.
A função do parâmetro de liquidez b: o valor de b determina diretamente o grau de "suavidade" da curva, ou seja, a liquidez do mercado ou a "espessura".
Alta liquidez (alto valor de b) funciona como um "colchão", permitindo que o mercado absorva um maior poder de compra sem grandes variações de preço (curva suave); baixa liquidez é muito sensível (curva acentuada).
Compromissos do mecanismo LMSR e a migração do paradigma do mercado de previsão
Antes de discutir a evolução do mercado de previsão para o modelo de livro de ordens, é necessário primeiro analisar o mecanismo LMSR adotado precocemente. O LMSR não é uma simples opção técnica, mas sim um conjunto de protocolos subjacentes com uma filosofia de design clara e trade-offs internos, cujas características determinam sua posição histórica em diferentes estágios de desenvolvimento do mercado de previsão.
O mecanismo central do LMSR e os compromissos de design
O objetivo fundamental do design do LMSR é a agregação de informações, e não o lucro do market maker. Ele resolve o mais difícil problema de "início a frio" para o mercado de previsão, através de um modelo matemático automatizado, ou seja, a oferta de liquidez quando há uma falta de contrapartes no início.
1. Análise de Vantagens: Fornecimento de Liquidez Incondicional e Risco de Market Making Controlável
A principal contribuição do LMSR é garantir que exista sempre uma contraparte de negociação no mercado, em qualquer momento. Independentemente de quão impopular ou extrema seja a opinião do mercado, os formadores de mercado sempre conseguem fornecer uma cotação de compra ou venda. Isso resolve fundamentalmente a dificuldade que os livros de ordens tradicionais enfrentam em mercados iniciais devido à falta de liquidez.
Correspondentemente, os market makers que garantem essa "liquidez infinita" têm uma perda máxima potencial que é previsível e limitada. A perda máxima é determinada pelos parâmetros de liquidez "b" e pelo número de resultados de mercado "n", cuja fórmula é "perda máxima = b⋅ln(n)". A certeza desse risco torna os custos de patrocinar um mercado de previsão controláveis, eliminando o risco de perdas infinitas, o que é crucial para as partes ou organizações que precisam lançar novos mercados.
2. Defeitos intrínsecos: liquidez estática e orientação não lucrativa
No entanto, as vantagens do LMSR também trouxeram suas falhas estruturais irreparáveis.
Dilema do parâmetro b e liquidez estática: esta é a restrição mais central do LMSR. O parâmetro de liquidez "b" é definido no momento da criação do mercado e geralmente permanece inalterado durante o ciclo de vida do mercado. Um grande valor de "b" significa liquidez profunda e preços estáveis, mas reage lentamente a novas informações; um pequeno valor de "b" significa preços sensíveis, capazes de agregar opiniões rapidamente, mas o mercado é frágil e volátil. Essa configuração estática impede que o mercado ajuste sua profundidade e sensibilidade de forma adaptativa, com base nas variações reais de liquidez e nas mudanças no fluxo de informações.
O papel de subsídio dos formadores de mercado: O modelo LMSR tem uma expectativa matemática teórica de prejuízo. As perdas do formador de mercado são vistas como o "custo da informação" que ele paga para obter a sabedoria coletiva do mercado (ou seja, o preço final exato formado por todas as transações). Esta posição determina que é essencialmente um sistema subsidiado pelos iniciadores, não sendo adequado para um modelo de formador de mercado que busca lucro, e é difícil construir um ecossistema lucrativo com a participação de muitos LPs descentralizados.
Além disso, quando o LMSR é implementado na blockchain, as operações logarítmicas e exponenciais envolvidas consomem mais Gas em comparação com as operações aritméticas comuns em DEX, o que aumenta ainda mais o atrito nas transações em um ambiente descentralizado.
Migração de paradigma: a inevitabilidade lógica do mercado de previsão abandonar o LMSR
Em suma, a LMSR é uma ferramenta eficiente e prática nas fases iniciais da plataforma, quando a liquidez é escassa. No entanto, quando o número de usuários e o volume de capital do mercado de previsão ultrapassam um ponto crítico, seu design, que sacrifica a eficiência em troca de liquidez, transforma-se de uma vantagem em um obstáculo ao desenvolvimento. A migração para o modelo de livro de ordens é baseada nas seguintes considerações estratégicas:
A demanda fundamental por eficiência de capital: o LMSR exige que os criadores de mercado forneçam liquidez para todo o intervalo de preços de 0% a 100%, o que leva a um grande capital imobilizado em pontos de preço com probabilidade de execução extremamente baixa, resultando em baixa eficiência de capital. O livro de ordens permite que os criadores de mercado e os usuários concentrem a liquidez de maneira precisa nas faixas de preço mais ativas do mercado, o que se alinha altamente com estratégias profissionais de criação de mercado.
Otimização da experiência de negociação: As características algorítmicas do LMSR determinam que qualquer escala de negociação inevitavelmente gera deslizamento. Para mercados com liquidez cada vez maior, esse atrito inerente à negociação pode obstruir a entrada de grandes quantias de capital. Por outro lado, um mercado de livro de ordens maduro pode absorver grandes pedidos através de uma forte profundidade de contrapartida, proporcionando uma execução de negociação com menos deslizamento e uma experiência superior.
Estratégia para atrair liquidez profissional: o livro de ordens é o modelo de mercado mais comum e familiar para traders profissionais e instituições de market making. A transição para o livro de ordens significa que o mercado de previsão enviou um sinal claro de convite aos fornecedores de liquidez profissional no mundo das criptomoedas e até mesmo nas finanças tradicionais. Este é um passo crucial para a plataforma, passando de atrair a participação de varejo para construir profundidade de mercado de nível profissional.
Preços e mecanismos de liquidez do mercado de previsão atual
A atualização do mercado de previsão é uma escolha inevitável após atingir o ponto crítico em termos de escala de usuários e maturidade da plataforma. Por trás dessa transformação, está uma consideração sistemática dos três objetivos: experiência de negociação, custo de Gas e profundidade do mercado. A arquitetura atual pode ser analisada em dois níveis: o mecanismo de liquidez e a lógica de ancoragem de preços.
modo misto de liquidação on-chain e livro de ordens off-chain
O mecanismo de liquidez do mercado de previsão adota uma arquitetura híbrida que combina on-chain e off-chain, com o objetivo de equilibrar a segurança da liquidação descentralizada e a experiência fluida do comércio centralizado.
Livro de ordens off-chain: A submissão e a execução das ordens limite dos usuários são realizadas em servidores off-chain, com operações instantâneas e sem custos de Gas. Isso faz com que a experiência de negociação no mercado de previsão se assemelhe à de uma bolsa de valores centralizada, permitindo que os usuários vejam de forma intuitiva a profundidade do mercado (livro de ofertas) composta por todas as ordens limite. A liquidez, portanto, vem diretamente de todos os participantes do comércio e não de um fundo de liquidez passivo.
Liquidação na cadeia: Quando uma ordem de compra e uma ordem de venda no livro de ordens off-chain são correspondidas com sucesso, o passo final de entrega de ativos será executado na cadeia Polygon através de um contrato inteligente. Este modelo de "correspondência off-chain, liquidação on-chain" mantém a flexibilidade do livro de ordens, ao mesmo tempo que garante a finalização dos resultados das transações e a imutabilidade da propriedade dos ativos. O "preço" exibido é o ponto médio entre o preço de compra e o preço de venda no livro de ordens off-chain.
lógica subjacente à ancoragem de preços - ciclo de emissão e arbitragem de participações
Para o mercado de previsão, o mecanismo central é como garantir que a soma das probabilidades dos resultados "sim" (YES) e "não" (NO) seja sempre igual a 100% (ou seja, "$1"). O modelo de livro de ordens em si não impõe por código um preço limite para as ordens, mas sim através de um conjunto sofisticado de design de ativos subjacentes e mecanismos de arbitragem, utilizando a força corretiva do próprio mercado para garantir que a soma dos preços convirja sempre para "$1".
1. Base fundamental: Emissão e resgate de pares completos
A pedra angular deste mecanismo é uma equação de valor inabalável estabelecida na camada de contrato do mercado de previsão.
Emissão: Qualquer participante pode depositar "$1" USDC no contrato e, ao mesmo tempo, obter 1 quota YES e 1 quota NO. Esta operação estabelece a ancoragem de valor subjacente de "1 quota YES + 1 quota NO = $1".
Resgate: Da mesma forma, qualquer participante que possua simultaneamente 1 quota de YES e 1 quota de NO pode a qualquer momento combinar e devolver ao contrato, resgatando "$1" USDC.
Este canal bidirecional garante que o valor total de um conjunto completo de resultados esteja firmemente ancorado em "$1".
2. Descoberta de preços: negociação em livro de ordens independente
Com base na estrutura acima, as quotas YES e NO são tratadas como dois ativos independentes, negociando com USDC em seus respectivos livros de ordens. Os participantes podem livremente colocar ordens de limite a qualquer preço, sem restrições por parte do nível de protocolo. Este mecanismo de livre formação de preços inevitavelmente levará a desvios de preço, criando oportunidades para arbitradores.
3. Restrições de preço: correção de arbitragem baseada no mercado
arbitragistas (geralmente robôs automatizados)