Prova de Reservas Hoje, estamos sobre os ombros das exchanges que vieram antes de nós. Mais de uma década de pioneirismo. Mais de uma década de explosões. Mais de uma década de colapsos. Mais de uma década de lições difíceis aprendidas. E se há uma lição a aprender, é que o futuro das finanças está na blockchain. Hoje, avançamos lentamente com nossa própria contribuição, comprometendo-nos a uma prova de reservas diária, e não vamos parar por aqui. Quando decidimos construir a Backpack Exchange, perguntamos se queríamos construir uma CEX ou uma DEX, e concluímos: por que não ambas? O TradFi não vai a lugar nenhum, e com o tempo ele vai evoluir para se tornar cada vez mais parecido com o cripto. As exchanges centralizadas do futuro permanecerão em conformidade - mas serão verificáveis, distribuídas e parecerão e sentirão muito como as exchanges descentralizadas de hoje. No final, será difícil perceber a diferença. As CEXs estarão em conformidade. As DEXs serão resistentes à censura. Ambas estarão na blockchain. O próximo passo na jornada contínua da Backpack para minimizar a confiança: atestações de integridade do estado. (Francamente, estou relutante em até mesmo dizer isso, porque palavras e definições técnicas se tornaram tão distorcidas neste ciclo que quase se tornaram sem sentido. No entanto, é bastante interessante e dá uma visão de onde estamos e para onde estamos indo, então aqui vamos nós.) Poucos entendem que a Backpack já está na blockchain. O livro razão da exchange em si é construído a partir de um log linear global de transações autenticadas executadas em uma máquina de estados determinística. Cada colocação de ordem, cada cancelamento, cada liquidação, cada depósito, cada retirada - tudo - é uma transação assinada. Através de uma lente, replicação clássica de máquina de estados com um pouco de cripto por cima. Através de outra lente, uma blockchain permissionada de certa forma. A prova de reservas dá o grande e crítico passo de ancorar nosso livro razão a cadeias públicas, mas como você sabe que esse livro razão foi computado corretamente? Você precisa não apenas ver o código para garantir que não houve jogo sujo, mas também precisa reproduzir cada transação - como é feito com as blockchains de hoje - ou codificar essa função de transição de estado em um circuito de conhecimento zero - como é feito com a vanguarda das VMs ZK. Em qualquer um dos casos, o resultado é o mesmo: verificabilidade do livro razão. Hoje, a Backpack é totalmente verificável. Cada transição de estado desde o início dos tempos até agora pode ser executada e comparada ao nosso livro razão publicamente atestado. Combine este livro razão com uma prova de reservas, e você tem uma ancoragem completa de uma exchange centralizada a uma blockchain pública. Para começar, estamos nos comprometendo a provas diárias, mas na prática, realizamos nossa reconciliação de saldo em tempo real e geramos as provas a cada 10 minutos. Para ser honesto, espero alguns desafios com a geração de provas com muita frequência devido a alguns requisitos regulatórios relacionados a fiat que estão por vir, então vamos nos manter com uma vez por dia por enquanto. Mas à medida que nos sentirmos cada vez mais confortáveis com o sistema, pretendemos reduzir os tempos de prova de diários para, espero, cada vez mais próximos do tempo real. Há apenas um problema com tudo isso: não publicamos o código ou os dados publicamente, e assim, embora muito do trabalho técnico árduo para alcançar a verificabilidade esteja feito, na prática, ainda está muito na categoria de "confie em mim, cara". (Para ser justo conosco, quase tudo em cripto ainda está muito na categoria de confie em mim, cara, mas fazemos o nosso melhor para sermos sinceros sobre nossas limitações.) De qualquer forma, este é o próximo passo crítico que devemos dar para capacitar nossa prova de reservas com garantias de ponta a ponta sobre os saldos dos usuários na plataforma. Devagar, mas com certeza, colocamos um pé na frente do outro. Este foi um passo importante para nós, mas há muitas, muitas - muitas - mais áreas para trazer uma verdadeira minimização da confiança a cada nível da pilha da exchange centralizada. Custódias, gestão de risco de margem, autocustódia - todos tópicos que merecem sua própria análise profunda, seu próprio produto e seu próprio anúncio. Há muito trabalho a ser feito para reimaginar e reconstruir a exchange centralizada do zero, e, por mais clichê e pouco criativo que seja dizer. Isso é apenas o começo. 🧱 --------------------- PS. Alguns detalhes interessantes: - A prova cobre todos os saldos "físicos" na exchange. Gosto de dizer físico porque implica que você pode tocar as moedas - ao contrário de conceitos sintéticos que não podem ser aplicados externamente por um L1 como interesse aberto, pnl não realizado ou empréstimos abertos. Na nomenclatura do sistema da Backpack, isso significa que todos os fundos em saldos disponíveis (ou seja, tokens sentados em seu portfólio), ordens abertas (ou seja, tokens sentados no livro de ordens) e empréstimos não emprestados (ou seja, tokens que foram emprestados mas não emprestados) estão encapsulados pela Prova de Reservas. Esses últimos dois pontos são extremamente sutis, mas extremamente importantes, então vou tocar neles a seguir. - Surpreendentemente, algumas exchanges permitem negociação com um conceito TradFi chamado "liquidação líquida", onde alguém pode fornecer liquidez com mais ativos do que possui na plataforma, por exemplo, porque é um participante de mercado confiável que permanece neutro. Na Backpack, todos os saldos no livro de ordens são físicos. Ou seja, eles mapeiam diretamente para saldos sentados em nossas carteiras na blockchain, e como os saldos no livro de ordens são físicos, isso garante que a liquidez que você vê é sempre real e ancorada pela blockchain pública via PoR. (Há também outras maneiras interessantes de testar se a liquidez é real, por exemplo, construir um bot de taker e verificar sua taxa de preenchimento. Tal experimento tem sido frequentemente usado por HFTs de cripto para testar a integridade de vários livros de ordens de exchanges ao longo dos anos.) - Na Backpack ou em qualquer sistema de empréstimo e empréstimo, alguém poderia depositar USD e usar isso como colateral para emprestar e retirar BTC. Isso cria um buraco legítimo no sistema onde esse buraco está totalmente e mais de 100% colateralizado pelos ativos que respaldam o empréstimo. No entanto, é um buraco. O ativo emprestado está *corretamente* não mais sentado na carteira se o tomador retirar. Como resultado, uma análise abrangente das reservas deve ser emparelhada com uma robusta análise de risco de margem. Deve-se responder à pergunta: o colateral se sustenta e pode ser liquidado em um movimento de mercado no pior cenário? Naturalmente, a gestão de risco é tão importante quanto a custódia, mas essa é uma conversa para outro dia. - Como os Futuros Perpétuos na Backpack realizam PnL em tempo real, marcando as posições ao mercado e trocando dinheiro físico entre todos os vencedores e perdedores continuamente, isso significa que todo PnL aberto nas posições é contabilizado na prova de reservas, uma boa vitória que resulta do nosso design de motor de risco de graça. - Ironicamente, o fiat sentado em bancos, que o resto do mundo não nativo de cripto vê como mais seguro, coloca um obstáculo na Prova de Reservas. Como implicado acima, há alguns requisitos regulatórios em algumas partes do mundo onde stablecoins não são permitidas. Nessas regiões, seremos forçados a usar o bom e velho dinheiro no banco. No entanto, nosso sistema não conhece nada além de tokens. Para resolver isso, precisaremos cunhar um "token de depósito" (como uma stablecoin, mas representando depósitos bancários). Atualmente, usamos 100% stablecoins, mas suspeito que os tokens de depósito se tornarão mais comuns com o tempo, como vimos recentemente o JP Morgan se unir à Coinbase para pioneirar esse conceito. - Se você ainda não viu, confira nossa página de Prova de Reservas. Nós hospedamos uma onde você pode baixar e executar todas as provas. Tanto em agregado em toda a exchange quanto também provas de inclusão para sua conta específica. Uma segunda página com os mesmos dados e provas é hospedada externamente e validada pela Ottsersec (veja o tweet citado para detalhes e links). - Para completar, devo mencionar que todo o código de prova ZK é público para o mundo ver, clonar e executar por conta própria. ----------------------- PS. Se você acha que alguma dessas informações é interessante, estamos contratando. DMs estão abertas.