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 开发

本文介绍了最近发布的Cairo 1.0，Starknet的原生编程语言，重点关注其安全特性以及在Starknet上编写合约时可能遇到的陷阱。通过具体的代码示例讲解了如何编写Starknet智能合约，并指出了潜在的安全问题，如溢出、重入和存储冲突等。作者还提到了Cairo 2.0即将发布的改变，旨在增强语言的易用性和安全性。

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

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

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

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

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

本文档是一个关于 zkVM（零知识虚拟机）的精选列表，zkVM 是一种允许在不泄露隐私数据的前提下进行计算的技术。该列表包含 zkVM 项目、技术细节、性能基准、相关论文、资源、教程和工具，旨在为开发者、研究人员和对零知识证明技术感兴趣的受众提供有价值的参考。

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

本文深入探讨了STARKs中约束的概念，并通过Lambdaworks库，以Cairo的非确定性连续只读内存的约束实现为例，详细解释了如何使用多项式来总结trace values之间的高度复杂关系。文章详细介绍了连续只读内存的定义，以及如何通过引入排序和辅助列，将验证内存属性简化为验证连续性约束、单值约束和排列约束。

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