motoko
dfinity/the Internet Computer の smart contract 記述言語