Há uma hora, Vlad Tenev disse algo: em dois anos, todo código será formalmente verificado.
Para quem está de fora, isso soa como conversa fiada do mundo da tecnologia. A verificação formal é uma ferramenta antiga nos setores aeroespacial e de chips: uma equipe pode levar meses para avançar em um pequeno trecho de código, e o custo é tão alto que ninguém quer usá-la em softwares comerciais. Agora, os grandes modelos conseguem escrever as provas e o código juntos, deixando para os humanos apenas a última conferência. De repente, a conta fecha.
O que realmente está mudando é a origem da confiança. Antes, para avaliar se uma plataforma era confiável, olhávamos para as licenças, os relatórios de auditoria e se ela indenizava os usuários quando algo dava errado. Daqui para a frente, isso não será suficiente: o próprio código terá de apresentar uma prova de que realmente funciona como foi escrito.
Os ativos on-chain seguem essa lógica desde o primeiro dia: as regras estão escritas nos contratos e podem ser consultadas publicamente. A rede $BTC funciona há dezessete anos sem parar, graças à sua simplicidade e verificabilidade. Se as finanças tradicionais também começarem a exigir provas legíveis por máquina, pela primeira vez os dois lados estarão falando a mesma língua.
No dia em que a verificação realmente se tornar padrão no setor, o que restará para as plataformas que contam histórias com estruturas complexas?
Para quem está de fora, isso soa como conversa fiada do mundo da tecnologia. A verificação formal é uma ferramenta antiga nos setores aeroespacial e de chips: uma equipe pode levar meses para avançar em um pequeno trecho de código, e o custo é tão alto que ninguém quer usá-la em softwares comerciais. Agora, os grandes modelos conseguem escrever as provas e o código juntos, deixando para os humanos apenas a última conferência. De repente, a conta fecha.
O que realmente está mudando é a origem da confiança. Antes, para avaliar se uma plataforma era confiável, olhávamos para as licenças, os relatórios de auditoria e se ela indenizava os usuários quando algo dava errado. Daqui para a frente, isso não será suficiente: o próprio código terá de apresentar uma prova de que realmente funciona como foi escrito.
Os ativos on-chain seguem essa lógica desde o primeiro dia: as regras estão escritas nos contratos e podem ser consultadas publicamente. A rede $BTC funciona há dezessete anos sem parar, graças à sua simplicidade e verificabilidade. Se as finanças tradicionais também começarem a exigir provas legíveis por máquina, pela primeira vez os dois lados estarão falando a mesma língua.
No dia em que a verificação realmente se tornar padrão no setor, o que restará para as plataformas que contam histórias com estruturas complexas?
