#链上应用与预测市场 Ao ver esta previsão de Vitalik, a minha primeira reação foi simultaneamente familiar e estranha. Familiar porque ouvi argumentos deste tipo "a tecnologia acabará por resolver tudo" demasiadas vezes neste círculo; estranho porque desta vez soou particularmente ponderado.

Lembro-me da onda de ICO de 2017, de quantos projetos angariavam milhões ao som de "os contratos inteligentes vão mudar o mundo", e depois? O evento The DAO, a falha da carteira Parity, inúmeras "vulnerabilidades de contratos de milhões" — mostraram-nos um facto claro: a fragilidade do código não é um bug, é um destino. Muitos projetos dessa época morreram por causa deste destino.

Mas o que Vitalik está a dizer sobre código sem bugs é essencialmente sobre verificação formal e correção comprovável. Isto não é ficção. Nos últimos anos, desde o modelo de recursos da linguagem Move, aos mecanismos de segurança de memória do Rust, até ao avanço das provas de conhecimento zero em aplicações on-chain — estamos realmente a aproximar-nos desta direção passo a passo. Só que o custo é alargar o ciclo de desenvolvimento, sacrificar o desempenho em certos cenários.

A questão fundamental é: até aos anos 30 de 2030, isto pode realmente tornar-se mainstream? Ou existirá apenas nas poucas aplicações com requisitos mais elevados de segurança absoluta? Inclino-me para esta última. Basta olhar para o histórico dos mercados de previsão para saber que entre a inovação tecnológica e a aplicação prática, muitas vezes existe um abismo chamado "incentivos económicos". Código sem bugs pode ser possível, mas se o custo de o usar pode ser aceite pelo mercado, isso é outra história completamente diferente.

Neste ciclo, o que me preocupa mais é quem conseguirá sobreviver durante este processo de transição.