找到约 15 条结果

文章 ZK/SEC 季度刊

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

文章 下一个 700 种 EVM 语言

...，当谈到智能合约编程语言时，我们看到压倒性的影响：Cairo、Noir、Move、Sway、Stylus、Solana，这些都是受 Rust 启发或直接使用 Rust 的。我认为这并非偶然。智能合约需要安全，并且需要有效利用资源，而这些正是 Rust 的强项。 ...

文章 Polygon ZK Rollups：你需要知道的一切

... ZK Rollup 与以太坊不兼容。 例如，使用 StarkNet 需要学习 Cairo，这是一种用于在 StarkNet 操作系统中执行程序的图灵完备语言。 这意味着这些系统无法像 Polygon 的 ZK Rollup 那样扩展以太坊的功能。 用户无法在此类 ZK Rollup 上访问基...

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

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

文章 MiCA监管与安全：每个加密货币创始人需要了解的内容

...要。我们的团队涵盖： - 智能合约审计 - Solidity、Rust、Cairo、Sway、Solana、TypeScript - 渗透测试 - 全栈应用程序安全、API 测试、基础设施 - AI 红队 - 适用于集成 AI 代理或 LLM 驱动功能的项目 - 与 MiCA 和 DORA 要求一致的安全评估 - 持...

文章 Vitalik: ZK-EVM 封装到以太坊 L1 会怎样？

....io/stylus/stylus-gentle-introduction)的 WASM 支持以及 SNARK-friendly Cairo（https://www.cairo-lang.org/）语言等完全不同的方法。 - **面向用户和开发者的便利性** ：Layer2 团队致力于吸引用户和项目进入其生态系统并使其感到受欢迎；他们通过...

文章 CTF挑战 - Tenderly与ChainSecurity 战时游戏

...能在几分钟内迅速开始解决挑战。我还想表扬我的队友 [Cairo](https://x.com/cairoeth)、[Damian Rusinek](https://x.com/drdr_zz) 和 [Daniel Von Fange](https://x.com/danielvf) 的高效表现和专业精神，他们带领团队成功，推动我们登上排行榜的顶端。 在...

文章 ZK/SEC 季度报告

...作。如果你对使用 S-two 证明器编写 AIR、在 S-two 中实现 Cairo AIR 或如何使用 Circle STARK 感兴趣，那么这篇文章适合你。深入研究以探索这些见解并加深你对这些有趣主题的理解。 [阅读 →](https://blog.zksecurity.xyz/posts/formal-verification...

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

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

文章 Layer2 治理回顾 #58 (2025年6月30日)

...制内，该版本启用了每个内置资源计数，并暂时禁用了 Cairo Native（计划在额外的计数逻辑发布后于第三季度返回）。Gas 价格和限制保持不变，使开发人员能够在不需要合约迁移的情况下实现更快、更便宜的最终性。进一步的 S-T...

文章 Iroh: 轻松建立可靠p2p连接的分布式系统工具包

...[Responsible disclosure: A potential sequencer-prover inconsistency in the Cairo VM](https://img.learnblockchain.cn/2025/04/22/er-casing-is-made-of-gold--adorned-with-int-1.webp)](https://learnblockchain.cn/article/13963/) [1 月 26 日，Starkware 通知我们，他们发现在 Cairo VM 中存在...

文章 ZK技术的历史发展脉络梳理

...机中是正确执行的即可。 TinyRAM中的一些想法后来在Cairo虚拟机的设计中得到了改进，随后又有了zk-evm和通用zkvm等。在证明系统中使用抗碰撞的哈希函数消除了对可信设置或椭圆曲线操作的需求，但代价是证明时间更长。 ...

文章 一文读懂零知识证明区块链项目

...分利用STARK在计算和可扩展性方面的优势，StarkWare开发了Cairo语言，这是一种高效且图灵完备的编程语言，专门用于创建STARK证明。这意味着StarkWare需要开发文档、框架和其他工具来激活其开发者生态。 #### Immutable X Immutable ...

文章 对每种 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...

文章 我们对零知识证明历史的高度主观看法

...它在虚拟机中正确执行来证明。TinyRAM 中的思想后来通过 Cairo vm 的设计以及随后的虚拟机（例如 zk-evms 或通用 zkvms）得到改进。使用抗碰撞哈希函数消除了对可信设置或使用椭圆曲线运算的需求，但代价是更长的证明。 ### TinyRA...