JGCRI/plutus: plutus v1.0.0 - Zhao, Mengqi (2021)