Cairo 是一种编程语言, 用于编写可被证明程序,使得其他验证者确信该程序被正确执行。在 Starknet 和 StarkEx 上使用 Cairo编写智能合约 。...[ 百科 ]
Starknet最主要的几大技术特性,包括利于ZK证明生成的Cairo语言、 原生级别的AA、业务逻辑与状态存储相独立的智能合约模型。
简要了解开罗 1.0、Starknet 及其安全考虑因素。
Starknet是以太坊的二层ZKRollup扩容方案,与兼容EVM的二层扩容方案上的开发不同,Starknet上开发有自己的模式。这篇文章介绍如何开发Starknet上的合约以及如何部署到Starknet测试网上,同时方便Solidity智能开发者快速理解Starknet
ZK 语言调查:Noir , o1js , Circom , Leo, Cairo, Lurk
starknet智能合约编写、部署和调用
zk 技术堆栈有哪些技术可用,介绍每个层级的示例工具/技术
解读 Cairo VM、CASM、Cairo Zero、Cairo 和 Sierra
solidity太卷了,最近在研究cairo,可是cairo升级太快了,一直苦于没有资料,于是乎苦苦哀求Starknet中文大使和鸦老师,他们在百忙之中整理了一些资料。现在发出来,希望大家共勉,一起builder
在 Remix 中通过无缝集成 Starknet Remix 插件,让开发者可以更方便进行 Cairo 开发
参与 Starknet 开发贡献指南手册
Starknet 改进语法全解读
给 Solidity 开发者的 Cairo 编程指南
felt252felt252是Cairo中基础类型,代表一个存储槽,未指定变量类型的字面量默认类型都是felt252。felt252可以
单文件Cairo程序入口与大多数编程语言类似,单文件的Cairo程序入口是main函数。
* Validity Rollups 是以安全和去中心化的方式增加以太坊吞吐量的最有前途的方式; zkEVM 和 Cairo VM (CVM) 是有效性汇总中使用的两种类型的 VM。 * zkEVM 专注于以太坊兼容性,但牺牲了性能和可扩展性。 。。。。。。
2241 回答,2135赞同
0 回答,827赞同
0 回答,21赞同
2 回答,6赞同
0 回答,4赞同
2 回答,3赞同
0 回答,2赞同
0 回答,1赞同
0 回答,0赞同