Digital Renminbi: Shenzhen pilots new digital currency