Cairo

ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk

通过一人了解 关于Cairo 1.0 新特性和改进的所有信息

Starknet是以太坊的二层ZKRollup扩容方案，与兼容EVM的二层扩容方案上的开发不同，Starknet上开发有自己的模式。这篇文章介绍如何开发Starknet上的合约以及如何部署到Starknet测试网上，同时方便Solidity智能开发者快速理解Starknet

在 Remix 中通过无缝集成 Starknet Remix 插件，让开发者可以更方便进行 Cairo 开发

本文介绍了StarkWare正在开发的StarkNet，一个基于STARK技术的无权限L2 ZK-Rollup，旨在实现以太坊的安全性和可扩展性。文章详细讲述了项目的四个发展阶段，从基础设施的建设到单一应用及多应用的支持，最后到去中心化的Rollup，使开发者能够在StarkNet上构建和部署自己的应用，同时保持高效的交易处理能力和较低的成本。

各种智能合约语言有自己的设计哲学，他们并非一样，这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。

starknet智能合约编写、部署和调用

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

文章介绍了零知识证明编程语言的工作原理，并列举了几种流行的零知识证明编程语言，如Circom、Zokrates、Noir和Cairo，同时讨论了它们在区块链和隐私保护中的应用。

可验证智能合约简介

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的转换，解决了这些不同导致的编程问题，并介绍了相关的算法和数据结构。文章深度解析了实现的原理与应用，内容丰富。