## 引言 在这篇文章中,我们将会探讨Cairo 1.0,Starknet的原生语言。我们将对 Cairo和Starknet进行简要介绍,探索 Cairo的一些安全特性,并审视在 Cairo中编写合约时可能遇到的一些潜在陷阱。对于任何考虑在 Cairo中编写合约的人来说...
...少目前阶段不要使用) 因为starknet使用了新的开发语言cairo,所以对以太坊solidity合约无法直接迁移。新语言cairo不仅仅是开发语言的转变,而且整个开发工具链都发生了变化,其原因是cairo属于python体系所以工具链都采用了python...
...n.cn/attachments/2024/08/aQ85xiFK66b21b4466886.png) 代码 src/counter.cairo ```rust #[starknet::interface] trait ICounter { fn get_counter(self: @TContractState) -> u32; } #[starknet::contract] mod Counter { use super::ICounter; #[storage] struct Storage { ...
...始开发 [Warp](https://github.com/NethermindEth/warp),一个 EVM 到 Cairo 的转换器。我们刚刚发布了一个 [演示](https://github.com/NethermindEth/warp/tree/main/examples/ERC20),演示将一个 ERC20 Solidity 合约转换到 Cairo 并部署到 StarkNet。在这篇博客中,我...
...mmTYA5SFGCieMS8Tvqlg.jpeg) 几周前,在开发了一个EVM字节码到Cairo转译器的初步草图后,StarkWare将工作交接给了Nethermind的Nubia团队。我们一直在致力于Warp转译器,以架起EVM兼容语言与StarkNet之间的桥梁。本文将简要介绍zk-STARKs和Cairo...
> 此文章使用的Cairo编译器版本:1.0.0-alpha.6。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 ## 单文件Cairo程序入口 与大多数编程语言类似,单文件的Cairo程序入口是main函...
...ysTaMSnY646789bfd1b8c.png) 由 Starknet 官方支持的首届中文 Cairo BootCamp 将于本周末开始🚀 本次 Cairo Bootcamp 是一个短期、知识密集的培训项目,旨在帮助有编程经验的个人掌握 [Cairo](https://cairo-lang.org/) 编程语言,Cairo 是一种用...
# Starknet 名称大揭秘:STARKWARE、STARKEx、Cairo 与 Starknet Foundation 的区别 随着区块链技术的迅速发展,越来越多的新技术和平台相继涌现。Starknet 作为以太坊的二层扩展方案,基于 STARK 零知识证明技术,正逐渐成为业内关注的焦...
# 深入探索 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#...
## 概述 在1月26日星期日,Starkware告知我们,他们在[Cairo VM](https://github.com/lambdaclass/cairo-vm?ref=blog.lambdaclass.com)中发现了一个关键问题,该问题与一个能够在虚拟机上成功执行但会违反AIR约束的程序有关。该漏洞是在调查第三方...
# **深入解读 Starknet 合约开发与部署:从 Cairo 编程到智能合约声明与部署** 随着区块链技术的发展,Starknet 作为以太坊的 Layer 2 解决方案,正吸引越来越多的开发者。它通过零知识证明(ZKP)大幅提高了交易效率和安全性。在...
...标准化合约,正如他们在以太坊上所做的一样! 2. **EVM->Cairo 编译器**:Nethermind 的 Warp 团队演示了 ERC-20 Solidity 代码编译为 Starknet 合约。 ## 背景 Starknet 是一个无权限的去中心化 Validity-Rollup(即“ZK-Rollup”)。我们在年初宣布...
... ZK-Rollup,支持以太坊上的通用计算。它基于图灵完备的 [Cairo 语言](https://www.cairo-lang.org/)。 开发者、用户和 StarkNet 节点将能够完成在无权限 L2 Rollup 上所期望的所有任务:开发者可以构建实现其商业逻辑的应用程序,并将其部...
> 此文章使用的Cairo编译器版本:1.0.0-alpha.6。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 ## felt252 felt252是Cairo中基础类型,代表一个存储槽,未指定变量类型的字面量...