找到约 14 条结果

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

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

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

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

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

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

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

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

文章 以太坊 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 兼容。因此，...

文章 全链游戏 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...

文章 可信中立的预确认抵押品：预确认注册表 - Layer 2

...//puffer.fi/) [注册系统](https://docs.puffer.fi/nodes/registration) - [Cairo's](https://x.com/cairoeth) [preconf-operator 代码](https://learnblockchain.cn/article/19514) - 各种 [平滑池](https://ethstaker.cc/smoothing-pools) 设计 - [基于排序器选择](https://learnblockchain.cn/arti...

文章 Uniswap V4 Hooks — Hooks简介 — 找到你问题的答案

...需要帮助，欢迎合作：** - 智能合约审计（Solidity，Rust，Cairo） - 高级安全测试套件（Fuzz，不变性测试 + 形式验证） - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSecurity...

文章 什么是比特币 Rollups？

... 验证器整合到比特币 L1 中。 ZeroSync 是使用 StarkWare 的 Cairo 编程语言构建的，这是以太坊 Rollup 研究渗透到比特币 Rollup 中的另一个例子。[StarkWare](https://starkware.co/) 是一家在以太坊生态系统中开发零知识技术的公司，ZeroSync 是...

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

...的引入将分阶段进行。 10 月 27 日，StarkEx 的开发语言 Cairo 官方推特 [@CairoLang](https://twitter.com/CairoLang) 宣布首个 StarkNet Proof 在主网上运行。但值得注意的是，这个 proof 只是一个初步的测试，还有一个月才能在主网上部署 StarkNe...