Banco Inter is using it in Brazil's digital currency Drex, which is in the final testing phase.