...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 静态分析器和 ...
...想上和前面几个团队的大概一致。在一些细节上，借鉴了cairo里的概念，比如virual column，read-only memory，跟多的细节可以直接阅读原论文. ### Cairo-VM 因为不是对EVM的兼容，所以： 1. 输入是solidity的bytecode 输入是汇编程序或...
...上 Autonomous World 的概念注入了新的活力。 同时，**随着 Cairo 1.0 的发布**，许多基于 Cairo 0 开发的合约需要重写，这为这些独立项目重启和合作在 Starknet 上提供了绝佳的机会。 在 Starknet 于 2022 年 11 月宣布 Cairo 1.0 后不久，Loot ...
...并将其程序自动编译为汇编代码。 例如，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...
...算。其中包括[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 的证明系统设计 - 使用最小的、算术友好的指令集 - 避免...
...z/)) @ imToken Labs ## Intro StarkNet OS（Operating System） 主要由 Cairo 這個 StarkNet 的原生語言寫成，Cairo 就像 StarkNet 上的 Solidity，能夠用來撰寫（Cairo-based）智能合約，但同時也是一個零知識證明語言，可以用於構建 StarkNet 核心的作業...
...们将引导你完成一个具体的示例：使用 Lambdaworks 库实现 Cairo 的非确定性连续只读存储器的约束。这些约束在 [Cairo 白皮书](https://eprint.iacr.org/2021/1063?ref=blog.lambdaclass.com) 的第 9.7 节中有详细说明。 我们不会解释协议中的基本概...
...ttps://github.com/z0r0z/Helios)：正在进行基于 ERC1155 的交换 * [Cairo-jupyter](https://github.com/ankitchiplunkar/cairo-jupyter)：Cairo的Jupyter内核 * 使用 CrytoPunk 检查器示例构建一个[MEV 检查器]()的指南 * [Notion](https://twitter.com/mark_mkzo/status/1472162594077...
...呢？ 没问题。 开发人员将不会受到任何影响，因为高级 Cairo 将与 Stwo 完全兼容。 时机到来时，并且 Stwo 准备好推出时，Starknet 生态系统（即用户和开发人员）将受益于 Stwo 的下一级扩容，而无需做任何事情！ Stwo 将与编写合...
... 在以太坊上，Solidity 最常见。 在 StarkNet 上，可以使用 **Cairo** 构建 DAO，利用 zk-rollup 实现可扩展性和隐私性。 ## 2. 治理代币 成员收到代表投票权的 ERC-20 代币（如 $UNI 或 $COMP）。 这些代币可以赚取、购买或分发。 ## 3. 提案...
...*初步接触** 首先，请查看我们的 [教程和文档](https://www.cairo-lang.org/docs/hello_starknet/)。 然后，你可以阅读我们在 StarkNet 上编写并部署的 [示例 AMM 智能合约](http://cairo-lang.org/docs/hello_starknet/amm.html)。这是一个简单的 AMM，你可以...