Warning: file_get_contents(/data/phpspider/zhask/data//catemap/3/android/182.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Blockchain Zokrates可以';找不到标准库_Blockchain_Ethereum - Fatal编程技术网

Blockchain Zokrates可以';找不到标准库

Blockchain Zokrates可以';找不到标准库,blockchain,ethereum,Blockchain,Ethereum,我只是在举一个Zokrates的例子。我在编译main.zok时遇到问题。Zokrates找不到标准库 这是main.zok代码。这是Zokrates的教程 我了解到需要将$ZOKRATES_HOME环境变量设置为stdlib。我将一个新的系统变量ZOKRATES\u HOME设置为'C:\Users\ansth\ZOKRATES\ZOKRATES\u stdlib\stdlib'。并在系统变量的路径中添加%ZOKRATES\u HOME% 为什么不能编译呢?环境变量有问题吗

我只是在举一个Zokrates的例子。我在编译main.zok时遇到问题。Zokrates找不到标准库

这是main.zok代码。这是Zokrates的教程

我了解到需要将
$ZOKRATES_HOME
环境变量设置为
stdlib
。我将一个新的系统变量
ZOKRATES\u HOME
设置为'C:\Users\ansth\ZOKRATES\ZOKRATES\u stdlib\stdlib'。并在系统变量的路径中添加
%ZOKRATES\u HOME%

为什么不能编译呢?环境变量有问题吗