@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
16:21 · Nov 10, 2024 · Sun
https://www.zksecurity.xyz/blog/posts/stone-cli/
#cario 证明生成与验证命令行工具
www.zksecurity.xyz
Stone CLI: Making Cairo programming more accessible - ZKSECURITY
Introduction We are pleased to announce that after working for months with the StarkWare team, we are finally launching the Stone CLI, a tool for easily proving and verifying Cairo programs! Huge thanks to the StarkWare team for their work and guidance as…
cario
14:32 · Nov 22, 2023 · Wed
https://www.cryptologie.net/article/603/cairos-public-memory/
#cario 内存布局
www.cryptologie.net
Cairo's public memory
Here are some notes on how the Cairo zkVM encodes its (public) memory in the AIR (arithmetization) of the STARK.
If you'd rather watch a 25min video of the article, here it is:

The AIR arithmetization is limited on how it can handle public inputs and outputs…
cario
23:06 · Oct 26, 2023 · Thu
https://blog.zk.link/from-solidity-to-cairo1-the-design-of-alexandria-bytes-ce016161901a
介绍 #solidity 中的 Bytes 在 #cario 的实现
Medium
From Solidity to Cairo1: the Design of ‘alexandria_bytes’
From Solidity to Cairo1: the Design of ‘alexandria_bytes’
by zkCarter, zkLink Labs
solidity cario
07:47 · Oct 21, 2023 · Sat
https://medium.com/nethermind-eth/cairo-the-starknet-way-to-writing-safe-code-8169486c7132
概述了 #cario 的一些安全特性，适合不熟悉 cairo 都新手阅读
Medium
Cairo: the Starknet way to writing safe code
Cairo: the Starknet way to writing safe code
TL;DR
You will write safe code, and you will be happy.
cario
08:15 · Sep 22, 2023 · Fri
https://blog.wssh.trade/posts/deep-in-sierra/
介绍了 #cario 及底层 #Sierra 的语法，并使用 Sierra 解析了部分 Cairo 复杂语法
Wong's Blog
深入探索 Cairo: Sierra IR 与 Cairo 底层
概述 总所周知，在 StarkNet Cairo 中，合约需要经过以下步骤进行编译和部署: 在此流程中，我们发现合约首先被编译为 Sierra 这一中间表示层。Sierra 的全称为 Safe Intermediate Representation
cario Sierra
13:47 · Sep 7, 2023 · Thu
https://cairopractice.com/posts/store-packing/
#cario 编程技巧之手动压缩
Cairopractice
Store packing
One of my favorite recent additions to Cairo is the StorePacking trait:
cario
11:26 · Jul 7, 2023 · Fri
https://starknet-by-example.voyager.online/starknet-by-example.html
#cario 合约编程示例
cario
15:37 · Jul 4, 2023 · Tue
https://github.com/lambdaclass/cairo-vm
#StarkNet #cario 虚拟机实现，文档部分非常有意思
GitHub
GitHub - lambdaclass/cairo-vm: cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation)…
GitHub - lambdaclass/cairo-vm: cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation)…
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th...
StarkNet cario
10:17 · Jul 1, 2023 · Sat
https://cairo-by-example.com/
#cario 教程
Cairo-By-Example
an introduction to cairo
an introduction to cairo
with simplified examples
cario
15:40 · May 14, 2023 · Sun
https://medium.com/yagi-fi/reading-sierra-starknets-secret-sauce-for-cairo-1-0-5bc73409e43c
#cario 编译 IR Sierra 阅读，类似 solidity 中的 yul
Medium
Reading Sierra: Starknet's secret sauce for Cairo 1.0
Reading Sierra: Starknet's secret sauce for Cairo 1.0
The best Solidity developers can program in Yul (an intermediate language used in Solidity code compilation) and understand the EVM. They…
cario
03:26 · Apr 23, 2023 · Sun
https://cairo-book.github.io/
#cario 1 目前最完整的文档
cario
12:54 · Apr 22, 2023 · Sat
https://blog.wssh.trade/posts/cairo1-with-bridge/
#cario 可升级合约与跨链
Wong's Blog
Cairo 1 实战入门:可升级合约与跨链信息发送
概述 如果读者阅读过笔者之前的文章就会发现，我在 solidity 中使用了 ERC20 代币 -> 可实升级合约的学习路径。为了保持文章的统一性，我准备在此文中介绍 cairo 的可升级合
cario
13:55 · Apr 17, 2023 · Mon
https://blog.wssh.trade/posts/cairo1-with-erc20/
频道主关于 #cario 的文章，可能是中文世界第一篇完整介绍 cairo 1 编程的。
Wong's Blog
Cairo 实战入门:编写测试部署ERC-20代币智能合约
概述 Cairo 是 ZK Rollup 的领域专用语言，目前仅用于 StarkNet 项目。随着 Rollup 叙事的发展，我们认为 cairo 在未来一定会成为智能合约开发的核心语言。 本文类似我之前编写的 Fou
cario
07:05 · Apr 12, 2023 · Wed
https://perama-v.github.io/cairo/intro/
#cario 学习材料
Perama’s notes.
Cairo
Interesting topics and explorations.
cario
16:58 · Feb 23, 2023 · Thu
https://www.cairo-lang.org/docs/hello_starknet/
#cario 基础教程
cario
16:56 · Feb 23, 2023 · Thu
https://medium.com/nethermind-eth/introduction-to-horus-part-1-fbc16af3ba67
#cario 智能合约 #formalVerify 形式化证明工具 #Horus 的使用说明
Medium
Introduction to Horus — Part 1
Introduction to Horus — Part 1
Horus is an open-source automated formal verification tool that helps Starknet developers detect bugs in their smart contracts
cario formalVerify Horus
08:55 · Feb 1, 2023 · Wed
Web3ReadList
https://medium.com/taipei-ethereum-meetup/%E6%89%8B%E6%8A%8A%E6%89%8B%E5%BE%9E%E9%9B%B6%E7%99%BC%E8%A1%8C-starknet-nft-%E4%B8%80-3309afbca84 基于 #cario 的NFT 智能合约全流程开发
https://medium.com/taipei-ethereum-meetup/%E6%89%8B%E6%8A%8A%E6%89%8B%E5%BE%9E%E9%9B%B6%E7%99%BC%E8%A1%8C-starknet-nft-%E4%BA%8C-bfa3a10e63f7
基于 #cario 开发 NFT 的前端部分
cario
08:54 · Feb 1, 2023 · Wed
https://medium.com/taipei-ethereum-meetup/%E6%89%8B%E6%8A%8A%E6%89%8B%E5%BE%9E%E9%9B%B6%E7%99%BC%E8%A1%8C-starknet-nft-%E4%B8%80-3309afbca84
基于 #cario 的NFT 智能合约全流程开发
cario
09:24 · Dec 17, 2022 · Sat
https://medium.com/nethermind-eth/cairo-fundamentals-stacked-up-against-evm-and-solidity-1d8d4e12b2c3
#cario 与 #solidity 的对比
Medium
Cairo fundamentals stacked up against EVM and Solidity
Cairo fundamentals stacked up against EVM and Solidity
An increasing number of Solidity protocols are expanding onto StarkNet, making use of the vastly improved scalability without…
cario solidity
08:47 · Dec 17, 2022 · Sat
https://medium.com/nethermind-eth/cairo-coding-guidelines-74eb6f4ee264
#cario 编码规范指南
Medium
Cairo Coding Guidelines
Cairo Coding Guidelines
by Massil Achab and Kalzak.
cario
 
 
Back to Top