Making Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents

arXiv cs.CR · 30 sept, 06:00

Investigadores presentan un sistema de facturas electrónicas basado en blockchain para Ethereum que garantiza que una factura no puede reembolsarse dos veces, incluso entre organizaciones que no se confían mutuamente. El sistema utiliza contratos inteligentes verificados formalmente y actúa como envolvente de seguridad para agentes de reembolso basados en LLM, rechazando acciones inseguras incluso cuando la política interna del agente falla.