Conclusões e Trabalhos Futuros

Este capítulo encerra o trabalho: sintetiza os resultados e responde às perguntas de pesquisa (§6.1), reconhece as limitações (§6.2), consolida as direções de trabalhos futuros (§6.3) e fecha com as considerações finais (§6.4).

6.1 Síntese e resposta às perguntas de pesquisa

As duas perguntas de pesquisa formuladas em §1.3 podem agora ser respondidas. A principal indagava se é possível executar um leilão de Vickrey em blockchain pública sem vazar nenhum lance além do preço de fechamento, preservando a propriedade de truthfulness; a secundária, a que custo operacional essa execução é viável. Que o padrão FHE viabiliza esse tipo de leilão já havia sido demonstrado na linhagem da Zama, conforme discutido no capítulo 3; o que este trabalho acrescenta é uma resposta rigorosa e em outra plataforma: a realização do mecanismo sobre a Fhenix CoFHE, com seu modelo de decifração distinto, acompanhada de uma caracterização quantitativa do custo e do vazamento residual. À pergunta principal, a resposta é afirmativa; à secundária, os custos de gás e latência medidos no capítulo 5 mostram que a execução é viável na escala de pequenos a médios leilões institucionais.

Para chegar a ela, os seis objetivos específicos enunciados em §1.5.2 foram cumpridos. O problema do vazamento de informação em leilões nativos de blockchain pública, e os limites das abordagens existentes para mitigá-lo, foram caracterizados na introdução e nos capítulos de trabalhos relacionados e de desenvolvimento (objetivo 1). O contrato ConfidentialVickreyAuction, que resolve o problema da exclusão e o tratamento determinístico de empates sobre as primitivas da FHE.sol da Fhenix, foi implementado e descrito no capítulo 4 (objetivo 2). A interface gráfica web, com cifração realizada no próprio navegador via WebAssembly, foi construída e integrada ao fluxo do leilão (objetivo 3). A implantação ponta-a-ponta foi realizada na testnet pública Arbitrum Sepolia, com a Fhenix CoFHE ativa, e a corretude do mecanismo foi validada por leilões reais executados pela interface gráfica a partir do mínimo de licitantes exigido pelo contrato, além de uma suíte de vinte testes (objetivo 4). A implementação foi avaliada empiricamente sob os eixos de custo computacional, latência e vazamento de informação, em populações de três, cinco e dez participantes (objetivo 5). E os trade-offs, limitações e ameaças à validade foram discutidos no capítulo 5, com as direções de extensão consolidadas neste capítulo (objetivo 6).

Cumpridos os objetivos, a hipótese H formulada em §1.4 confirma-se em suas três partes. Quanto ao sigilo (parte a), a análise de vazamento do capítulo 5 mostrou que o único valor de lance revelado pelo mecanismo é o segundo maior preço, ao lado da identidade do vencedor exigida pela entrega do item; todos os lances perdedores permanecem cifrados permanentemente, e mesmo o lance do vencedor é apenas parcialmente revelado, confinado ao intervalo entre o segundo preço e o colateral. Quanto à truthfulness (parte b), ela é preservada, para participantes cujo valor verdadeiro não excede o colateral público exigido (§5.6), justamente porque os lances permanecem efetivamente selados durante toda a disputa, condição da qual a estratégia dominante de revelar o valor verdadeiro depende. E quanto à viabilidade prática (parte c), o leilão foi executado em testnet pública na escala de até dez participantes, sob custo de gás e latência medidos e documentados.

Esses custos, que respondem à pergunta secundária, podem ser resumidos. A operação de lance é a mais cara do mecanismo, em torno de 611 mil unidades de gás na testnet em média, por concentrar a aritmética homomórfica do cap e da atualização do par de maiores lances; as demais operações custam significativamente menos. O custo por operação é constante no número de participantes, propriedade que decorre do padrão top-2 incremental e foi confirmada nas medições em ambiente simulado (mock); o custo total de um leilão cresce de forma aproximadamente linear, de cerca de 2,7 milhões de unidades de gás para três participantes a cerca de 8,3 milhões para dez, simplesmente porque há mais transações de lance e de saque. Em latência, o componente dominante percebido pelo usuário não é a confirmação on-chain, mas a cifração no cliente, da ordem de sete segundos, inerente ao custo do TFHE; a consulta à rede de decifração distribuída custa cerca de três segundos adicionais na fase de revelação.

Em síntese, o trabalho entrega três contribuições articuladas. A primeira é a própria implementação do leilão de Vickrey confidencial sobre a Fhenix CoFHE, com o problema da exclusão e o tratamento de empates resolvidos por um padrão top-2 incremental de custo constante. A segunda é a análise formal de vazamento de informação sob modelo de adversário explícito, acompanhada de uma medida em forma fechada da incerteza residual sobre os lances. A terceira é a validação ponta-a-ponta em testnet pública, com interface gráfica reproduzível e cifração no cliente, que demonstra a viabilidade do mecanismo fora do ambiente controlado de simulação.

6.2 Limitações

As limitações do trabalho foram discutidas em detalhe no capítulo 5 e são aqui apenas recapituladas. A avaliação cobriu populações de até dez participantes, coerentes com a hipótese de pequenos a médios leilões institucionais, mas não leilões de larga escala. A implementação trata o caso de unidade única, não a alocação simultânea de múltiplas unidades. Os números de gás do ambiente mock e da testnet diferem por construção, de modo que apenas os valores da testnet representam custo de produção. A identidade dos participantes e o teto público imposto pelo colateral permanecem visíveis, conforme reconhecido no modelo de ameaça. E a avaliação se deu em uma única plataforma de FHE on-chain, o que limita a generalização direta para outras infraestruturas. Nenhuma dessas limitações invalida as respostas às perguntas de pesquisa; todas, porém, delimitam o seu alcance e motivam as extensões a seguir.

6.3 Trabalhos futuros

Os resultados deste trabalho abrem sete direções de extensão.

A primeira é a generalização para leilões multi-unit, em que várias unidades de um ativo são ofertadas simultaneamente e alocadas aos maiores lances ao preço do primeiro lance perdedor. Essa extensão é particularmente pertinente ao caso de uso de RWA que motivou o trabalho, em que a alocação primária de tokens fracionados é naturalmente multi-unit, e exige generalizar o padrão top-2 para a manutenção homomórfica dos top-k lances.

A segunda é a comparação empírica controlada com baselines. Uma extensão natural deste trabalho é medir, sob a mesma metodologia, a implementação FHE lado a lado com um leilão em esquema commit-reveal e um leilão em texto claro. Isso permitiria quantificar com precisão o "preço da privacidade", isto é, quanto de gás e de latência adicionais a confidencialidade custa em relação às alternativas, convertendo em medida o que este trabalho discutiu qualitativamente.

A terceira é a escalabilidade. Como o custo total cresce linearmente com o número de participantes, leilões com centenas de concorrentes demandariam investigação de otimizações, como o agrupamento (batching) de operações homomórficas e a redução do número de comparações por lance, além de avaliação em redes de menor custo de gás.

A quarta é a ocultação da identidade do vencedor. O mecanismo revela hoje, por necessidade de entrega do item, quem venceu. Técnicas de stealth address, em que o item é alocado a um endereço derivado e não diretamente vinculável ao vencedor, permitiriam estreitar ainda mais o vazamento, conforme antecipado na §4.1.6.

A quinta é a aplicação do padrão arquitetural a outros mecanismos de leilão. A topologia de estado cifrado mais revelação seletiva orquestrada pelo cliente não é específica de Vickrey; ela poderia instanciar leilões holandeses, ingleses ou de dupla face (double auction), descritos na tipologia da §2.5.1, cada um com seu próprio conjunto de valores a revelar ao final.

A sexta é a flexibilização do número mínimo de participantes. O contrato exige ao menos três bidders para que o segundo preço não coincida trivialmente com o maior lance. Mecanismos de desempate alternativos, ou esquemas de preço de reserva cifrado, permitiriam estender o mecanismo a leilões com menos participantes sem comprometer o sigilo, conforme apontado na §4.2.5.

A sétima é o redesenho do modelo de colateral. O colateral integral em ETH nativo imobiliza capital e expõe os participantes à volatilidade do ativo. Duas direções merecem investigação: o uso de stablecoins (tokens de valor atrelado a uma moeda fiduciária) como ativo de colateral, mais alinhado à prática de mercados institucionais e ao caso de uso de RWA; e esquemas de colateral parcial ou dinâmico, cujo desafio central é preservar o sigilo, uma vez que qualquer depósito proporcional ao lance vaza informação sobre ele. Direções como tokens de valor cifrado, na linha de padrões de token confidencial, seriam o caminho natural para conciliar eficiência de capital e privacidade.

6.4 Considerações finais

A motivação deste trabalho partiu de uma tensão concreta: leilões em blockchain pública vazam, em seu formato nativo, toda a informação estratégica dos participantes, o que inibe justamente os atores cuja participação daria liquidez e justiça de preço a mercados como o de ativos do mundo real "tokenizados". As mitigações usuais, do commit-reveal aos mempools privados, atacam o sintoma sem eliminar a causa. A Fully Homomorphic Encryption, ao permitir computar sobre lances cifrados sem jamais decifrá-los, oferece uma resposta de natureza diferente, que ataca a causa.

O que este trabalho demonstrou é que essa resposta deixou de ser apenas teórica. Um leilão de Vickrey selado de ponta a ponta, com truthfulness preservada e sem leiloeiro confiável, é hoje executável em blockchain pública, a um custo que, embora se espere superior ao de um leilão em texto claro (comparação qualitativa de ordem de grandeza, cf. §5.6), é compatível com os leilões de alto valor unitário que mais se beneficiam da confidencialidade. A base criptográfica que torna isso possível é, ademais, resistente aos ataques quânticos conhecidos, o que confere ao sigilo dos lances uma durabilidade que as construções clássicas não oferecem. À medida que a infraestrutura de FHE on-chain amadurece e seus custos caem, espera-se que o conjunto de mecanismos de mercado que podem migrar para esse regime de confidencialidade verificável se amplie, e este trabalho oferece, para o caso do leilão de Vickrey, uma demonstração concreta e reprodutível de que o caminho é viável.