Verifiable Infrastructure for Financial Systems