Awesome StarkNet 中文

This repository is forked from Awesome StarkNet

本文档汇聚 StarkNet 资源、工具、代码库、生态、应用等内容。由「StarkNet 中文」编撰。

欢迎加入我们或按照《贡献者指南》为本库 PR 贡献。

找到我们： Twitter | Mirror Blog | Substack 日报/周报 | 资源面板 | Discord

🏰 官方资源

• 官网
• StarkNet 概况
• StarkNet 文档
• StarkNet 开发指南
• Starknet Stack Resources - Cairo 和审计资源
• Setting up the environment - 运行 Cairo 开发环境
• Hello Cairo - Cairo 合约开发指南
• Cairo Reference - Cairo 语义详解
• Cairo – a Turing-complete STARK-friendly CPU architecture - Cairo 白皮书
• Cairo 程序执行的验证代数表达式 - 使用 精益证明助理 (Lean proof assistant) 的 Cairo 证明有效性
• StarkNet Playground - 浏览器 StarkNet 示例
• Cairo Playground - 浏览器 Cairo IDE、范例和谜题
• StarkNet Voting Workshop - 投票 dApp 开发指南
• YouTube channel - StarkWare 官方 YouTube 频道
• STARK 验证合约审计报告

⚡️ 生态工具

• OpenZeppelin 合约标准：
  • 入门指南
  • OpenZeppelin Cairo 1.0 合约标准库
  • Cairo 合约文档
  • Cairo 扩展功能
  • 帐户抽象
  • Nile - CLI 开发工具
• Cairo 合约向导 - 交互式合约生成器
• Starknet JSON-RPC API - Alchemy API
• Warp - Solidity <-> Cairo 转译器
• Vyro - Vyper <-> Cairo 转译器
• Skyro -  Idris2 <-> Cairo 转译器
• Starkscan - 区块链浏览器
• Voyager - 区块链浏览器
• Protostar | 网站 - Software Mansion 开发的 Cairo 智能合约开发、测试管理工具
• Prototype - 基于 Protostar 的项目开发模板
• starknet.py - Python SDK 代码库
• starknet.js | 文档 - StarkNet JavaScript 代码库
• Starknet JVM - JVM 语言的 StarkNet SDK
• Cairo Foundry - 类 Foundry 的 StarkNet 合约框架
• Horus Checker - Nethermind 开发的 StarkNet 智能合约形式化验证工具
• Amarna - Trail of Bits 推出的静态安全分析工具，用于识别错误代码和安全隐患
• Medjai - Cairo 符号执行工具。用以检测 Bug | 使用说明
• Cairo Fuzzer - 合约安全检查工具
• Starkscan Verifier - 验证 Cairo 合约
• Papyrus - StarkWare 开发的 Rust 全节点
• Juno - Nethermind 开发的 GoLang 全节点客户端
• Pathfinder - Equilibrium 开发的 Rust 全节点
• Kaioshin - 基于 Substrate 用 Rust 写的排序器
• Blockifier - Rust 排序器执行交易组件
• Pytest - Python 测试 Cairo 和 StarkNet
• Cairo1 Template - Cairo 1.0 开发模板
• cairo-glyph - Cairo 管理器
• Starknet Devnet - Starknet 本地测试网
• starknet-hardhat-plugin - Hardhat 开发工具包
• Cairo Jupyter - Cairo 合约语言 Jupyter 内核
• pre-commit-cairo - Cairo git 代码管理工具
• Generator - 用 @yeoman 的智能合约生成器
• StarkNet React - StarkNet React hooks
• VS Code Cairo 插件
• VS Code Cairo 语义插件
• Starkops - TypeScript 语言 StarkNet 工具链命令行
• starknet-web3-rpc-adapter - 向 StarkNet 传输信息的转接器应用
• Starktx - 交易解码工具 | 源代码和文档
• Giza - Cairo VM 证明和验证代码库
• Felucca - 代码依赖性管理工具 Felucca
• Cairo rs - Cairo Rust VM
• starknet-rs - StarkNet Rust 代码库
• starkli - StarkNet Rust 的 CLI 工具
• StarkNet 数据仓库 (“SDW”)
• ZigZag StarkNet 预言机
• React + Redux 库 - 通过批量缓存调用，撷取每个区块的状态
• Cairo CLI Docker - 制作 Cairo 工具映像
• DEX 聚合交易解码器
• Get StarkNet - dApp 部署钱包代码库
• Cairo Streams - 数组流代码库
• Caigo - Golang 代码库
• Apibara - dApp 开发工具和 API
• Starknet Swift - Swift 的 Starknet SDK
• Tayt - 智能合约模糊测试工具
• Ape - ApeWorX 开发的智能合约开发工具
• vscode-cairo-extension - Cairo vscode 开发插件
• Interface Generator - Cairo 合约接口生成工具
• Sahara - 合约类与合约库查询工具
• Kaaper - Cairo 项目文档生成器
• Cairo Sha256 - SHA256 生成器
• Nile Coverage - Cairo 合约覆盖率报告插件
• STARK Utils | 代码库 - 开发者转换、哈希计算、签名工具
• miniSTARK - GPU 加速 STARK 证明器
• Beerus - 使用 Helios 搭建的 StarkNet 轻型客户端，便于从用户端检索网络状态、与合约交互
• Garaga - 在 StarkNet 密码学应用
• Remix plug-in - Remix Cairo 开发插件
• Remix game day - Remix 开发 StarkNet 合约简易指南
• Quaireaux - Cairo 1.0 相关代码库和算法
• Shenlong - Cairo 的 LLVM IR 编译工具
• Get Starknet - 部署 dApp 和钱包工具
• Starknet Peer Review - 生态内互相审计倡议

🗂 官方 GitHub 库

• StarkWare - 官方代码库
• Cairo Language - StarkNet 语言
• starkex-contracts StarkEx 合约
• veedo - Verifiable Delay Function
• starkex-resources - StarkEx 资源
• starkgate-frontend - StarkGate 前端
• stark-perpetual - 永续合约
• starkex-for-spot-trading - 现货交易
• starkex-js
• starknet-specs - 标准
• starknet-addresses - 合约和代币地址
• starknet-docs
• starknet-snap
• cairo-playground
• starkware-crypto-utils

💡 学习资源

• StarkNet 可视化学习
• starknet-edu - Cairo 合约学习指南
  • Cairo 101 - 如何阅读 Cairo 代码 | 中文
  • ERC20 - 如何在 StarkNet 部署 ERC20
  • ERC721 - 如何在 StarkNet 部署 ERC721
  • 通讯桥 - 部署 StarkNet <-> Ethereum 跨链应用
• Starknet Book
• Cairo Book
• Sierra Doc
• Symbonstark - Cairo 学习 | GitHub
• Perama 博客 - StarkNet / Cairo 学习笔记
• Perama 的 Cairo 使用示例
• @RoboTeddy StarkNet 开发实操心得
• StarkWare 开发笔记
• Cairo by Example - Cairo 学习范例
• Cairo 和 StarkNet 学习笔记 | 作者：David Barreto
• From Solidity to Cairo 1.0 - Solidity 与 Cairo 1.0 比较
• Cairo 和 StarkNet 安全 | 作者：ctrlc03.eth
• Cairo 格式和风格指南
• StarkNet Developer Guide | 作者：devpill.me
• BrainSTARK - Brainfuck 语言实现 STARK 证明系统
• Min StarkNet - 部署简化版 StarkNet 协议和标准
• 利用 Starknet 帐户抽象实现单钱包多人交易竞赛

🛠 生态开发部署

• Chainlink Starknet 部署文档 | Cairo Starter Kit
• StarkNet Debug - 合约 debug 教程
• Hardhat 项目基本范例 - StarkNet 运行开发环境 Hardhat 范例
• 用 Cairo 运行物理数学 Gamma 函数
• 用 Solidity 部署 StarkNet pedersen hash
• Cairo 部署 ERC721R 标准 (https://erc721r.org)
• 用 Cairo 部署 ERC-721 合约
• 通过 OpenZepplin Cairo 合约标准部署机枪池代币 ERC-4626 | 代码
• Omni Account - StarkNet 通用帐户
• StarkNet 钱包 API
• starknet-libs - Cairo 使用代码库示例
• Soul Moment - Cairo 语言的 Soulbound Token (SBT)
• Cairo Dutch - NFT 荷兰拍机制
• RICKS - NFT 碎片化协议
• Cairo 部署 NFT 限价拍卖机制 CRISP
• starknet-boilerplate - 使用 starknetjs 和 nile 部署 starknet/cairo 项目
• starknet-multisig - 多签部署 | 使用
• cairo-multisig - 多签部署
• 安装 Hardhat 写 Cairo 测试
• Cairo Base-64 - Base64 编码的多字符 ASCII Felt 库
• Flashloan
• Oriac - Rust 部署 Cairo VM
• 链上存取控制合约 - 卡槽模式，用以链上注册 | by @alpharoad_fi
• Cairo ML - Cairo 1.0 神经网络模型
• Neural Network Cairo - Cairo 1.0 神经网络
• tiny-dnn-on-starknet - 神经网络
• Basic Solver - DEX 聚合交易解码器
• 用 Wintefell 部署 Cairo VM
• BLS 椭圆曲线 | BLS12-381
• Nistp256 - 用 Cairo 部署 NIST P-256
• cairo-aes - Cairo 部署 AES-128
• alt_bn128 - 验证 SNARKS 运算的椭圆曲线
• common-ec-cairo - 普通椭圆曲线，可使用不同参数
• cairo-alt_bn128 - Cairo 部署 alt_bn128，可用来验证 SNARK 运算
• starknet-btc-lightclient - 比特币轻节点客户端
• 用 Cairo 部署现金流应用 SuperFluid
• StarKonquest - Cairo 学习入门游戏
• 用 Cairo 进行数组运算
• Messaging Vyper - L1 <-> L2 通讯 Vyper 示例
• felt-packing - felt 字段元素封装
• starknet-utils - felt 封装
• Bulletproof - StarkNet 部署 Bulletproofs 隐私方案
• StarkVest - ERC20 代币分发 (vesting) 合约库
• StarkNet USD - 利用 L1 <> L2 通讯桥部署的 L2 稳定币协议
• Thoth - 字节码反汇编程序，可生成调用流程图与控制流程图
• Cairo Wadray - 利用 felt 的固定小数点算数公式
• Cairo Math 64x61 - Cairo 64x61 固定点数
• Starknet Staking - 利用 L1 <> L2 通讯实现质押奖励
• Linear Regression - 采用 commit-reveal 机制的机器学习模型
• cairo-accesscontrol - 会员访问控制合约
• Khepri StarkNet - 利用 STARK zkp 的比特币轻节点
• ZeroSync - STARK 证明的比特币全节点
• STARK-SNARK Recursive Proofs - Circom 编译器 Winterfell 生成 STARK 证明
• STARKNET-PHASER-GAME - 赛车游戏
• json-on-starknet - Cairo 合约实现 JSON 数据结构，例如应用于 MIDI 文件
• Cairo ECS - Cairo 实现 MUD ECS 引擎 | 介绍
• Sandstorm - 采用 miniSTARK 的 Cairo 证明器

🧲 教学内容

Starknet Basecamp Cohort 4

1. Starknet Basecamp I: Fundamentals | Slide
2. Starknet Basecamp II: Deep Dive | Slide
3. Starknet Basecamp III: Cairo 1.0 | Slide | Official Doc | Cairo Book
4. Starknet Basecamp IV: Testing | Slide
5. Starknet Basecamp V: Starknet's Architecture | Slide | Questions
6. Starknet Basecamp VI: STARKs | Slide 1; Slide 2 | STARKs 101 tutorial
7. Starknet Basecamp VII: Cairo's Architecture | Slide

💬 社区讨论

• 费用机制 | 文档 | 博客
• 去中心化 | Tentermint 方案 | 最长链原则 | 视频
• 特殊情况逃逸出口研究
• Cairo 合约扩展模式 | 社区讨论 | Twitter
• AAVE <> StarkNet 讨论
• MakerDAO x StarkNet 方案讨论

🔆 开发工具和指南

• Starklings - StarkNet 交互式开发指南
• Starklings Cairo1 - Cairo 1.0 版本 Starklings 交互指南
• Rust Book ZH - Rust 编程语言中文翻译
• Protostar 编写 StarkNet 智能合约的全开发周期教程 by Software Mansion
• StarkNet 开发指南
• GoL2 合约开发指南（一）：合约和 Indexer
• Cygnus 合约格式指南
• Cairo 惯例
• 如何部署 Cairo 开发环境
• 开发部署指南
• StarkNet 终极开发环境
• 使用 Cairo 开发，实现 Github 语法高亮
• 设置合约在特定时段切换不同模式
• 使用隐式参数构建物件导向程序设计模式
• Cairo 生成证明命令行工具
• 开发框架比较：protostar VS nile
• Cairo 开发框架比较
• 开发工具 Protostar 与 Nile 比较
• 全节点安装指南
• Infura 或 Alchemy 安装节点
• Security Challenges Factory for Starknet
• Sierra Docs

🧬 生态

• StarkNet 生态 - 社区发起 StarkNet 生态项目和团队汇总
• 跨链桥 StarkGate | 前端 repo | 合约 | 合约地址
• Kakarot - 利用 STARK 证明用 Cairo 实现的三型 ZK-EVM
• Arch - Immutable X 开发的 NFT 跨链桥
• Starknet Indexer - 官网
• Checkpoint - Snapshot 提供的 StarkNet 数据检索库 | 发布 | 文档
• Empiric - Oracle | GitHub
• Fossil - Starknet L2 Verifier 验证合约和链上预言机 by @OilerNetwork | API | 官宣
• Chronos-Oracle - 期权协议 Carmine 预言机
• zkPad - 众筹和 launchpad 平台 | GitHub
• CodeforDAO - 开发者协作 DAO
• RockyBot - 链上机器学习人工智能交易机器人
• Switch - 钱包恢复服务（StarkNet House 黑客松第一名）
• Tic tac - 链上 AI 代理（MatchboxDAO 黑客松第一名）
• GoL2-Contract - GOL2 全链游戏
• Carbonable Contracts - 碳中和项目 Carbonable 半同质化代币合约
• StarkNet Plugin Account - StarkNet 帐户合约插件标准
• Dojo - Cairo 全链游戏开发工具

📱 应用

• Argent-x - 网页插件钱包
• Braavos - 智能合约插件钱包
• Demux - 流支付智能合约钱包
• Opera 插件和手机钱包 - 目前 Deversifi 可使用
• Invisibl3 - ZigZag 开发的隐私插件

⚗️ 研究

• 快速提款
  • StarkExchange: Fast Withdrawals using Cookie Jars
  • Conditional Transfers — The Key to Interoperability
• dAMM | L2 Powered AMM
• DeFi pooling | 文档
• 数据可用
• 分形扩展：L2 <-> L3
• STARKs: Verifying complex auto battler calculation on Ethereum — Scaling decentralized games
• What is the anatomy of a STARK proof?
• ZK-STARKs — Create Verifiable Trust, even against Quantum Computers

🔑 文章合集

• 《密碼學證明的寒武紀大爆發》，译者：Jerry Ho | 原文
• STARK 算术化系列
  • STARK Math: The Journey Begins
  • Arithmetization I
  • Arithmetization II
  • Low Degree Testing
  • A Framework for Efficient STARKs
• 深入理解 zk-STARK 证明系统，作者：@trapdoor_tech
• STARKs, Part I: Proofs with Polynomials (vitalik.ca)
• STARKs, Part II: Thank Goodness It's FRI-day (vitalik.ca)
• STARKs, Part III: Into the Weeds (vitalik.ca)
• 《STARK 算法解析》，译者：zkCloak | Anatomy of a STARK
• 《帐户抽象随想》

💻 其他

• Quark Blockchain - STARK 扩展方案
• Winterfell - STARK 证明架构
• RISC ZERO - zkVM
• valida - STARK zkVM
• zkOS - 采用 Winterfell 和 RISC Zero 的 ZKP 执行层

---

License

To the extent possible under law, Georgios Konstantopoulos has waived all copyright and related or neighboring rights to this work.