Zokrates利用现有standard libaray编写code注意事项

需设置至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。

官方教程中的例子：