Smart contracts and decentralized finance are two of the goals of Real Digital. The Central Bank of Brazil’s LIFT Challenge