A lucidez sintético ganhou terreno em quase todos os setores nos últimos meses. Segundo Vitalik Buterin, cofundador da Ethereum, também pode ser muito útil para emendar grandes falhas técnicas na rede.
“Uma emprego de lucidez sintético que me entusiasma é a verificação formal de código assistida por IA e a invenção de bugs”, escreveu Buterin em sua conta na rede social
A verificação formal nomeada por Vitalik Buterin envolve o uso de métodos matemáticos para provar a correção do código do software. Assim, garante que um protocolo se comporte conforme o esperado e minimize o risco de erros ou vulnerabilidades.
No contexto do Ethereum, onde os contratos inteligentes são essenciais, ter um código sólido não é pouca coisa. Na verdade, em dezembro de 2023, a equipe do Open Zeppelin revelou vulnerabilidades em duas funções de contrato inteligente do Ethereum que levaram ao roubo de mais de US$ 200.000 em criptomoedas.
A verificação formal assistida por IA pode juntar automação e eficiência ao processo identificação de possíveis problemas dentro do código. Ao aproveitar algoritmos de estágio de máquina, os sistemas de IA podem explorar de forma abrangente estruturas de código complexas e identificar vulnerabilidades potenciais que poderiam passar despercebidas unicamente através da inspeção manual.
4 usos da lucidez sintético em redes de criptomoedas
O post X mencionado supra não é a primeira referência de Vitalik Buterin à lucidez sintético no espaço das criptomoedas. Num item recente no seu blog pessoal, o desenvolvedor explicou os quatro papéis que a IA pode assumir neste campo tecnológico, embora a sua relação até agora seja limitada.
Mas há uma mudança na percepção nos últimos três anos, explica Buterin, graças a uma IA mais poderosa e a redes de criptomoedas mais poderosas. Um contraponto importante que se destaca é que Na criptografia, a transparência é importante para a segurança, enquanto na IA, a início aumenta a vulnerabilidade a ataques adversários de estágio de máquina.
Os quatro usos potenciais destacados por Vitalik Buterin são: IA “porquê jogador em um jogo”participando de mecanismos onde os incentivos vêm de um protocolo com contribuições humanas; IA “porquê interface de jogo”, ajudar os usuários a entender o mundo das criptomoedas e prometer que seu comportamento corresponda às suas intenções, evitando armadilhas ou golpes; IA “porquê regras do jogo”, com blockchains e mecanismos similares usando “juízes” baseados em IA; e a IA “porquê objetivo do jogo”, projetar blockchains e mecanismos para manter a IA utilizável para outros fins, usando criptomoedas para incentivar o treinamento e evitar o uso indevido da IA.
