找到约 15 条结果

文章 Rollup 介绍

...杂的技术设置。 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）是协议的最终拥有者。无论是独裁还是富豪统...

文章 以太七日谈 • 2022/11/29

.../twitter.com/zCloakNetwork/status/1595293071637643264 **StarkNet 发布 Cairo 1.0，并开源代码** Cairo 1.0 发布，现已开源。Cairo 爱好者、开发者可以开始了解 Cairo 1.0 新语法，尝试本地编译和运行程序。Cairo 1.0 本质上类似 Rust 语言，目前发布...

文章 以太七日谈 • 2022/9/20

... 21 日至 22 日联合举办的 StarkNet 开发者分享会，包括 《Cairo 1.0》和《递归》两个主题。 有问题的读者可以点击链接填写问题：https://docs.qq.com/doc/DV2FEalBwdFV5b0xC ![c5032faffd860aa677b7384153f62f3e.png](https://img.learnblockchain.cn/attachments/...

文章 Vitalik：不同类型的 ZK-EVM

...力于将 EVM 的 Solidity 语言转译为 StarkWare 的 ZK 友好语言 [Cairo](https://starkware.co/cairo/) 的一个 [Alpha 编译器](https://medium.com/starkware/starknet-alpha-2-4aa116f0ecfc)，这些团队都在为此不断努力，当然，还有一些项目我没有例举出来。 ...

文章 以太七日谈 • 2022/7/12

...%2FMsMYIMU74Y5omCvjDFWBqDogd91eVe9RB7vFuKf97tg) **OpenZeppelin 发布 Cairo 合约 0.2.0 版本** 7 月 5 日，智能合约开发平台 OpenZeppelin 发布 Cairo 合约 0.2.0 版本。此前，OpenZeppelin 发布了 Cairo v0.1.0 的合约，开发者可以利用使用 Cairo 语言编写的...

文章 以太七日谈 • 2022/11/1

...roxy - zkSync 2.0 推出主网 Baby Alpha 版本 - StarkNet 编程语言 Cairo 1.0 即将上线，随后启动 Regenesis 阶段 - FTX 支出 600 万美元补偿收到钓鱼攻击的 FTX 用户 - Vitalik 就监管问题发表看法 - superphiz 创建呈现以太坊相关信息 Dashboard 的列...

文章 Vitalik：5 种不同类型的 ZK-EVM

...ations）、Nicolas Liochon 等人的团队‌、从 EVM 到 Starkware 的 Cairo 语言的 alpha 编译器‌也在不断努力，当然，还有一些是我错过的。 所有这些项目的核心目标都是相同的：使用 [ZK-SNARK 技术](https://learnblockchain.cn/article/1662)来制作...

文章 ZK-SNARKs中的算术化

...高级编程语言的专用编译器，以及零知识虚拟机，例如 CAIRO。 下面我们将介绍最流行的方案，R1CS、AIR 和 plonkish 算术化。 ## **R1CS** 算术电路可以表示为（二次）秩一约束系统（R1CS）。这些方程组中每个方程中的每个变量至...

文章 以太坊 Layer 2 的 N 个未解之谜以及潜在的解决方案

...该网络所特定的开发环境，比如 zkSync 的 Zinc、StarkWare 的 Cairo，当然官方应该会提供一些基本的工具，让开发者也可以很方便的将 Layer 1 应用转换为 Layer 2 版本。 就算是对于直接支持 EVM 的 Layer 2 网络来说，开发者也需要部署...

文章 以太七日谈 • 2021/3/1

...、由 STARK 支持的 L2 ZK-Rollup 解决方案。其基于图灵完备 Cairo 语言。 开发者可以在 StarkNet 上构建实现其自身逻辑的应用；用户可以在 StarkNet 发送交易；在加密经济激励下，StarkNet 节点和参与者将确保网络的有效运行。 StarkNe...

文章 以太七日谈 • 2022/8/30

...rum-cn/Arbitrum-Library **StarkWare 引入编程语言 Lean 来保证 Cairo 程序的准确性** 为了提高合约安全性，StarkWare 使用 Lean 编程语言来验证各种 Cairo 程序的准确性。这个过程帮助 StarkWare 定位和修复其兼容以太坊的签名验证流程中...

文章 各 Rollup 解决方案的权衡研究

...atus/1349780683758194702?fileGuid=9hhKcdCvwPrpcy8q)；Starkware 推出了 [Cairo 工具链](https://medium.com/starkware/cairo-welcome-on-board-1cf3487554f?fileGuid=9hhKcdCvwPrpcy8q)，方便开发者使用零知识证明技术。我们看到 rollup 技术有了很多突破，包括 Aztec 和 ZkSync...

文章 2024-07-21 zk-insights posts

... production ready and open-source licensed under MIT/Apache. - ### riscairo RISC-V ELF interpreter in cairo 2. - ### zkVM 1.0: Industry-Leading Performance Benchmarks Across the board, we found that a properly configured RISC Zero zkVM outperforms a similarly configured Succinct SP1 depl...

文章 2024-07-21 zk-insights Weekly

... is production ready and open-source licensed under MIT/Apache. - ### riscairo RISC-V ELF interpreter in cairo 2. - ### zkVM 1.0: Industry-Leading Performance Benchmarks Across the board, we found that a properly configured RISC Zero zkVM outperforms a similarly configured Succinct SP1 deploymen...