找到约 12 条结果

文章 starknet cairo学习资料汇总

solidity太卷了, 最近在研究cairo,可是cairo升级太快了,一直苦于没有资料,于是乎苦苦哀求Starknet中文大使和鸦老师,他们在百忙之中整理了一些资料。现在发出来,希望大家共勉,一起builder Cairo 环境配置➕ERC 实现 https://st...

文章 02_Cairo1.0中的常量

> 此文章使用的Cairo编译器版本:1.0.0-alpha.6。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 ## 基本用法 use debug::PrintTrait; const ONE_HOUR_IN_SECONDS: felt252 = 3600; fn ...

文章 00_Cairo1.0程序的入口

> 此文章使用的Cairo编译器版本:1.0.0-alpha.6。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 ## 单文件Cairo程序入口 与大多数编程语言类似,单文件的Cairo程序入口是main函...

文章 00_Starknet Cairo1_开始

...ps://docs.starknet.io/ + OpenZeppelin Git https://github.com/OpenZeppelin/cairo-contracts/tree/cairo-2 + Cairo book https://book.cairo-lang.org/ + WTF Cairo https://github.com/WTFAcademy/WTF-Cairo ## 安装 ### Starkli 安装 `Starkliup`是`Starkli`环境的安装程序,可以使用`cu...

文章 01_Cairo1.0中的变量

> 此文章使用的Cairo编译器版本:1.0.0-alpha.6。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 变量是编程语言中最基本的元素。 ## 基本使用 创建一个变量 use debug::P...

文章 starknet开发的一些建议

...少目前阶段不要使用) 因为starknet使用了新的开发语言cairo,所以对以太坊solidity合约无法直接迁移。新语言cairo不仅仅是开发语言的转变,而且整个开发工具链都发生了变化,其原因是cairo属于python体系所以工具链都采用了python...

文章 Web3 极客日报 #1377

...基础知识,还会介绍 AIR 电路、STARK 协议、多项式承诺和 Cairo 语言。

文章 解读 Cairo VM、CASM、Cairo Zero、Cairo 和 Sierra

**原文**:The What’s What of the Cairo World **翻译及校对**:「Starknet 中文社区」 ## **引言** 为了实现以太坊安全且去中心化的扩容,有效性证明 Rollup 使批量交易验证效率大大高于其直接重新执行。特定的节点(被称为...

文章 03_Cairo1.0中的标量类型(felt,integer,boolean,float)

> 此文章使用的Cairo编译器版本:1.0.0-alpha.6。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 ## felt252 felt252是Cairo中基础类型,代表一个存储槽,未指定变量类型的字面量...

文章 零知识证明 - 从puzzle解题深入ZK-STARK

...理解STARK的安全性的同时,查看了不少相关论文。 **4 - Cairo虚拟机以及语言** https://trapdoor-tech.github.io/zkstark-book/chapter_2.html 如果直接用AIR编写电路,容易出错。对于大规模电路也不现实。Cario虚拟机是一个方案,方便开发...

文章 Cairo 1.0 开源啦

> https://medium.com/starkware/open-sourcing-cairo-1-0-b3100a664bb0 # Cairo 1.0 开源啦 - 开罗 1.0 是开源的!这只是 StarkNet 堆栈开源的第一步。 - 我们现在介绍一下 Cairo 1.0 编译器。您现在可以开始使用基本的 Cairo 1.0 代码进行试验 - Cairo 1.0 ...

文章 StarkNet + ECN 中文开发者 Meetup

... StarkNet 合约与操作系统使用 StarkWare 团队自行研发的 Cairo 语言。Cairo 是一种图灵完备的通用计算编程语言,支持部署任何用例和扩展性,不受业务逻辑限制。由 Nethermind 开发的 Warp 编译器,可将 Solidity 即时编译为 Cairo 语言,...