找到约 15 条结果

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

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

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

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

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

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

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

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

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

文章 如何在不 REKT 情况下优化Gas消耗 第一部分

...webp) 未来规划的版本可能允许 Solidity/Yul 和 Vyper（甚至 Cairo）之间的比较。 我希望你喜欢这个教程并探索工具的能力。我们非常希望得到开发者和用户的反馈和改进建议。如果你有任何问题或建议，请在下面评论。 最后...

文章 如何在不被 REKT 的情况下优化你的Gas消耗

...G2C.jpg) 未来计划版本可能支持 Solidity/Yul 与 Vyper（甚至 Cairo）之间的比较。 我希望你喜欢本教程并探讨该工具的能力。我们非常希望从开发人员和用户那里获得反馈和改进建议 —— 如果你有任何问题或建议，请在下方评论...

文章 如何开始你的第一个 Uniswap V4 Hook：必备知识、库和风险

...帮助，请让我们合作： - 智能合约审计（Solidity，Rust，Cairo） - 高级安全测试套件（模糊测试、不可变性测试 + 形式化验证） - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zea...

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

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

文章 千层蛋糕：Layer-2 指南

...把他们的合约移植成定制化的编程语言（比如 Starkware 的 Cairo）。 对于不以完全兼容 EVM 为目标的 zk rollup 来说，好处是转账变得更便宜。如果无需遵循 EVM 的语义，就可以降低基本转账的广播数据量。Hermes network 就是这样做的...

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

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

文章 登链社区 2023 年 - 共同见证社区成长

...链系列公开课](https://learnblockchain.cn/course/39)，与OpenBuild和Cairo中文社区联合发起了[Starknet中文公开课](https://learnblockchain.cn/course/43)。系统的课程全面的提升，共 800+ 人参与系列课程 6. 技术分享：举办了 **30** 期 Web3 极客公开课...

文章 Web3 开发者的自我修养——智能合约

...例如 TON/FunC、Cardano/Plutus、 ICP/Motoko、Flow/Cadence、Starknet/Cairo 等，但过于碎片化。 因此本文将智能合约开发语言按照 EVM 系、Solana 系和 Move 系进行分类介绍。 ## EVM 系 ![image.png](https://img.learnblockchain.cn/attachments/2024/05/0Y6y8bpa6...

文章 移动平均——去中心化金融数学：用例和脆弱性

...要帮助，请与我们合作： - 智能合约审计 (Solidity, Rust, Cairo) - 高级安全测试套件 (模糊测试、不可变性测试 + 形式验证) - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSecu...

文章 Scroll：一个基于 zk-Rollup 的 Layer-2 生态系统

...于其底层证明系统，证明生成成本很高。StarkWare 还使用 Cairo 编译器来支持 DApp，但是它们的证明大小很大并且 on-chain 验证成本非常高。 我们的方案通过使用更高效的分层（可能是递归的）零知识证明系统和一种新颖得 Layer-2 ...