需设置至stdlib目录。
export ZOKRATES_HOME=$PATH_TO_ZOKRATES/zokrates_stdlib/stdlib/
对于sha256运算，可直接引入zokcrates提供的官方实现：
import "hashes/sha256/512Padded.code"
若$ZOKRATES_HOME设置不正确，./zokrates compile -i ***时会报错zokrates compilation failed. No such file or directory。
官方教程中的例子：
