...将带你深入了解我们如何开发 Medjai，这是一个用于查找 Cairo 程序中的错误的新符号执行工具。我们的旅程将从乘坐直升机快速俯瞰Cairo开始。在途中，我们将瞥见宏伟著名的 **OpenZeppelin**，并看看一个奇特的错误是在古老的 GitHu...
...和多样性有了显著增长。许多电路语言的发展，如 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 事务提供有意义...
Cairo 不提供像 Solidity 那样完整的整数大小范围。虽然 Solidity 为每个 8 的倍数直到 256 位都提供了整数类型，但 Cairo 仅支持以下整数类型： - `u8` - `u16` - `u32` - `u64` - `u128` - `u256` **对于熟悉 Rust 的读者来说，`usize` 类型是一个 u32...
...式承诺、查找表、更灵活的递归证明以及硬件加速 - ·[Cairo 程序执行](https://arxiv.org/abs/2109.14534)的正确性证明 ## 开发者材料 - Solidity [v0.8.8](https://blog.soliditylang.org/2021/09/27/solidity-0.8.8-release-announcement/) 以及 [v0.8.9](https://blog.so...
...z/)) @ imToken Labs ## Intro StarkNet OS（Operating System） 主要由 Cairo 這個 StarkNet 的原生語言寫成，Cairo 就像 StarkNet 上的 Solidity，能夠用來撰寫（Cairo-based）智能合約，但同時也是一個零知識證明語言，可以用於構建 StarkNet 核心的作業...
Cairo 没有像 Solidity 那样的 "internal" 和 "pure" 修饰符（或者任何其他修饰符）。 回想一下，用 `#[abi(embed_v0)]` 标记一个 `impl` 块会告诉 Cairo 将其函数包含在合约的 ABI (应用程序二进制接口) 中，从而使它们可以从合约外部调用。此...
...): 新关卡，设置交易数据/价值，因此不会恢复 * [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):在授权前模拟交易...
...约交互的基本应用程序。未来的帖子将更详细地介绍与 Cairo 一起开发自定义智能合约以及使用 MetaMask Flask（安装了 [starknet-snap](https://github.com/ConsenSys/starknet-snap)）构建 dapp。 在我们深入研究之前，先了解一些背景知识。[StarkNe...
...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 语言编写智能合约并将之发布在该测试网上，Cairo 是 StarkNet 网络的本地编程语言。StarkWare 团队还与 dOrg 合作提供了一个简单的 DEX (去中心化交易所) 来展示 StarkNet 的...
...限制的，但 vnTinyRAM 的设计施加了固定的周期限制，这与 Cairo 等更现代的设计形成对比，我们将在下一节中更深入地讨论 Cairo。 与许多其他现代 zkVM 一样，Cairo 利用 STARK，它可以根据所需的周期数动态缩放，有效地启用无界 zkVM...
...节码）和 ZK 优化（为零知识证明优化过的新指令集，如 Cairo 和 zkSync 的指令集）。以下是基于 Miden 在 ETH Amsterdam 上的演示对这些类型的比较：  零知识证明开发生态系统...
...成驗證。 在 StarkNet 上，我們可以在 Kakarot 合約中呼叫 Cairo precompile（在 0x75001 上）這個合約來呼叫任何 Cairo 合約。由於這部分的使用需要與 Kakarot 官方聯繫，就不擴展篇幅，細節大家可見 [官方文件](https://docs.kakarot.org/architectu...