Proof-Gated Signing: Solver-Checked Transaction Guards that Hold Under State Drift for Onchain AI Agents

arXiv cs.CR · 2 oct, 06:00

Un artículo académico presenta Proof-Gated Signing (PGS), un mecanismo de defensa para agentes de IA que controlan carteras blockchain. El sistema aborda el problema de la "state drift": aunque una transacción se valide correctamente en un momento, un atacante puede manipular el estado de la blockchain antes de su ejecución mediante front-running o cambios de contrato. PGS utiliza un solver SMT para garantizar que la transacción cumple una política de permisos incluso bajo cambios de estado adversariales.