...下无需改变。另外，StarkNet - 另一个 roll-up，有一种名为 Cairo 的语言，它目前不兼容 EVM，但团队正在努力构建编译器，以便它可以在 EVM 上执行，并且已经构建了另一个方向（EVM -> StarkNet）的转译器。EVM 兼容/原生区块链和 Layer 2...
...就很难与 EVM 兼容。StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。但由于现在很少人愿意去学一门新的编程语言来执行智能合约，StarkWare 团队现在正与 [Nethermind](https://twitter.com/nethermindeth) 团队合作...
...约部署 ### 3.1 合约编译 ```bash $ scarb build Compiling cairo1_v2 v0.1.0 (/root/Ownable-Starknet/Scarb.toml) Finished release target(s) in 1 second ``` ### 3.2 准备env - `.env_a` ```bash export STARKNET_RPC="https://starknet-goerli.g.alchemy.com/v2/xxx" export ST...
...杂的技术设置。 StarkNet 中支持智能合约，但需要采用 Cairo 语言编写，作为第四类 ZK Rollup，其并不会在 EVM 中执行，而是在自己建立的 VM 中执行，使用自定义的字节码。 ## Scroll Scroll 是实现了与 EVM 等效的 ZK Rollup，这意...
...3272551-20210426201241133.jpeg) - [CHARLES ROBERTSON | A CARPET SELLER, CAIRO](https://www.sothebys.com/en/buy/auction/2019/important-works-from-the-najd-collection/charles-robertson-a-carpet-seller-cairo) 治理程序（Governance）是协议的最终拥有者。无论是独裁还是富豪统...
.../twitter.com/zCloakNetwork/status/1595293071637643264 **StarkNet 发布 Cairo 1.0，并开源代码** Cairo 1.0 发布，现已开源。Cairo 爱好者、开发者可以开始了解 Cairo 1.0 新语法，尝试本地编译和运行程序。Cairo 1.0 本质上类似 Rust 语言，目前发布...
...力于将 EVM 的 Solidity 语言转译为 StarkWare 的 ZK 友好语言 [Cairo](https://starkware.co/cairo/) 的一个 [Alpha 编译器](https://medium.com/starkware/starknet-alpha-2-4aa116f0ecfc)，这些团队都在为此不断努力，当然，还有一些项目我没有例举出来。 ...
... 21 日至 22 日联合举办的 StarkNet 开发者分享会，包括 《Cairo 1.0》和《递归》两个主题。 有问题的读者可以点击链接填写问题：https://docs.qq.com/doc/DV2FEalBwdFV5b0xC  **OpenZeppelin 发布 Cairo 合约 0.2.0 版本** 7 月 5 日，智能合约开发平台 OpenZeppelin 发布 Cairo 合约 0.2.0 版本。此前，OpenZeppelin 发布了 Cairo v0.1.0 的合约，开发者可以利用使用 Cairo 语言编写的...
...GPU 工作负载的工具，专注于性能而非隐私或 ZKPs。 ### Cairo * 概述: Cairo zkVM \[[14](https://github.com/lambdaclass/cairo-vm/blob/main/docs/python_vm/README.md)\] 使用一种自定义语言，编译为优化的基于 STARK 的证明系统，确保可验证计算。它...
...roxy - zkSync 2.0 推出主网 Baby Alpha 版本 - StarkNet 编程语言 Cairo 1.0 即将上线，随后启动 Regenesis 阶段 - FTX 支出 600 万美元补偿收到钓鱼攻击的 FTX 用户 - Vitalik 就监管问题发表看法 - superphiz 创建呈现以太坊相关信息 Dashboard 的列...
...ations）、Nicolas Liochon 等人的团队、从 EVM 到 Starkware 的 Cairo 语言的 alpha 编译器也在不断努力，当然，还有一些是我错过的。 所有这些项目的核心目标都是相同的：使用 [ZK-SNARK 技术](https://learnblockchain.cn/article/1662)来制作...
...高级编程语言的专用编译器，以及零知识虚拟机，例如 CAIRO。 下面我们将介绍最流行的方案，R1CS、AIR 和 plonkish 算术化。 ## **R1CS** 算术电路可以表示为（二次）秩一约束系统（R1CS）。这些方程组中每个方程中的每个变量至...
...该网络所特定的开发环境，比如 zkSync 的 Zinc、StarkWare 的 Cairo，当然官方应该会提供一些基本的工具，让开发者也可以很方便的将 Layer 1 应用转换为 Layer 2 版本。 就算是对于直接支持 EVM 的 Layer 2 网络来说，开发者也需要部署...
...rum-cn/Arbitrum-Library **StarkWare 引入编程语言 Lean 来保证 Cairo 程序的准确性** 为了提高合约安全性，StarkWare 使用 Lean 编程语言来验证各种 Cairo 程序的准确性。这个过程帮助 StarkWare 定位和修复其兼容以太坊的签名验证流程中...