2025-12-24 13:02:04

O cofundador do Ethereum, Vitalik Buterin, recentemente partilhou uma previsão técnica interessante: que afirmações como "falhas são inevitáveis, o código inevitavelmente contém bugs" podem deixar de ser válidas na década de 2030.

A sua perspetiva é bastante realista — atualmente, de fato, há uma grande quantidade de software com vulnerabilidades, mas isso não se deve à incapacidade técnica, e sim ao facto de, em muitos cenários, a iteração rápida e a melhoria de funcionalidades serem mais importantes do que a busca pela perfeição absoluta do código. Empresas e desenvolvedores muitas vezes fazem escolhas entre esses dois aspetos.

Mas e se realmente for necessário código sem vulnerabilidades? Vitalik acredita que, no futuro, as ferramentas tecnológicas serão capazes de alcançar isso. Isto é especialmente crucial para o ecossistema Web3 — contratos inteligentes lidam com fundos, e a confiabilidade absoluta do código deixará de ser um luxo e passará a ser uma necessidade.

Desde a validação formal até à auditoria assistida por IA, passando pela otimização de compiladores e proteção em tempo de execução, o setor de blockchain está acumulando essas ferramentas tecnológicas. Talvez, na década de 2030, vejamos realmente o ponto de equilíbrio entre segurança e funcionalidade ser redefinido.

Ver original

Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.

11 gostos

Recompensa
11
7
Republicar
Partilhar

Comentar

0/400

ForkMaster

· 2025-12-26 05:50

Dizer que sim é bonito, mas na verdade os códigos dos contratos dos projetos atuais são como dados, os relatórios de auditoria são apenas enfeites. Aqueles meus três filhos parecem ser mais confiáveis do que alguns contratos inteligentes escritos.

Ver originalResponder0

DataBartender

· 2025-12-25 22:46

Vessa, este tipo está um pouco idealista, zero bugs em 2030? Eu não acredito nisso Sonhar alto demais... capital e prazos de entrega sempre vencem A validação formal parece incrível, mas na prática? Ainda depende das auditorias Zero vulnerabilidades real não existe, enquanto houver pessoas, haverá bugs Esse cara está falando sério... mas de fato, muitos fundos foram perdidos no DeFi, tem um cheiro de necessidade urgente Mais uma vez 2030, por que todas as previsões sempre empurram dez anos para frente Talvez, mas estou mais interessado em quando esses projetos poderão deixar de ser roubados

Ver originalResponder0

WhaleWatcher

· 2025-12-24 13:29

V哥 esta ideia é bastante otimista, mas na realidade... Ainda há 10 anos até 2030, e os bugs nos contratos ainda estão a ser explorados para cortar os investidores A ideia de que a verificação formal pode salvar o mundo? É bonito de ouvir, mas quem paga os custos das auditorias? Código sem vulnerabilidades? Haha, primeiro estabilizem o Ethereum antes de se gabarem Esta teoria já ouvi muitas vezes, a velocidade de avanço tecnológico nunca consegue acompanhar a criatividade dos hackers É uma visão interessante, mas ainda assim não acredito

Ver originalResponder0

OnlyOnMainnet

· 2025-12-24 13:26

V神 voltou a fazer promessas, código sem bugs? Falar é fácil, até 2030 ainda podem estar a corrigir Espera aí, a verificação formal já existe há muito tempo, por que só agora dizem que vão usar... Já investi no fundo de compensação por bugs de contratos inteligentes há algum tempo, e ainda estou à espera Irmãos, não confiem demasiado nesta previsão, as previsões do último década também falharam Zero vulnerabilidades é um sonho, ter dinheiro para corrigir bugs é que é a realidade

Ver originalResponder0

GasGoblin

· 2025-12-24 13:21

vitalik又开始画饼了，但这次的饼我得承认确实诱人...2030年零漏洞，咱得活到那时候先 Não está certo, será que a iteração rápida e a segurança realmente podem coexistir perfeitamente? Ou será que ele está insinuando que alguns projetos deveriam desacelerar? A validação formal parece incrível, mas na prática... será que consegue suportar tantos tokens? Um pouco duvidoso Espera aí, ele está aplicando patches nos contratos que foram hackeados antes... risos 2030 ainda está longe, primeiro vamos consertar os bugs deste ano antes de pensar nisso Se contratos inteligentes realmente ficarem zero vulnerabilidade, o que vão fazer as empresas de segurança? Essa lógica não faz sentido para mim Parece que está fazendo propaganda de auditoria de IA... mas realmente é necessário esse tipo de coisa

Ver originalResponder0

CryptoMotivator

· 2025-12-24 13:17

Depois de tantos anos sonhando com zero bugs, será que em 2030 realmente será possível? Acho que é difícil Vitalik está novamente fazendo promessas, mas desta vez realmente não está exagerando Verificação formal parece incrível, mas na prática é gastar dinheiro e mão de obra Se os contratos inteligentes ainda se derem ao luxo de falhar, então já estão cansados da vida E a auditoria de IA prometida? Ainda depende de revisão manual 2030? Naquela altura, já terão sido criadas várias gerações de novas moedas, acho que ainda é cedo para falar nisso Contratos sem bugs? Só se for um sonho, sempre haverá vulnerabilidades que os hackers ainda não descobriram No final, a segurança da blockchain ainda depende de questões de confiança

Ver originalResponder0

Fren_Not_Food

· 2025-12-24 13:03

vitalik又在放卫星了哈哈，2030年零bug代码...听听就算了 shit happens but make it formalized verification smart contract一个bug就是几百万美元没了，这点他说对了形式化验证听起来牛逼但真的能用上生产环境？我打赌还是一堆theoretical bs 与其零bug不如零rug pull，有没有

Responder0