arXiv cs.CR·9d agoMaking Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents#ethereum#smart-contracts#formal-verificationResearch