Vitalik: A verificação formal assistida por IA é a “forma final da engenharia de software”, com a Ethereum como núcleo da segurança
Vitalik Buterin, cofundador da Ethereum, publicou a 18 de maio uma análise aprofundada sobre o estado e as perspetivas da verificação formal (Formal Verification), defendendo que a verificação formal apoiada por IA se tornará “a forma final do desenvolvimento de software” e apontando que a Ethereum será uma parte importante da arquitetura futura de “core de segurança”. Os princípios centrais da verificação formal e os casos de uso Conforme confirmado no artigo de Vitalik, a verificação formal é
ETH0,25%
MarketWhisper·6m atrás










