...T：无需更改共识协议的 PEPC \\ 感谢 Barnabé Monnot、Xyn Sun、Cairo、Mike Neuder、William X、Pranav Garimidi 以及其他许多人为这个想法的整个开发过程提供了富有洞察力的讨论。 tl;dr：我引入了一种新颖的机制，用于在以太坊中强制执行提...
Cairo 中的类型转换是将值从一种数据类型转换为另一种数据类型的过程。 当使用 Cairo 严格的类型系统时，这变得很有必要，在 Cairo 中，函数调用、变量赋值、合约交互以及数据操作都需要显式的类型匹配。 Cairo 采用比 Solidity...
... 顾问：CryptoNerdCn，Starknet生态核心开发者，浏览器端Cairo开发平台WASM Cairo创始人  **摘要：** ·Starknet最主要的几大技术特性，包括利于ZK证明生成的Cairo...
...a-on-ropsten-e7494929cb95)：登陆 Ropsten 测试网，智能合约使用 Cairo 重写 * [雷电网络轻客户端](https://raiden-network.medium.com/announcing-the-raiden-light-client-ashvini-release-60d2a66b0d4)：Typescript 实现，运行在一个可启用以太坊节点的浏览器里 ## ...
...### 如果你需要帮助合作： - 智能合约审计（Solidity, Rust, Cairo） - 高级安全测试套件（模糊测试、不变性测试 + 形式化验证） - 智能合约开发 - Web2渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zealy...
Cairo 是一种领域特定编程语言，专为可证明、可验证的计算而设计，尤其是在像 Starknet 这样的零知识系统（以太坊上的二层网络 (L2)）中。 Cairo 专门用于支持基于 STARK 的程序执行证明。这允许在链下高效地验证计算，然后通...
...习路径。为了保持文章的统一性，我准备在此文中介绍 cairo 的可升级合约编程。 此处我没有使用代理合约一词，因为 cairo 1 的可升级配置不需要代理模式。实现起来相当简单，所以为了保持文章的长度，我在代理合约基础上增...
...多与基于 Plonkish 或 R1CS 算术化的 SNARK 相关的问题。对于 Cairo 证明器，有一种压缩约束的策略。Cairo AIR 包含图灵完备虚拟机的**所有**指令的约束。约束的数量不会随计算大小而变化，这与执行跟踪相反，后者随程序的大小线性...
...ra 技术堆栈连接到比特币上，以运行基于 StarkWare 创建的 Cairo 编程语言的 Rollup，从而实现了技术叠加的效果。 ## **什么是 ZK Rollup？** Rollups 将非标准比特币交易的交易，例如某些侧链的交易，批量打包在...
# Starknet开发指南：如何使用Cairo实现和测试存储合约 在这篇文章中，我们将带领读者逐步完成在Starknet上开发一个简单存储合约的过程。通过使用Cairo语言进行编写，您将学习如何在区块链上存储和读取数据，掌握Starknet合约...
### 概述 Cairo 是 ZK Rollup 的领域专用语言，目前仅用于 [StarkNet](https://www.starknet.io/en) 项目。随着 Rollup 叙事的发展，我们认为 cairo 在未来一定会成为智能合约开发的核心语言。 本文类似我之前编写的 [Foundry教程：编写测试部署E...
## 概述 总所周知，在 StarkNet Cairo 中，合约需要经过以下步骤进行编译和部署:  在此流程中，我们发现合约首先被编译为 Sierra 这一中间表示层。Sierr...
...ttps://blog.connext.network/optimistic-bridges-fb800dc7b0e0) **StarkNet/Cairo 开发教程资源库** StarkNet 的开发宣传大使 [@HenriLieutaud](https://twitter.com/HenriLieutaud) 和 [@DrSpacemn](https://twitter.com/DrSpacemn) 发布了一个 GitHub 开发教程资源库，包含的内...
...ling-the-staking-problem/) ## Layer2 **Nethermind 推出 Solidity -> Cairo 转译器 Warp 的首个版本** StarkWare 团队推出的 [StarkNet](https://starkware.co/starknet/) 是以太坊上的一个无需许可的、去中心化的 ZK-Rollup，StarkNet Alpha 于 2021 年 11 月 29 日上...
... 折衷的结果是，Starknet 上的开发人员必须学习一种名为 Cairo 的全新编程语言，这种语言针对 ZK 证明进行了优化。这给习惯于使用 EVM 的开发人员带来障碍： - 他们可能没有时间或动力去学习一门新语言。 - 项目可能不具备...