Cairo

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

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

本文详细介绍了Starknet及其Cairo执行环境的革新，特别是Cairo-Native技术如何提升事务处理速度和资源使用效率，伴随着对Starknet性能提升的实证数据分析。文章探讨了Starknet的未来潜力以及其在以太坊生态系统中的重要性，提供了关于执行模型演变的深入见解。整体内容逻辑清晰，结构合理，适合对Layer 2技术以及Starknet有更深理解需求的技术人员。

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编程语言及其在StarkNet中的应用，强调了其与Solidity的相似性以及在区块链基础设施中的作用。作者分析了CairoContract的结构、数据类型、常见漏洞以及安全性问题，同时提供了一些实用的资源以帮助开发者提升编程能力和安全审计水平。

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

可验证智能合约简介

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

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