找到约 14 条结果

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

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

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

文章 智能合约安全中的自定义模糊测试

...多种语言的协议感知模糊测试：** 支持 Solidity、Rust、Go、Cairo 等，以实现全面的区块链堆栈覆盖，从智能合约到节点客户端和链下服务。 - **自适应、反馈驱动的突变：** 基于代码覆盖率和执行反馈的实时输入改进可以发现深度...

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

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

文章 Web3 开发者预言机指南：为什么 Switchboard 是你的最佳选择

...和 **Sui**。它还支持 **StarkNet**，这是一个使用一种称为 **Cairo** 的区块链。 为了让 **开发人员可以轻松使用 Switchboard**，他们以流行的编码语言（如 **JavaScript**、**Rust** 等）提供工具（称为 **SDK — 软件开发工具包**）。这种多...

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

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

文章 ZK/SEC 季刊

...作。如果你对使用 S-two 证明器编写 AIR、在 S-two 中实现 Cairo AIR 或 Circle STARKs 的使用方式感兴趣，那么这篇文章适合你。深入了解这些见解，并加深你对这些有趣主题的理解。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/stwo-book/index...

文章 以太坊 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...

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

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

文章 Starknet上的ERC-20代币

...教程假定读者熟悉 ERC-20 标准，但会解释每个实现步骤和 Cairo 语法。 创建 ERC-20 token 的首选方法是使用 OpenZeppelin 库。 这将在即将推出的关于“组件”的教程中介绍。 本教程的目的是将我们之前所学的所有内容联系起来。 ### ...

文章 全链游戏 III：意志的传承 - MUD 与 Dojo

...上 Autonomous World 的概念注入了新的活力。 同时，**随着 Cairo 1.0 的发布**，许多基于 Cairo 0 开发的合约需要重写，这为这些独立项目重启和合作在 Starknet 上提供了绝佳的机会。 在 Starknet 于 2022 年 11 月宣布 Cairo 1.0 后不久，Loot ...

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

文章 Ola：不止于基础设施 — 连接 Web2 和 Web3 世界的新入口

...ZK 友好的虚拟机。在整个设计过程中，我们从 Starkware 的 Cairo VM 白皮书中学习了很多。 **Ola 的里程碑：**  图 1. Ola 路线图 2022 年 7 月：发布 Ola 的第一份技术白皮书。 2023 年 4...