...，确保在升级过程中保持代码的一致性和安全性。 ### Cairo Contracts * **面向 Starknet 开发** ：专门为在 Starknet 区块链上构建应用而设计，利用 Cairo 语言的优势，提供高性能、高安全性的智能合约开发支持。 * **安全特性** ：...
...支持多种编程语言和用例。 ## zkVM项目示例 - **Starknet (Cairo VM)**：使用Cairo编程语言构建可扩展的去中心化应用 (dApps)，配备STARK证明。 - **RISC Zero**：实现了一种 **RISC-V架构虚拟机**，使开发者能够用Rust或C++编写经过ZK证明的代码...
... 1) % k == 0 ``` #### STARK 域 [Starknet](https://rareskills.io/cairo-tutorial) 使用的 Cairo VM 具有特征 ，并且具有非常大的 -th 个单位根。 ```python q = 2**251 + 17*2**192 + 1 k = 2**192 assert (q - 1) % k == 0 ``` #### BLS12-381 BLS12-381 是另一个...
...Rust 实现。 此前Starknet 主网已升级至 v0.11.2，正式激活 Cairo 1，开发者可在主网上部署 Cairo 1 智能合约。 **来源：** https\://twitter.com/raphjaph/status/1665367103342362625 https\://github.com/vyperlang/vyper/releases/tag/v0.3.9 https\://twitter....
...们将引导你完成一个具体的示例：使用 Lambdaworks 库实现 Cairo 的非确定性连续只读存储器的约束。这些约束在 [Cairo 白皮书](https://eprint.iacr.org/2021/1063?ref=blog.lambdaclass.com) 的第 9.7 节中有详细说明。 我们不会解释协议中的基本概...
...们已启动一个小型内部团队，以使用 o1js (MinaProtocol) 在 Cairo (Starknet) 中开发 zkWASM。 ### 4.2 zkEVM - 项目列表：zkSync、Polygon zkEVM、Linea、Taiko、Scroll … zkEVM 是一个与以太坊虚拟机 (EVM) 兼容的虚拟机，它支持零知识证明计算。 ...
...a v0.11.0 在测试网上线，开发者可在 Starknet 测试网上部署 Cairo 1.0 合约并与之交互。在测试网顺利运行后才能在主网上部署 Cairo 1.0 合约，主网升级到 Starknet alpha v0.11.0 将首次进行治理投票。 ### 07 Aleo * 隐私公链 Aleo 开放最终...
...就很难与 EVM 兼容。StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。但由于现在很少人愿意去学一门新的编程语言来执行智能合约，StarkWare 团队现在正与 [Nethermind](https://twitter.com/nethermindeth) 团队合作...
...放：https://ethglobal.tv/optimism-summit-3fe52cc1 **17 天学习 Cairo 语言获得奖励** Cairo 语言是扩容解决方案 StarkNet 使用的编程语言。一个为 Cairo 开发者构建的 QA 网站 [Newton](https://twitter.com/optimismfnd/status/1571849901650366466?s=46&t=SHlCaqMqS...
...成驗證。 在 StarkNet 上，我們可以在 Kakarot 合約中呼叫 Cairo precompile（在 0x75001 上）這個合約來呼叫任何 Cairo 合約。由於這部分的使用需要與 Kakarot 官方聯繫，就不擴展篇幅，細節大家可見 [官方文件](https://docs.kakarot.org/architectu...
...- [StarkNet playground](https://starknet.io/playground/)：编译和部署 Cairo 合约 - [Warp（Solidity 到 Cairo 的转译器）示例](https://medium.com/nethermind-eth/composability-the-final-piece-of-the-puzzle-8c7ca5dfd470)：转译两个可以组合的合约并部署它们 - [starknet-rea...
...成金融衍生品合约而设计的语言 * StarkWare 的在线 IDE：[Cairo Playground](https://www.cairo-lang.org/playground/)。还包含多个教程 ## 安全 * DefiSaver [被 Dedaub 的自动化静态分析发现了漏洞](https://medium.com/dedaub/ethereum-pawn-stars-5-7m-in-hard-asset...
...arkEx** ，一个独立的 zk-rollup SaaS。此外，StarkWare 是名为 **Cairo** 的生产级零知识虚拟机 (zkVM) 的第一家生产商。Cairo 声称通过实现图灵完备的[冯诺依曼](https://en.wikipedia.org/wiki/Von_Neumann_architecture) 架构以达到这一点。每个程序与它...
...%2FMsMYIMU74Y5omCvjDFWBqDogd91eVe9RB7vFuKf97tg) **OpenZeppelin 发布 Cairo 合约 0.2.0 版本** 7 月 5 日，智能合约开发平台 OpenZeppelin 发布 Cairo 合约 0.2.0 版本。此前，OpenZeppelin 发布了 Cairo v0.1.0 的合约，开发者可以利用使用 Cairo 语言编写的...