Carbon Trading with Blockchain. - Andreas Richardson; Jiahua Xu 002 (IACR Cryptol. ePrint Arch., 2020)