...ttps://blog.connext.network/optimistic-bridges-fb800dc7b0e0) **StarkNet/Cairo 开发教程资源库** StarkNet 的开发宣传大使 [@HenriLieutaud](https://twitter.com/HenriLieutaud) 和 [@DrSpacemn](https://twitter.com/DrSpacemn) 发布了一个 GitHub 开发教程资源库，包含的内...
... 两条并行线，最终在 Starknet 上汇合。 主线 1：Noir → Cairo → Starknet 合约部署 作用：把 Noir 写的电路逻辑，编译成 Starknet 原生支持的 Cairo 合约，部署到链上。 步骤 工具/组件 做了什么？ 关联技术 1\. 写 Noir 程序 ---Noir...
...e)、ZK-Optimized (全新指令集, 针对零知识证明所优化, 比如 Cairo 和 zkSync). 以下是根据 Miden 在 ETH Amsterdam 的演讲所整理的类型对比图:  很多零知识证明开...
...i.com/video/BV1Yw411V7H5/) 第二节： 12/19 （周二） Starknet 与 Cairo 开发初探 [B 站视频](https://www.bilibili.com/video/BV1Yw411V7H5/) 第三节： 12/22 （周五） Cairo 合约的编写与部署 [B 站视频](https://www.bilibili.com/video/BV1Ac411y7vp/) 第四节： 12/26 ...
...978857984):动态数组，完整的 ABI 类型支持；3个漏洞披露 * Cairo 的 OpenZeppelin [合约 Wizard](https://wizard.openzeppelin.com/cairo): 支持 ERC20 和 ERC721 * [Amarna](https://blog.trailofbits.com/2022/04/20/amarna-static-analysis-for-cairo-programs/): Cairo 静态分析器和 ...
...节码）和 ZK 优化（为零知识证明优化过的新指令集，如 Cairo 和 zkSync 的指令集）。以下是基于 Miden 在 ETH Amsterdam 上的演示对这些类型的比较：  零知识证明开发生态系统...
...上 Autonomous World 的概念注入了新的活力。 同时，**随着 Cairo 1.0 的发布**，许多基于 Cairo 0 开发的合约需要重写，这为这些独立项目重启和合作在 Starknet 上提供了绝佳的机会。 在 Starknet 于 2022 年 11 月宣布 Cairo 1.0 后不久，Loot ...
...想上和前面几个团队的大概一致。在一些细节上，借鉴了cairo里的概念，比如virual column，read-only memory，跟多的细节可以直接阅读原论文. ### Cairo-VM 因为不是对EVM的兼容，所以： 1. 输入是solidity的bytecode 输入是汇编程序或...
...并将其程序自动编译为汇编代码。 例如，StarkWare 的 [Cairo](https://eprint.iacr.org/2021/1063) 是一种非常有限的汇编语言，其中的汇编指令大致允许对有限域进行加法和乘法，函数调用以及对不可更改的（即，一次写入）内存的读取...
...共铸币价格会增加一次，每出一个区块就会衰减一次 * [Cairo 语言服务器](https://github.com/ericglau/cairo-ls#readme): 添加 Cairo 支持，实现语言服务器协议（如 VS Code）的 IDE ，早期预览 * [Cairo Math 64×61](https://github.com/influenceth/cairo-math-64...
...编码语言，Yul 目前缺乏工具和生态系统支持。 ### Cairo Cairo 是一种图灵完备的智能合约编程语言，旨在为一般的运算创建 STARK 可证明的程序。 Cairo 主要用于 StarkNet —— 一个建立在以太坊之上的第 2 层区块链，St...
...立的编码语言，Yul 目前缺乏工具和生态系统支持。 ### Cairo [Cairo](https://www.cairo-lang.org/) 是一种图灵完备的智能合约编程语言，专为创建用于通用计算的 STARK 可证明程序而构建。 Cairo 主要在 StarkNet（构建在以太坊之上的[layer-2 ...
...算。其中包括[Aztec Noir](https://aztec.network/noir/)，Starknet 的[Cairo](https://www.cairo-lang.org/)，[Circom](https://docs.circom.io/)，[ZoKrates](https://zokrates.github.io/)和 Aleo 的[Leo](https://leo-lang.org/)等。底层的证明系统和数学细节通常对应用开发者不可...
...GPU 工作负载的工具，专注于性能而非隐私或 ZKPs。 ### Cairo * 概述: Cairo zkVM \[[14](https://github.com/lambdaclass/cairo-vm/blob/main/docs/python_vm/README.md)\] 使用一种自定义语言，编译为优化的基于 STARK 的证明系统，确保可验证计算。它...
...的指令集。 为 ZK 证明优化的现有 VM 示例（适当披露：CairoVM 由 StarkWare 构建，StarkWare 是本文的共同作者） #### 1\. CairoVM（由 Starknet 使用） - 从头开始为基于 STARK 的证明系统设计 - 使用最小的、算术友好的指令集 - 避免...