Proven Decentralized Finance