Verificação on-chain em mercados MC: um guia prático para comprovação de reservas

Verificação on-chain em mercados MC: um guia prático para comprovação de reservas

Categoria: Segurança | Verificação na cadeia Tempo de leitura: ~10 min Legenda: Merkle-tree PoR implantado no Arbitrum, infraestrutura pública auditada (Chainlink, Pyth), endereços de fundos de usuários separados - e um procedimento passo a passo de cinco minutos para verificar tudo você mesmo.

Introdução

Durante a maior parte da história da criptografia, “seus fundos estão seguros” significava confiar na palavra da plataforma. Depois de 2022, isso deixou de ser bom o suficiente. Uma série de colapsos de alto perfil deixou dolorosamente claro que a contabilidade fora da rede e a realidade dentro da rede poderiam divergir dramaticamente – e que a única resposta durável para “meu dinheiro está realmente lá?” era matemática que qualquer usuário poderia verificar por si mesmo.

Prova de Reservas (PoR) é essa matemática. Feito corretamente, permite que qualquer usuário verifique – com certeza criptográfica – se a plataforma realmente detém os ativos que afirma possuir.

MC Markets é construído em torno deste princípio. A plataforma se descreve como “verificável em cadeia”, com todas as reservas de ativos armazenadas no Arbitrum e uma trilha de auditoria pública que qualquer usuário pode percorrer de forma independente. Este guia explica como funciona o sistema – árvores Merkle, Arbitrum, Chainlink, Pyth, endereços de reserva separados – e fornece um procedimento passo a passo concreto para verificar as reservas da plataforma e seu próprio saldo.

1. O que realmente significa comprovação de reservas

No sentido mais amplo da indústria, a Prova de Reservas é um mecanismo criptográfico que prova que um custodiante detém pelo menos tanto de um activo quanto deve aos seus utilizadores – sem exigir que os utilizadores confiem na contabilidade interna do custodiante.

Duas coisas precisam ser verdadeiras para que um sistema PoR seja significativo:

Reservas Totais ≥ Passivos Totais do Usuário. A plataforma deve ter pelo menos 1:1 de apoio para o que os usuários têm em depósito.

Ambos os números devem ser verificáveis ​​de forma independente. Os usuários podem confirmar que seu saldo está incluído no total de responsabilidade do usuário e podem confirmar que o total da reserva é real na rede.

Sem (2), “temos reservas 1:1” é apenas uma afirmação. Com (2), torna-se um fato comprovável que qualquer usuário pode verificar a qualquer momento.

Implementação da MC Markets: PoR baseado em árvore Merkle, implantado no Arbitrum. A plataforma se compromete explicitamente com o apoio 1:1 aos fundos dos usuários, com reservas mantidas em 100% ou mais e instantâneos atualizados periodicamente.

2. Por que uma árvore Merkle?

A árvore Merkle é a estrutura de dados padrão usada em toda a indústria – por Kraken, Binance, OKX, Bitget e as exchanges mais conceituadas que implementaram PoR – porque resolve um problema específico de privacidade versus transparência.

Imagine uma plataforma com milhões de usuários. Para provar que “o usuário A possui X tokens”, a plataforma poderia publicar o saldo de cada usuário – mas isso expõe informações financeiras privadas. Uma árvore Merkle corrige isso com elegância:

O saldo de cada usuário é criptografado em uma folha da árvore.

Pares de hashes são combinados e re-hashing na árvore, nível por nível.

O único valor no topo – a raiz Merkle – é publicado na rede.

Para verificar se o seu saldo está incluído corretamente, a plataforma fornece apenas uma pequena prova Merkle – um caminho da sua folha até a raiz. Você pode verificar esse caminho matematicamente sem ver os dados de mais ninguém. E a plataforma não pode mentir sobre o seu saldo sem alterar a raiz publicada, o que invalidaria a prova de todos os outros usuários simultaneamente.

Resumindo: as árvores Merkle permitem que todos verifiquem de forma independente sua própria inclusão, sem expor as informações de ninguém. Privacidade e verificabilidade ao mesmo tempo.

3. Por que Arbitragem

O sistema PoR da MC Markets reside na Arbitrum – uma rede Ethereum Layer 2 construída usando tecnologia de rollup otimista. Duas razões pelas quais isso é importante na prática:

Auditabilidade. Arbitrum herda o modelo de segurança do Ethereum e usa Ethereum como camada de disponibilidade de dados. Cada transação, cada estado de contrato, cada atualização de reserva é permanentemente registrada e acessível publicamente através de ferramentas padrão compatíveis com Ethereum – mais notavelmente Arbiscan, o explorador de blocos da rede.

Custo e rendimento. A Camada 2 torna as atualizações regulares de snapshots economicamente práticas. Na rede principal Ethereum, atestados de reservas frequentes teriam um custo proibitivo; no Arbitrum, eles são acessíveis o suficiente para serem executados em uma programação real.

O resultado é um sistema onde qualquer usuário, em qualquer lugar do mundo, pode acessar o Arbiscan e ver os contratos e saldos por si mesmo – sem necessidade de acesso privilegiado, sem necessidade de credenciais de plataforma.

4. A pilha de auditoria mais ampla: Arbitrum, Chainlink, Pyth

MC Markets não é construído com base em componentes internos proprietários e opacos. Três protocolos públicos auditados de forma independente formam sua espinha dorsal na cadeia:

Arbitrum - a rede L2 onde residem as reservas e os contratos.

Chainlink — a rede de oráculos de preços descentralizados padrão do setor, que fornece dados de mercado confiáveis ​​sem risco de manipulação de fonte única.

Pyth — uma rede de alimentação de preços de alta frequência otimizada para aplicações de derivativos.

A importância de construir sobre estes três é estrutural: as peças mais importantes da plataforma – onde as reservas são mantidas, como os preços são obtidos para liquidações, como os derivados são liquidados – não são sistemas internos opacos. São protocolos públicos que foram auditados por empresas de segurança independentes, usados ​​por centenas de outras aplicações e testados sob condições reais de mercado.

Isto é o que permite que a MC Markets se descreva como “nativa da Web3” com credibilidade: as suposições de confiança são explicadas e verificáveis, não escondidas dentro de uma caixa preta.

5. Duas carteiras, uma plataforma: por que os fundos dos usuários são mantidos separadamente

Um compromisso arquitetônico sutil, mas importante: os ativos dos usuários e os fundos operacionais são armazenados em endereços separados na rede.

Além disso, a plataforma opera uma arquitetura de separação de carteiras frias e quentes: a maioria dos ativos dos usuários são mantidos em carteiras frias off-line, com apenas os fundos necessários para as operações diárias mantidos em carteiras quentes. As carteiras frias usam um mecanismo de múltiplas assinaturas – cada movimentação de fundos requer autorização de várias partes – fornecendo uma camada adicional de proteção que evita que qualquer ponto único de falha comprometa os fundos dos usuários.

Os ativos do usuário são os depósitos que você e outros usuários fizeram na plataforma. Os fundos operacionais são aquilo que a própria plataforma utiliza para funcionar – taxas cobradas, participações em tesouraria, capital de giro. Ao segregá-los em endereços distintos no Arbitrum, a MC Markets faz uma promessa estrutural limpa: as reservas que respaldam os depósitos dos usuários não podem ser misturadas com despesas operacionais, mesmo por engano.

Ambos os endereços são verificáveis ​​de forma independente através da página Prova de Reservas. Você pode confirmar não apenas se as reservas do usuário correspondem às responsabilidades do usuário, mas também se essas reservas ficam em endereços que não estão sendo usados ​​para operações gerais da plataforma.

6. Como verificar você mesmo as reservas: passo a passo

Esta é a parte em que o “PoR” da indústria deixa de ser uma afirmação abstrata e se torna algo que você realmente faz. Todo o percurso leva cerca de cinco minutos.

Passo 1 — Encontre o endereço da sua carteira

Se você conectou uma carteira externa (MetaMask, etc.) quando depositou, esse endereço é sua referência. Se, em vez disso, você se registrou por e-mail ou Google, a plataforma atribui a você um endereço de depósito – que é mostrado na página Depósito. Localize e copie esse endereço.

Passo 2 — Abra a página Comprovante de Reservas

Navegue até o link Comprovante de Reservas na barra de navegação superior. A página exibe dois números principais:

Reservas Totais – os ativos que a plataforma mantém na rede.

Ativos do usuário — o total de ativos devidos aos usuários.

Confirme visualmente se as Reservas Totais ≥ Ativos do Usuário — o índice de reserva deve ficar em 100% ou acima. Se um carimbo de data/hora do instantâneo for mostrado, anote-o — esse é o momento em que os números foram gerados.

Passo 3 — Verifique seu próprio saldo

Insira o endereço da sua carteira no campo de pesquisa de saldo na página PoR. O sistema retorna o que tem registrado para esse endereço. Verifique isso com o saldo da sua plataforma. Se corresponderem, seus fundos serão contabilizados no total de responsabilidade do usuário.

Passo 4 — Verifique os contratos de reserva diretamente na rede

A página PoR publica os principais endereços dos contratos das reservas. Copie cada endereço e cole-o no Arbiscan — o explorador de blocos públicos do Arbitrum.

No Arbiscan, você pode ver:

O saldo atual da rede do endereço do contrato (em USDC ou outros ativos suportados).

O histórico de transações, incluindo atualizações de reservas, depósitos e retiradas.

O código-fonte do contrato, se tiver sido verificado — o que significa que você pode ler exatamente o que o contrato pode fazer.

Se o saldo da rede corresponder ao relatado pela página PoR, você confirmou de forma independente que as reservas são reais. Não é necessário “confie em mim” – apenas dados verificáveis ​​publicamente.

Passo 5 — Repita periodicamente

PoR é um instantâneo, não um feed ao vivo. Os números de reserva são precisos a partir do último instantâneo. Verificar uma vez é bom; verificar ocasionalmente – especialmente após períodos de alta volatilidade do mercado – é melhor.

7. O que é “bom” nos dados PoR

Depois de saber como verificar, aqui está o que realmente procurar – estes são os marcadores de uma implementação de PoR saudável, nesta plataforma ou em qualquer outra:

O rácio de reserva situa-se em 100% ou acima, de forma consistente. Uma plataforma cuja proporção cai abaixo de 100% – mesmo que brevemente – não está honrando o apoio 1:1 naquele momento.

Os endereços do lado do usuário e do lado operacional são separados. Endereços mistos são um sinal de alerta para qualquer plataforma de custódia.

Os instantâneos são atualizados em uma cadência regular. Longos intervalos – meses sem atualizações – sugerem que o sistema não está sendo mantido ativamente.

O código-fonte do contrato é verificado no Arbiscan. Isso significa que qualquer pessoa pode ler exatamente o que o código do contrato faz. Contratos não verificados são opacos e a opacidade é o oposto da finalidade do PoR.

8. Panorama geral: Por que “Confiar e depois verificar” é importante

A lição pós-2022 para toda a indústria é que a confiança sem verificação não sobrevive a um evento de stress. Todas as principais bolsas publicam agora alguma forma de atestado de reserva; a profundidade, frequência e verificabilidade variam significativamente entre eles.

A posição da MC Markets – Merkle-tree PoR on Arbitrum, mais endereços de reserva separados, mais infraestrutura pública auditada (Chainlink, Pyth) – situa-se diretamente na extremidade de “alta transparência” desse espectro. O compromisso da plataforma de ser “verificável na rede” não é um slogan de marketing – é uma declaração falsificável que você pode testar em cinco minutos com o procedimento acima.

O princípio geral que vale a pena levar com você, em qualquer plataforma que você usar: não pergunte “dizem que meus fundos estão seguros?” - pergunte "posso verificar?" A primeira é uma reivindicação. A segunda é um fato.

9. Recapitulação rápida

As cinco ideias que vale a pena manter:

A Prova de Reservas é um mecanismo criptográfico que prova que uma plataforma detém pelo menos tanto quanto deve – sem exigir que os usuários confiem na contabilidade interna.

Implementação da MC Markets: PoR baseado em árvore Merkle, implantado no Arbitrum, com reservas de 100% ou mais e atualizações periódicas de instantâneos.

Três protocolos públicos auditados formam a espinha dorsal da rede: Arbitrum (reservas e contratos), Chainlink (oráculos de preços), Pyth (feeds de preços de derivativos).

Os ativos dos usuários e os fundos operacionais são armazenados em endereços separados na rede – ambos verificáveis ​​de forma independente por meio da página Prova de Reservas.

A verificação leva cerca de cinco minutos: encontre o endereço da sua carteira (ou endereço atribuído à plataforma na página de depósito) → abra a página Relatório de reservas → verifique seu saldo e a taxa de reserva → copie os endereços principais do contrato para Arbiscan → confirme na rede.

Divulgação de Risco

A mecânica, endereços de contrato e procedimentos de verificação aqui descritos refletem a implementação atual da MC Markets e podem ser atualizados; consulte sempre a página oficial do Comprovante de Reservas para obter as informações mais atualizadas. Embora a Prova de Reservas verifique se os ativos dos usuários são garantidos 1:1 na cadeia, ela não elimina o risco de mercado ou o risco operacional. A negociação na plataforma envolve riscos substanciais e pode resultar em perdas. Negocie com base na sua própria análise e tolerância ao risco, com capital que você pode perder.