找到约 14 条结果

文章 秘密进行，公开断言：不要在ZK程序中过度约束Prover的witness计算 - ZKSECURITY

...y 审计员目前在 O(1) Labs 维护 SnarkyJS。像 SnarkyJS 或 Noir 或 Cairo1.0 这样的工具，以及像 Mina 协议或 Aleo 这样的执行运行时，使开发人员更容易开始编写 ZK 应用程序 —— 并且他们已经开始了！现在有 ZK 聚会、会议、播客、研讨会...

文章 ICICLE-Stwo 简介：一种 GPU 加速的 Stwo 证明器

...用的斐波那契示例没有使用查找，因此受到限制：例如，Cairo 编译的程序可能会使用查找。 缺少的功能会影响评估函数 _compute\_composition\_polynomial()_ 中涉及查找的跟踪约束的能力，该函数位于 "crates/prover/src/core/prover/mod.rs" 中。...

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

文章 可信中立的预确认抵押品：预确认注册表 - 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...

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

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

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

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

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

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

文章 什么是 zkEVM？

...//github.com/NethermindEth/warp)（一种从 Solidity 到 Starkware 语言 Cairo 的编译器，它会将 [StarkNet](https://starkware.co/starknet/) 变成一个 4 型系统）  zkEVM 项目概述，包括 StarkN...

文章 对每种 ZK-EVM 的解释（Polygon、Linea、zkSync 等）

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

文章 如何在不 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...