Proof-Gated Signing usa solver SMT para blindar agentes de IA com carteiras cripto contra 'state drift'
O artigo ataca um problema especifico de agentes de IA que controlam carteiras on-chain: como eles leem conteudo potencialmente controlado por atacantes, podem ser induzidos a propor transacoes danosas, e as verificacoes usuais checam o estado da blockchain no momento da checagem, nao no momento da execucao -- uma janela que um atacante pode explorar via front-running ou mudancas de contrato. A defesa proposta, Proof-Gated Signing, simula a transacao, extrai seus efeitos e usa um solver SMT para provar que uma politica declarativa se mantem valida sob toda uma faixa de incerteza de preco, bloqueando no proprio contrato de carteira qualquer execucao que viole as pos-condicoes provadas; em 260 cenarios de teste, preveniu 93,6% dos ataques, contra 57,9% da simulacao isolada e 71,4% da allowlist estatica.
Fonte ↗