...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 静态分析器和 ...
...上 Autonomous World 的概念注入了新的活力。 同时，**随着 Cairo 1.0 的发布**，许多基于 Cairo 0 开发的合约需要重写，这为这些独立项目重启和合作在 Starknet 上提供了绝佳的机会。 在 Starknet 于 2022 年 11 月宣布 Cairo 1.0 后不久，Loot ...
...节码）和 ZK 优化（为零知识证明优化过的新指令集，如 Cairo 和 zkSync 的指令集）。以下是基于 Miden 在 ETH Amsterdam 上的演示对这些类型的比较：  零知识证明开发生态系统...
...想上和前面几个团队的大概一致。在一些细节上，借鉴了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...
...识点复习：** Starknet 属于 Validity-Rollup（ZK-Rollup）。 - Cairo 编译流程：Cairo → Sierra → CASM。 - 账户抽象：Starknet 上的每个账户本质上都是智能合约。 ## 实操 ### 安装环境 ### Installing Scarb, Starknet Foundry, and Starknet Devnet ...
...编码语言，Yul 目前缺乏工具和生态系统支持。 ### Cairo Cairo 是一种图灵完备的智能合约编程语言，旨在为一般的运算创建 STARK 可证明的程序。 Cairo 主要用于 StarkNet —— 一个建立在以太坊之上的第 2 层区块链，St...
...立的编码语言，Yul 目前缺乏工具和生态系统支持。 ### Cairo [Cairo](https://www.cairo-lang.org/) 是一种图灵完备的智能合约编程语言，专为创建用于通用计算的 STARK 可证明程序而构建。 Cairo 主要在 StarkNet（构建在以太坊之上的[layer-2 ...
...式承诺方案：basefold、brakedown、内积参数 (IPA)、Binius。 - Cairo STARK Platinum 的新布局。 - 查找参数（例如，Plookup 和 Lasso） - 新的证明系统：Hyperplonk、Spartan、Marlin、GKR。 - 折叠方案。 - 支持新的椭圆曲线。 - 新的哈希函数。 - 提高...
...学习如何使用 Starknet Foundry 中最常用的 cheatcodes 来测试 Cairo 智能合约。 ## `caller_address` Cheatcodes 在 Starknet 智能合约中，`get_caller_address()` 返回当前与合约中的函数交互的账户地址，类似于 Ethereum 中的 `msg.sender`。合约依赖它来...
...算。其中包括[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 的证明系统，确保可验证计算。它...