...640880) 之路:StarkWare 将在 2021 年末推出的 zk-rollup,使用 [Cairo](https://www.cairo-lang.org/playground/) 编写应用 ## 开发者材料 - Solidity [v0.8.1](https://blog.soliditylang.org/2021/01/27/solidity-0.8.1-release-announcement/):SMTChecker 支持外部调用 - [Solid...
...的设计哲学,他们并非一样,这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。  > 图片来源:[Fatos Bytyqi](https://unsplash.com/@fatosi?utm_source=medium&utm_medium=re...
...://medium.com/@estheraladioche569/composability-and-components-in-starknet-cairo-cedcccb4acc3 >- 译者:[AI翻译官](https://learnblockchain.cn/people/19584),校对:[翻译小组](https://learnblockchain.cn/people/412) >- 本文永久链接:[learnblockchain.cn/article…](https://learnblo...
...e)、ZK-Optimized (全新指令集, 针对零知识证明所优化, 比如 Cairo 和 zkSync). 以下是根据 Miden 在 ETH Amsterdam 的演讲所整理的类型对比图:  很多零知识证明开...
原文:[Moving form Solidity to Cairo](https://medium.com/starkware/moving-from-solidity-to-cairo-7d44f9723c68) **翻译及校对**:「StarkNet 中文社区」  ## 概要 - Starknet 影响力日益...
# 深入探索 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#...
...容,速度快 | | **Starknet** | ZK Rollup | 采用 Cairo 语言,创新性强 | | **Linea** | ZK Rollup | ConsenSys 出品,兼容性强 | *** ### L2 对用户意味着什么? * 手续费更便宜:几分钱就能转账 / Mint * 速度更...
...ases/tag/v2.0.1): 添加了 Foundry 支持,错误修复 * OpenZeppelin [Cairo v0.1.0 合约](https://blog.openzeppelin.com/announcing-openzeppelin-contracts-for-cairo/): 账户抽象、ERC20 和 ERC721 实现,Ownable, Pausable, SafeMath 和 代理 * [GitPOAP](https://medium.com/gitpoap/gitpoap...
...函数返回,以防你想知道为什么返回语句消失了。 ### [Cairo](https://www.cairo-lang.org/) 由 [Starkware](https://starkware.co/) 提供 Starknet是另一个L2。 这个名字是中央处理单元代数中间表示的合成词。中间表示语言用于“略低于汇编”...
...将带你深入了解我们如何开发 Medjai,这是一个用于查找 Cairo 程序中的错误的新符号执行工具。我们的旅程将从乘坐直升机快速俯瞰Cairo开始。在途中,我们将瞥见宏伟著名的 **OpenZeppelin**,并看看一个奇特的错误是在古老的 GitHu...
...和多样性有了显著增长。许多电路语言的发展,如 Noir、[Cairo](https://learnblockchain.cn/search/all?word=Cairo)和 Leo,表明了该领域的活跃程度。这种语言的增多使得我们可以比较和对比它们的特性、相似之处和差异。通过对这些语言进行...
...帮助,请与我们合作: - 智能合约审计(Solidity、Rust、Cairo) - 高级安全测试套件(模糊测试、不变性测试 + 形式验证) - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSe...
## 介绍:Starknet 和 Cairo 执行 Starknet 是一个以太坊第二层(L2)协议,利用加密 STARK 证明(**S** uccinct **T** ransparent **A** rguments of **K** nowledge)来实现可验证的大规模计算。与其他 L2 区块链一样,Starknet 能够为 L2 事务提供有意义...