Vaultit tekevät rahoitustuotteista ohjelmoitavia