找到约 14 条结果

文章 探索 zkVMs：哪些项目真正符合零知识虚拟机的标准？

...GPU 工作负载的工具，专注于性能而非隐私或 ZKPs。 ### Cairo * 概述: Cairo zkVM \[[14](https://github.com/lambdaclass/cairo-vm/blob/main/docs/python_vm/README.md)\] 使用一种自定义语言，编译为优化的基于 STARK 的证明系统，确保可验证计算。它...

文章 ZK-Rollup项目：完整指南

...，发送交易或与智能合约交互。” StarkNet 智能合约是用 Cairo 编写的（像以太坊和 Solidity），这允许 STARK 的优化和可扩展性。但是，正在开发从 Solidity 和其他语言到 Cairo 的 transpiler，以便更快地部署。 Starkware 是 Starknet 和 Stark...

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

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

文章 Vitalik: 简化以太坊 L1

...pt.com/share/680723a0-f7e4-8012-9ac6-86e7f3bbede0)。替代方案（例如 Cairo）同样简单。 * **所有激励 EOF 的好处**（例如，代码段、更静态的分析友好性、更大的代码大小限制） * **开发人员的更多选择**：Solidity 和 Vyper 可以添加后端以编译...

文章 ZK-SNARKs中的算术化

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

文章 从网络安全到区块链安全研究者的7个建议

...约语言。其他有用的开发语言包括Rust、Vyper、JavaScript、Cairo和Noir。 尽管超越基础理解的领域比纯粹的审计或工程角色更为多样，但了解智能合约如何运作仍然至关重要。 ‍ ### **2\. 加入公共安全竞赛** 公共审计竞赛已成为成...

文章 以太七日谈 • 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...

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

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

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

...放：https://ethglobal.tv/optimism-summit-3fe52cc1 **17 天学习 Cairo 语言获得奖励** Cairo 语言是扩容解决方案 StarkNet 使用的编程语言。一个为 Cairo 开发者构建的 QA 网站 [Newton](https://twitter.com/optimismfnd/status/1571849901650366466?s=46&t=SHlCaqMqS...

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

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

文章 清晰理解zkEVM、EVM 兼容性和Rollup

...展最快的通用Rollup。StarkNet运行一个自定义的智能合约VM (Cairo VM)，带有自己的底层语言(Cairo)，两者都是为智能合约Rollup而构建的。这意味着StarkNet没有现成的以太坊兼容性——正如我们之前看到的，即使是操作码级别的VM级别兼...

文章 以太坊主流 L2 方案回顾与展望

... 2022 年 1 月引入。 StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。StarkWare 团队现在正与 Nethermind 团队合作创建代码转译器 Warp，来将 Solidity 智能合约无缝转换为 Cairo，以便使其与 EVM 兼容。因此，...

文章 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...