Freed — Verification Infrastructure for Financial Transactions