cairo 1.0官方文档翻译加学习（安装环境）

最新推荐文章于 2023-09-26 15:12:20 发布

区块链小白在路上

最新推荐文章于 2023-09-26 15:12:20 发布

阅读量473

点赞数

文章标签：区块链零知识证明

本文链接：https://blog.csdn.net/weixin_44600198/article/details/131055667

版权

文章介绍了如何在Python虚拟环境中安装和运行Cairo程序，包括创建虚拟环境、安装依赖、编译和运行Cairo代码。同时，讲解了在VisualStudioCode中安装Cairo扩展以及相关配置，便于代码格式化和开发。该教程适用于对Cairo语言和零知识证明技术感兴趣的开发者。

摘要由CSDN通过智能技术生成

安装

我们建议在 Python 虚拟环境中工作，但您也可以直接安装 Cairo 包。要创建并进入虚拟环境，请键入：

python3.9 -m venv ~/cairo_venv
source ~/cairo_venv/bin/activate

确保 venv 已激活——您应该在命令行提示符中看到 (cairo_venv)。

这里是设置一个虚拟环境，当然也可以用自己电脑系统命令里的python，我用虚拟环境出了个错误：没找到<python.h>,懒得解决，所以我用了系统的，大家随意。

确保您已经安装以下 pip 包：ecdsa、fastecdsa、sympy（使用 pip3 install ecdsa fastecdsa sympy）。
例如，在 Ubuntu 上，您必须先运行：

sudo apt install -y libgmp3-dev

在 Mac 上，您可以使用 brew：

brew install gmp

使用以下命令安装 cairo-lang Python 包：

pip3 install cairo-lang

或者，您可以从 https://github.com/starkware-libs/cairo-lang/releases/tag/v0.11.0.2 下载软件包 (cairo-lang-0.11.0.2.zip)，并使用以下命令安装：

pip3 install cairo-lang-0.11.0.2.zip

Cairo是用python3.9测试的。要使其与 python3.6 一起使用，您必须安装 contextvars：

pip3 install contextvars

func main() {
    [ap] = 1000, ap++;
    [ap] = 2000, ap++;
    [ap] = [ap - 2] + [ap - 1], ap++;
    ret;
}

cairo-compile test.cairo --output test_compiled.json

cairo-run \
  --program=test_compiled.json --print_output \
  --print_info --relocate_prints

您可以通过向 cairo-run 提供 --tracer 标志来打开 Cairo 跟踪器。然后在 http://localhost:8100/ 打开它。

cairo-run   --program=test.json --print_output --print_info --relocate_prints --tracer

大概就是这个样子：

这个很有意思，这里实际上是一个堆栈的演示，也就是说我们可以通过这个来研究cairo是如果为stark电路设计编译器的，对我这种小辣鸡来说也是一个学习zkp和编译原理的机会。

从 https://github.com/starkware-libs/cairo-lang/releases/tag/v0.11.0.2 下载 Cairo Visual Studio Code 扩展 (cairo-0.11.0.2.vsix)，并使用以下命令安装：

code --install-extension cairo-0.11.0.2.vsix

配置 Visual Studio 代码设置：

"editor.formatOnSave": true,
"editor.formatOnSaveTimeout": 1500

注意：您应该通过键入代码从运行虚拟环境的终端启动 Visual Studio Code。有关 macOS 的说明，请参阅此处。
新人第一次写，欢迎指教。
[1]: https://www.cairo-lang.org/docs/quickstart.html#installation

关注