Da AMM ao livro de ordens: explorando a mudança no 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. Devido à diferença na compra de eventos probabilísticos em relação às negociações comuns, os mecanismos de precificação e liquidez utilizados inicialmente no mercado de previsão também são diferentes dos algoritmos AMM comuns.
O mecanismo de precificação do mercado de previsão passou por grandes mudanças desde a sua versão inicial até agora, sendo que inicialmente foi adotado um mecanismo AMM para fornecer liquidez e precificação em tempo real, denominado regra de pontuação de mercado logarítmico (LMSR). Este algoritmo atualmente também é usado por outros protocolos de criptomoeda. Compreender as características do LMSR permite entender o mecanismo de precificação do mercado de previsão na maior parte do tempo, bem como os motivos pelos quais outros protocolos escolheram o LMSR, além de entender a razão pela qual o mercado de previsão fez a transição do LMSR para um livro de ordens fora da cadeia.
Características e Vantagens e Desvantagens do LMSR
Visão geral do LMSR
O LMSR é um mecanismo de preços projetado especificamente para mercados de previsão, que permite aos usuários comprar "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 é que ele permite a realização de transações sem depender de uma contraparte, mesmo que você seja o primeiro trader, o sistema pode precificar e completar a transação para você. Isso confere ao mercado de previsão uma "liquidez perpétua" semelhante à de um DEX comum.
De forma simples, o LMSR é um modelo de função de custo que calcula o preço com base nas "quotas" de cada opção que o usuário possui atualmente. Este mecanismo garante que o preço sempre reflita a probabilidade esperada dos diferentes resultados de 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 resultados possíveis em um mercado. Sua fórmula é:
C(q) = b * ln(Σexp(qi/b))
Aqui, os símbolos representam:
C(...): função de custo, que representa o custo total que o formador de mercado paga para manter a distribuição das participações de todos os resultados atuais.
n: O número total de resultados possíveis no mercado (por exemplo, para um mercado de "sim/não", n=2).
qi: representa a quantidade comprada atualmente da i-ésima opção (pode ser entendido como "direito de voto" ou "quantidade apostada")
b: é um parâmetro de liquidez, quanto maior, mais "estável" é o mercado, e a reação do preço a novas transações é menos sensível.
C(q): representa o custo para mudar o mercado 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 uma quota de "sim", q(YES) aumenta, levando ao aumento de P(YES), enquanto P(NO) diminui, 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ê deve pagar ao comprar mais uma unidade dessa opção:
pi = ∂C/∂qi = exp(qi/b) / Σexp(qj/b)
Isso significa:
Se a quantidade de compras de uma determinada opção aumentar (ou seja, mais pessoas apostando que irá acontecer), o seu preço irá gradualmente subir;
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" cairia para 0,20, o que é 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 se estende para cima. Isso significa que quanto mais ações forem compradas, maior será o custo total a ser pago.
O papel do parâmetro de liquidez b: o tamanho do valor b determina diretamente o grau de "suavidade" da curva, ou seja, a liquidez ou "espessura" do mercado.
Alta liquidez (b=100): A curva é relativamente plana. Isso significa que, mesmo que você compre uma grande quantidade de ações, a velocidade de aumento do preço é mais lenta. Esse tipo de mercado pode "absorver" grandes transações sem causar flutuações de preço acentuadas.
Baixa liquidez(b=20): A curva é muito íngreme. Isso significa que mesmo uma pequena compra pode resultar em um aumento acentuado do preço. Esse tipo de mercado é muito sensível e tem pouca liquidez.
Alta liquidez (valores b altos) funciona como um "colchão", permitindo que o mercado absorva maior poder de compra sem que os preços variem drasticamente (curva suave); a baixa liquidez é muito sensível (curva íngreme).
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 nas suas fases iniciais. O LMSR não é uma opção técnica simples, mas sim um conjunto de protocolos subjacentes com uma filosofia de design clara e compensações intrínsecas, cujas características determinam sua posição histórica nas diferentes fases 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 dos market makers. Ele resolve o mais complicado "problema de arranque a frio" dos mercados de previsão através de um modelo matemático automatizado, que fornece liquidez na ausência de contrapartes de negociação 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 é que ele garante que haja sempre contrapartes no mercado em qualquer ponto no tempo. Não importa quão impopular ou extrema seja a opinião do mercado, os market makers sempre podem fornecer uma cotação de compra ou venda. Isso resolve fundamentalmente o dilema das ordens tradicionais, que não conseguem ser executadas em mercados iniciais devido à falta de liquidez.
Correspondentemente, os formadores de mercado 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 deste 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 iniciar novos mercados.
2. Deficiência intrínseca: liquidez estática e orientação não lucrativa
No entanto, as vantagens do LMSR também trouxeram defeitos estruturais que não podem ser superados.
Dilema do parâmetro b e liquidez estática: este é o principal constrangimento do LMSR. O parâmetro de liquidez "b" é definido no momento da criação do mercado e geralmente permanece inalterado ao longo do ciclo de vida do mercado. Um valor "b" alto significa liquidez profunda e preços estáveis, mas uma reação lenta a novas informações; um valor "b" baixo significa sensibilidade ao preço e capacidade de agregar opiniões rapidamente, mas o mercado é frágil e volátil. Este ajuste estático impede que o mercado ajuste adaptativamente sua profundidade e sensibilidade com base na variação real da liquidez e nas mudanças no fluxo de informações.
O papel de subsídio dos market makers: a expectativa matemática teórica do modelo LMSR é de prejuízo. As perdas dos market makers são vistas como o "custo da informação" que pagam para obter a sabedoria coletiva do mercado (ou seja, o preço final preciso formado por todas as transações). Essa posição determina que, essencialmente, é um sistema subsídios das transações pelos iniciadores, o que não é adequado para um modelo de market maker que busca lucros, e também é difícil construir um ecossistema lucrativo que envolva a participação conjunta de muitos LPs descentralizados.
Além disso, quando o LMSR é implementado na cadeia, 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 a fricção nas transações em um ambiente descentralizado.
migração de paradigma: a inevitabilidade lógica do mercado de previsão desistir do LMSR
Em resumo, o 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 o ponto crítico, seu design, que troca eficiência por liquidez, transforma-se de uma vantagem em um obstáculo ao desenvolvimento. A sua migração para um modelo de livro de ordens baseia-se nas seguintes considerações estratégicas:
A demanda fundamental por eficiência de capital: o LMSR exige que os market makers forneçam liquidez para toda a faixa de preços de 0% a 100%, o que resulta em uma grande quantidade de capital imobilizado em pontos de preço com probabilidade de execução extremamente baixa, levando a uma baixa eficiência de capital. O livro de ordens permite que os market makers e os usuários concentrem a liquidez de forma precisa nas faixas de preços mais ativas do mercado, o que se alinha perfeitamente com estratégias profissionais de market making.
Otimização da experiência de negociação: As características algorítmicas do LMSR determinam que qualquer tamanho de negociação inevitavelmente gera slippage. Para um mercado com liquidez cada vez maior, esse atrito inerente à negociação pode dificultar a entrada de grandes quantias de capital. Por outro lado, um mercado de livros de ordens maduro pode absorver grandes ordens através de uma profundidade de contraparte densa, oferecendo uma execução de negociação com menos slippage e uma experiência melhor.
A estratégia para atrair liquidez profissional exige: 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 para fornecedores de liquidez profissional, tanto no mundo das criptomoedas quanto nas finanças tradicionais. Este é um passo crucial para a plataforma, que vai desde atrair a participação de investidores de varejo até construir uma profundidade de mercado de nível profissional.
Mecanismo de precificação e liquidez do mercado de previsão atual
A atualização do mercado de previsão é uma escolha inevitável após o alcance do 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 sobre três objetivos: a experiência de negociação, o custo de Gas e a profundidade do mercado. A arquitetura atual pode ser analisada a partir de duas dimensões: o mecanismo de liquidez e a lógica de ancoragem de preços.
modo misto de liquidação em cadeia e livro de ordens fora da cadeia
O mecanismo de liquidez do mercado de previsão adota uma arquitetura híbrida que combina on-chain e off-chain, visando equilibrar a segurança da liquidação descentralizada com a fluidez da negociação centralizada.
Livro de ordens off-chain: A submissão e a correspondência das ordens limite dos usuários são realizadas em servidores off-chain, com operações instantâneas e sem custo de Gas. Isso torna a experiência de negociação no mercado de previsão semelhante à de uma bolsa centralizada, permitindo que os usuários vejam de forma intuitiva a profundidade do mercado (livro de ordens) composta por todas as ordens limite. A liquidez, portanto, provém diretamente de todos os participantes do comércio, e não de um fundo de liquidez passivo.
Liquidação em cadeia: Quando as ordens de compra e venda no livro de ordens off-chain são correspondidas com sucesso, o passo final de entrega de ativos é executado na cadeia 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, garantindo a finalidade 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 ao ancoramento de preços - ciclo de emissão e arbitragem de participação
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 do livro de ordens não impõe por código um preço fixo para as ordens, mas sim através de um design de ativos subjacentes sofisticado e um mecanismo de arbitragem, utilizando a força de correção do próprio mercado para garantir que a soma dos preços converge sempre para "$1".
1. Base essencial: emissão e resgate de pares completos
A pedra angular deste mecanismo é uma equação de valor inabalável estabelecida na camada de contratos.
Mineração: Qualquer participante pode depositar "$1" USDC no contrato e simultaneamente receber 1 quota YES e 1 quota NO. Esta operação estabelece a ancoragem de valor subjacente "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 essas quotas 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 fundamentação acima, as partes YES e NO, como dois ativos independentes, são negociadas em suas respectivas livrarias de ordens com USDC. Os participantes podem livremente colocar ordens limitadas a qualquer preço, sem restrições por parte da camada do protocolo. Este mecanismo de precificação livre levará inevitavelmente a desvios de preço, criando oportunidades para os arbitradores.
3. Restrições de preço: correção de arbitragem baseada no mercado
A busca por lucro dos arbitradores (geralmente robôs automatizados) é certa
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.
14 Curtidas
Recompensa
14
4
Compartilhar
Comentário
0/400
GasFeeCry
· 4h atrás
Então encontrei a razão pela qual estou a perder dinheiro.
De LMSR ao livro de ordens: análise da evolução do mecanismo de preços do mercado de previsão
Da AMM ao livro de ordens: explorando a mudança no 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. Devido à diferença na compra de eventos probabilísticos em relação às negociações comuns, os mecanismos de precificação e liquidez utilizados inicialmente no mercado de previsão também são diferentes dos algoritmos AMM comuns.
O mecanismo de precificação do mercado de previsão passou por grandes mudanças desde a sua versão inicial até agora, sendo que inicialmente foi adotado um mecanismo AMM para fornecer liquidez e precificação em tempo real, denominado regra de pontuação de mercado logarítmico (LMSR). Este algoritmo atualmente também é usado por outros protocolos de criptomoeda. Compreender as características do LMSR permite entender o mecanismo de precificação do mercado de previsão na maior parte do tempo, bem como os motivos pelos quais outros protocolos escolheram o LMSR, além de entender a razão pela qual o mercado de previsão fez a transição do LMSR para um livro de ordens fora da cadeia.
Características e Vantagens e Desvantagens do LMSR
Visão geral do LMSR
O LMSR é um mecanismo de preços projetado especificamente para mercados de previsão, que permite aos usuários comprar "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 é que ele permite a realização de transações sem depender de uma contraparte, mesmo que você seja o primeiro trader, o sistema pode precificar e completar a transação para você. Isso confere ao mercado de previsão uma "liquidez perpétua" semelhante à de um DEX comum.
De forma simples, o LMSR é um modelo de função de custo que calcula o preço com base nas "quotas" de cada opção que o usuário possui atualmente. Este mecanismo garante que o preço sempre reflita a probabilidade esperada dos diferentes resultados de 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 resultados possíveis em um mercado. Sua fórmula é:
C(q) = b * ln(Σexp(qi/b))
Aqui, os símbolos representam:
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 uma quota de "sim", q(YES) aumenta, levando ao aumento de P(YES), enquanto P(NO) diminui, 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ê deve pagar ao comprar mais uma unidade dessa opção:
pi = ∂C/∂qi = exp(qi/b) / Σexp(qj/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" cairia para 0,20, o que é 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 se estende para cima. Isso significa que quanto mais ações forem compradas, maior será o custo total a ser pago.
O papel do parâmetro de liquidez b: o tamanho do valor b determina diretamente o grau de "suavidade" da curva, ou seja, a liquidez ou "espessura" do mercado.
Alta liquidez (valores b altos) funciona como um "colchão", permitindo que o mercado absorva maior poder de compra sem que os preços variem drasticamente (curva suave); a baixa liquidez é muito sensível (curva íngreme).
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 nas suas fases iniciais. O LMSR não é uma opção técnica simples, mas sim um conjunto de protocolos subjacentes com uma filosofia de design clara e compensações intrínsecas, cujas características determinam sua posição histórica nas diferentes fases 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 dos market makers. Ele resolve o mais complicado "problema de arranque a frio" dos mercados de previsão através de um modelo matemático automatizado, que fornece liquidez na ausência de contrapartes de negociação 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 é que ele garante que haja sempre contrapartes no mercado em qualquer ponto no tempo. Não importa quão impopular ou extrema seja a opinião do mercado, os market makers sempre podem fornecer uma cotação de compra ou venda. Isso resolve fundamentalmente o dilema das ordens tradicionais, que não conseguem ser executadas em mercados iniciais devido à falta de liquidez.
Correspondentemente, os formadores de mercado 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 deste 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 iniciar novos mercados.
2. Deficiência intrínseca: liquidez estática e orientação não lucrativa
No entanto, as vantagens do LMSR também trouxeram defeitos estruturais que não podem ser superados.
Dilema do parâmetro b e liquidez estática: este é o principal constrangimento do LMSR. O parâmetro de liquidez "b" é definido no momento da criação do mercado e geralmente permanece inalterado ao longo do ciclo de vida do mercado. Um valor "b" alto significa liquidez profunda e preços estáveis, mas uma reação lenta a novas informações; um valor "b" baixo significa sensibilidade ao preço e capacidade de agregar opiniões rapidamente, mas o mercado é frágil e volátil. Este ajuste estático impede que o mercado ajuste adaptativamente sua profundidade e sensibilidade com base na variação real da liquidez e nas mudanças no fluxo de informações.
O papel de subsídio dos market makers: a expectativa matemática teórica do modelo LMSR é de prejuízo. As perdas dos market makers são vistas como o "custo da informação" que pagam para obter a sabedoria coletiva do mercado (ou seja, o preço final preciso formado por todas as transações). Essa posição determina que, essencialmente, é um sistema subsídios das transações pelos iniciadores, o que não é adequado para um modelo de market maker que busca lucros, e também é difícil construir um ecossistema lucrativo que envolva a participação conjunta de muitos LPs descentralizados.
Além disso, quando o LMSR é implementado na cadeia, 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 a fricção nas transações em um ambiente descentralizado.
migração de paradigma: a inevitabilidade lógica do mercado de previsão desistir do LMSR
Em resumo, o 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 o ponto crítico, seu design, que troca eficiência por liquidez, transforma-se de uma vantagem em um obstáculo ao desenvolvimento. A sua migração para um modelo de livro de ordens baseia-se nas seguintes considerações estratégicas:
A demanda fundamental por eficiência de capital: o LMSR exige que os market makers forneçam liquidez para toda a faixa de preços de 0% a 100%, o que resulta em uma grande quantidade de capital imobilizado em pontos de preço com probabilidade de execução extremamente baixa, levando a uma baixa eficiência de capital. O livro de ordens permite que os market makers e os usuários concentrem a liquidez de forma precisa nas faixas de preços mais ativas do mercado, o que se alinha perfeitamente com estratégias profissionais de market making.
Otimização da experiência de negociação: As características algorítmicas do LMSR determinam que qualquer tamanho de negociação inevitavelmente gera slippage. Para um mercado com liquidez cada vez maior, esse atrito inerente à negociação pode dificultar a entrada de grandes quantias de capital. Por outro lado, um mercado de livros de ordens maduro pode absorver grandes ordens através de uma profundidade de contraparte densa, oferecendo uma execução de negociação com menos slippage e uma experiência melhor.
A estratégia para atrair liquidez profissional exige: 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 para fornecedores de liquidez profissional, tanto no mundo das criptomoedas quanto nas finanças tradicionais. Este é um passo crucial para a plataforma, que vai desde atrair a participação de investidores de varejo até construir uma profundidade de mercado de nível profissional.
Mecanismo de precificação e liquidez do mercado de previsão atual
A atualização do mercado de previsão é uma escolha inevitável após o alcance do 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 sobre três objetivos: a experiência de negociação, o custo de Gas e a profundidade do mercado. A arquitetura atual pode ser analisada a partir de duas dimensões: o mecanismo de liquidez e a lógica de ancoragem de preços.
modo misto de liquidação em cadeia e livro de ordens fora da cadeia
O mecanismo de liquidez do mercado de previsão adota uma arquitetura híbrida que combina on-chain e off-chain, visando equilibrar a segurança da liquidação descentralizada com a fluidez da negociação centralizada.
Livro de ordens off-chain: A submissão e a correspondência das ordens limite dos usuários são realizadas em servidores off-chain, com operações instantâneas e sem custo de Gas. Isso torna a experiência de negociação no mercado de previsão semelhante à de uma bolsa centralizada, permitindo que os usuários vejam de forma intuitiva a profundidade do mercado (livro de ordens) composta por todas as ordens limite. A liquidez, portanto, provém diretamente de todos os participantes do comércio, e não de um fundo de liquidez passivo.
Liquidação em cadeia: Quando as ordens de compra e venda no livro de ordens off-chain são correspondidas com sucesso, o passo final de entrega de ativos é executado na cadeia 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, garantindo a finalidade 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 ao ancoramento de preços - ciclo de emissão e arbitragem de participação
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 do livro de ordens não impõe por código um preço fixo para as ordens, mas sim através de um design de ativos subjacentes sofisticado e um mecanismo de arbitragem, utilizando a força de correção do próprio mercado para garantir que a soma dos preços converge sempre para "$1".
1. Base essencial: emissão e resgate de pares completos
A pedra angular deste mecanismo é uma equação de valor inabalável estabelecida na camada de contratos.
Mineração: Qualquer participante pode depositar "$1" USDC no contrato e simultaneamente receber 1 quota YES e 1 quota NO. Esta operação estabelece a ancoragem de valor subjacente "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 essas quotas 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 fundamentação acima, as partes YES e NO, como dois ativos independentes, são negociadas em suas respectivas livrarias de ordens com USDC. Os participantes podem livremente colocar ordens limitadas a qualquer preço, sem restrições por parte da camada do protocolo. Este mecanismo de precificação livre levará inevitavelmente a desvios de preço, criando oportunidades para os arbitradores.
3. Restrições de preço: correção de arbitragem baseada no mercado
A busca por lucro dos arbitradores (geralmente robôs automatizados) é certa