Cairo

本文详细介绍了Medjai，一种用于寻找Cairo程序中的错误的符号执行工具。文章从Cairo语言的背景出发，深入探讨了零知识证明、Cairo工作流程、符号执行技术及其在实际开发中的应用，特别是如何帮助开发者发现Bug并验证修复。文章结构清晰，内容丰富，适合对区块链智能合约开发和安全感兴趣的读者。

可验证智能合约简介

Cairo是首个用于生成STARK证明的一般计算的生产级平台，具有图灵完备性和高效性。本文介绍了Cairo的必要性、创新能力和扩展效率，并讨论了其开发工具的未来计划。Cairo可以提供高可扩展性和低Gas成本，非常适合DeversiFi、Immutable和dYdX等项目。

Starknet最主要的几大技术特性，包括利于ZK证明生成的Cairo语言、 原生级别的AA、业务逻辑与状态存储相独立的智能合约模型。

本文介绍了StarkNet Alpha 1的新特性，包括L1与L2的交互和链上数据可用性。这些功能提升了StarkNet作为以太坊L2网络的性能与可扩展性，允许开发者在两个层次之间无缝通信，并优化了状态更新的数据处理。文章还提到StarkNet操作系统的发布及其生态系统的蓬勃发展，展望未来的合约可组合性。

本文介绍了Warp，一个能够将Ethereum的Solidity合约转译为StarkNet的Cairo合约的工具。文章详细解释了Warp与StarkNet的关系及其在以太坊扩展中扮演的重要角色，并提供了ERC20合约在StarkNet上部署的例子和操作步骤，同时列出了未来的开发路线图。

这篇文章介绍了zk-STARKs和Cairo的基本概念及其在Ethereum扩展中的应用。重点讨论了EVM与Cairo语义之间的技术差异，特别是如何通过Warp编译器来实现EVM字节码到Cairo的转换，解决了这些不同导致的编程问题，并介绍了相关的算法和数据结构。文章深度解析了实现的原理与应用，内容丰富。

给 Solidity 开发者的 Cairo 编程指南

Starknet 改进语法全解读

参与 Starknet 开发贡献指南手册

本文对 StarkNet 的重要组成部分进行了基础介绍，主要阐述了 StarkNet OS、Sequencer、Prover & Verifier 和 L1 Core Contract 的工作原理，同时探讨了去中心化与性能瓶颈等话题。文章希望读者对 ZK-Rollup 和相关关键概念有基本了解，并为深入研究提供参考。

solidity太卷了，最近在研究cairo，可是cairo升级太快了，一直苦于没有资料，于是乎苦苦哀求Starknet中文大使和鸦老师，他们在百忙之中整理了一些资料。现在发出来，希望大家共勉，一起builder

Starknet开发指南：如何使用Cairo实现和测试存储合约在这篇文章中，我们将带领读者逐步完成在Starknet上开发一个简单存储合约的过程。通过使用Cairo语言进行编写，您将学习如何在区块链上存储和读取数据，掌握Starknet合约的基本开发流程，并使用Scarb进行项目构建和测试。本教程

Starknet名称大揭秘：STARKWARE、STARKEx、Cairo与StarknetFoundation的区别随着区块链技术的迅速发展，越来越多的新技术和平台相继涌现。Starknet作为以太坊的二层扩展方案，基于STARK零知识证明技术，正逐渐成为业内关注的焦点。为了更好

单文件Cairo程序入口与大多数编程语言类似，单文件的Cairo程序入口是main函数。