...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#...
...谁可以调用特定的函数或修改合约的行为。本文解释了 Cairo 如何使用 `assert` 宏来实现访问控制。 ## Solidity 中访问控制的回顾 在 Solidity 中,`modifiers` 是一种围绕函数封装行为的简洁方式。它们通常用于访问控制。考虑以下合...
## 概述 在1月26日星期日,Starkware告知我们,他们在[Cairo VM](https://github.com/lambdaclass/cairo-vm?ref=blog.lambdaclass.com)中发现了一个关键问题,该问题与一个能够在虚拟机上成功执行但会违反AIR约束的程序有关。该漏洞是在调查第三方报...
# **深入解读 Starknet 合约开发与部署:从 Cairo 编程到智能合约声明与部署** 随着区块链技术的发展,Starknet 作为以太坊的 Layer 2 解决方案,正吸引越来越多的开发者。它通过零知识证明(ZKP)大幅提高了交易效率和安全性。在...
## 概述 总所周知,在 StarkNet Cairo 中,合约需要经过以下步骤进行编译和部署:  在此流程中,我们发现合约首先被编译为 Sierra 这一中间表示层。Sierr...
Cairo 没有像 Solidity 那样的 "internal" 和 "pure" 修饰符(或者任何其他修饰符)。 回想一下,用 `#[abi(embed_v0)]` 标记一个 `impl` 块会告诉 Cairo 将其函数包含在合约的 ABI (应用程序二进制接口) 中,从而使它们可以从合约外部调用。此...
...标准化合约,正如他们在以太坊上所做的一样! 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中基础类型,代表一个存储槽,未指定变量类型的字面量...
...的设计哲学,他们并非一样,这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。  > 图片来源:[Fatos Bytyqi](https://unsplash.com/@fatosi?utm_source=medium&utm_medium=re...
...hain.cn/article/18803)的博文。它很酷 😉 ### 扩大规模! 由 Cairo 的通用计算驱动的递归证明现已投入生产。这标志着 STARKs 的 L2 扩展能力得到了大幅提升。它将迅速成倍增加可以通过单个证明写入以太坊的交易数量。 到目前为止...
> 此文章使用的Cairo编译器版本:1.0.0-alpha.6。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 ## 基本用法 use debug::PrintTrait; const ONE_HOUR_IN_SECONDS: felt252 = 3600; fn ...
...f8dd401025)的博客文章。内容非常精彩 😉 ## 规模化! 由 Cairo 的通用计算驱动的递归证明现已投入生产。这标志着 L2 通过 STARKs 进行扩展的能力得到了极大的提升。它将迅速成倍地增加可以通过单个证明写入以太坊的交易数量。...