...、由 STARK 支持的 L2 ZK-Rollup 解决方案。其基于图灵完备 Cairo 语言。 开发者可以在 StarkNet 上构建实现其自身逻辑的应用；用户可以在 StarkNet 发送交易；在加密经济激励下，StarkNet 节点和参与者将确保网络的有效运行。 StarkNe...
...约语言。其他有用的开发语言包括Rust、Vyper、JavaScript、Cairo和Noir。 尽管超越基础理解的领域比纯粹的审计或工程角色更为多样，但了解智能合约如何运作仍然至关重要。 ### **2\. 加入公共安全竞赛** 公共审计竞赛已成为成...
...多种语言的协议感知模糊测试：** 支持 Solidity、Rust、Go、Cairo 等，以实现全面的区块链堆栈覆盖，从智能合约到节点客户端和链下服务。 - **自适应、反馈驱动的突变：** 基于代码覆盖率和执行反馈的实时输入改进可以发现深度...
...//github.com/NethermindEth/warp)（一种从 Solidity 到 Starkware 语言 Cairo 的编译器，它会将 [StarkNet](https://starkware.co/starknet/) 变成一个 4 型系统）  zkEVM 项目概述，包括 StarkN...
...0.27 | ### 奖励嘉宾：Kakarot 就在上个月，一个新的用 [Cairo](https://github.com/starkware-libs/cairo-lang) 编写的 zkEVM 被称为 [Kakarot](https://www.kakarot.org/)，旨在 [将 EVM 兼容性带到 Starknet](https://book.starknet.io/chapter_2/kakarot.html)，作为 type 2.5...
...webp) 未来规划的版本可能允许 Solidity/Yul 和 Vyper（甚至 Cairo）之间的比较。 我希望你喜欢这个教程并探索工具的能力。我们非常希望得到开发者和用户的反馈和改进建议。如果你有任何问题或建议，请在下面评论。 最后...
...G2C.jpg) 未来计划版本可能支持 Solidity/Yul 与 Vyper（甚至 Cairo）之间的比较。 我希望你喜欢本教程并探讨该工具的能力。我们非常希望从开发人员和用户那里获得反馈和改进建议 —— 如果你有任何问题或建议，请在下方评论...
...帮助，请让我们合作： - 智能合约审计（Solidity，Rust，Cairo） - 高级安全测试套件（模糊测试、不可变性测试 + 形式化验证） - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zea...
...ZK 友好的虚拟机。在整个设计过程中，我们从 Starkware 的 Cairo VM 白皮书中学习了很多。 **Ola 的里程碑：**  图 1. Ola 路线图 2022 年 7 月：发布 Ola 的第一份技术白皮书。 2023 年 4...
...把他们的合约移植成定制化的编程语言（比如 Starkware 的 Cairo）。 对于不以完全兼容 EVM 为目标的 zk rollup 来说，好处是转账变得更便宜。如果无需遵循 EVM 的语义，就可以降低基本转账的广播数据量。Hermes network 就是这样做的...
... 21 日至 22 日联合举办的 StarkNet 开发者分享会，包括 《Cairo 1.0》和《递归》两个主题。 有问题的读者可以点击链接填写问题：https://docs.qq.com/doc/DV2FEalBwdFV5b0xC ，与OpenBuild和Cairo中文社区联合发起了[Starknet中文公开课](https://learnblockchain.cn/course/43)。系统的课程全面的提升，共 800+ 人参与系列课程 6. 技术分享：举办了 **30** 期 Web3 极客公开课...
...例如 TON/FunC、Cardano/Plutus、 ICP/Motoko、Flow/Cadence、Starknet/Cairo 等，但过于碎片化。 因此本文将智能合约开发语言按照 EVM 系、Solana 系和 Move 系进行分类介绍。 ## EVM 系  - 高级安全测试套件 (模糊测试、不可变性测试 + 形式验证) - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSecu...
...于其底层证明系统，证明生成成本很高。StarkWare 还使用 Cairo 编译器来支持 DApp，但是它们的证明大小很大并且 on-chain 验证成本非常高。 我们的方案通过使用更高效的分层（可能是递归的）零知识证明系统和一种新颖得 Layer-2 ...