# 深入探索 Cairo 编程语言：Starknet 的基础与实践 ## `Cairo` `Cairo` 和 `Cairo` 实战 ### 主题 1. 什么是`Cairo` 2. `Field Element` 3. `Starklings` 介绍 4. 实战 #### 什么是`Cairo` ## [What is Cairo?](https://book.cairo-lang.org/ch00-00-introduction.html#...
...https://www.bitfinex.com/posts/710)，从 USDT 开始 - [从 Solidity 到 Cairo 得转译器](https://medium.com/nethermind-eth/solidity-on-starknet-terminal-velocity-e8df5f63e010)切换模式，从转译 EVM 操作码换成使用 Solidity 和 Yul 语言的 AST - [Rollup 的抗审查性](https://t...
...函数返回，以防你想知道为什么返回语句消失了。 ### [Cairo](https://www.cairo-lang.org/) 由 [Starkware](https://starkware.co/) 提供 Starknet是另一个L2。 这个名字是中央处理单元代数中间表示的合成词。中间表示语言用于“略低于汇编”...
...将带你深入了解我们如何开发 Medjai，这是一个用于查找 Cairo 程序中的错误的新符号执行工具。我们的旅程将从乘坐直升机快速俯瞰Cairo开始。在途中，我们将瞥见宏伟著名的 **OpenZeppelin**，并看看一个奇特的错误是在古老的 GitHu...
...): 新关卡，设置交易数据/价值，因此不会恢复 * [starknet-cairo-101](https://github.com/l-henri/starknet-cairo-101): 学习 StarkNet 的一组练习 * Blocknative [Transaction Preview API](https://www.blocknative.com/blog/ethereum-transaction-preview-api):在授权前模拟交易...
...和多样性有了显著增长。许多电路语言的发展，如 Noir、[Cairo](https://learnblockchain.cn/search/all?word=Cairo)和 Leo，表明了该领域的活跃程度。这种语言的增多使得我们可以比较和对比它们的特性、相似之处和差异。通过对这些语言进行...
## 介绍：Starknet 和 Cairo 执行 Starknet 是一个以太坊第二层（L2）协议，利用加密 STARK 证明（**S** uccinct **T** ransparent **A** rguments of **K** nowledge）来实现可验证的大规模计算。与其他 L2 区块链一样，Starknet 能够为 L2 事务提供有意义...
...z/)) @ imToken Labs ## Intro StarkNet OS（Operating System） 主要由 Cairo 這個 StarkNet 的原生語言寫成，Cairo 就像 StarkNet 上的 Solidity，能夠用來撰寫（Cairo-based）智能合約，但同時也是一個零知識證明語言，可以用於構建 StarkNet 核心的作業...
...署应用程序是***无须许可的*** ，因此任何人都可以使用 Cairo 语言编写智能合约并将之发布在该测试网上，Cairo 是 StarkNet 网络的本地编程语言。StarkWare 团队还与 dOrg 合作提供了一个简单的 DEX (去中心化交易所) 来展示 StarkNet 的...
...约交互的基本应用程序。未来的帖子将更详细地介绍与 Cairo 一起开发自定义智能合约以及使用 MetaMask Flask（安装了 [starknet-snap](https://github.com/ConsenSys/starknet-snap)）构建 dapp。 在我们深入研究之前，先了解一些背景知识。[StarkNe...
...成驗證。 在 StarkNet 上，我們可以在 Kakarot 合約中呼叫 Cairo precompile（在 0x75001 上）這個合約來呼叫任何 Cairo 合約。由於這部分的使用需要與 Kakarot 官方聯繫，就不擴展篇幅，細節大家可見 [官方文件](https://docs.kakarot.org/architectu...
...需要帮助，欢迎合作：** - 智能合约审计（Solidity, Rust, Cairo） - 高级安全测试套件（模糊测试、Invariant测试 + 形式验证） - 智能合约开发 - Web2渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSec...
...之 Dojo 安装问题及解决方案 ### 引言 在学习 Starknet 和 Cairo 生态系统的过程中，安装工具链是不可避免的一步。然而，安装过程中常常会遇到各种问题，尤其是在安装 Dojo 这类工具时。本篇文章将深入分析这些问题，并提供详...
...模拟器及 Eth2 交易手续费分析 ## Layer-2 * StarkWare 的 [Cairo](https://medium.com/@StarkWare/hello-cairo-3cb43b13b209)：通用计算的 STARK 证明器 * [Rollup 数据压缩技术](https://ethresear.ch/t/rollup-diff-compression/7933) * 使用该压缩技术后，optimistic roll...