Futuros
Aceda a centenas de contratos perpétuos
TradFi
Ouro
Plataforma de ativos tradicionais globais
Opções
Hot
Negoceie Opções Vanilla ao estilo europeu
Conta Unificada
Maximize a eficiência do seu capital
Negociação de demonstração
Introdução à negociação de futuros
Prepare-se para a sua negociação de futuros
Eventos de futuros
Participe em eventos para recompensas
Negociação de demonstração
Utilize fundos virtuais para experimentar uma negociação sem riscos
Lançamento
CandyDrop
Recolher doces para ganhar airdrops
Launchpool
Faça staking rapidamente, ganhe potenciais novos tokens
HODLer Airdrop
Detenha GT e obtenha airdrops maciços de graça
Launchpad
Chegue cedo ao próximo grande projeto de tokens
Pontos Alpha
Negoceie ativos on-chain para airdrops
Pontos de futuros
Ganhe pontos de futuros e receba recompensas de airdrop
Investimento
Simple Earn
Ganhe juros com tokens inativos
Investimento automático
Invista automaticamente de forma regular.
Investimento Duplo
Aproveite a volatilidade do mercado
Soft Staking
Ganhe recompensas com staking flexível
Empréstimo de criptomoedas
0 Fees
Dê em garantia uma criptomoeda para pedir outra emprestada
Centro de empréstimos
Centro de empréstimos integrado
Centro de Património VIP
Aumento de património premium
Gestão de património privado
Alocação de ativos premium
Fundo Quant
Estratégias quant de topo
Staking
Faça staking de criptomoedas para ganhar em produtos PoS
Alavancagem inteligente
New
Alavancagem sem liquidação
Cunhagem de GUSD
Cunhe GUSD para retornos RWA
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.
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
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
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
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
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
shit happens but make it formalized verification
smart contract一个bug就是几百万美元没了,这点他说对了
形式化验证听起来牛逼但真的能用上生产环境?我打赌还是一堆theoretical bs
与其零bug不如零rug pull,有没有