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údo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
9 Curtidas
Recompensa
9
5
Repostar
Compartilhar
Comentário
0/400
WhaleWatcher
· 10h atrás
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
· 10h atrás
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
· 10h atrás
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
· 10h atrás
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
· 10h atrás
vitalik又在放卫星了哈哈,2030年零bug代码...听听就算了
shit happens but make it formalized verification
smart contract一个bug就是几百万美元没了,这点他说对了
形式化验证听起来牛逼但真的能用上生产环境?我打赌还是一堆theoretical bs
与其零bug不如零rug pull,有没有
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.