找到约 14 条结果

文章 Lookup奇点降临：Lasso 和 Jolt 简介

...路和相应的更快的证明者。这是特别简单的 zkVM（例如 [Cairo VM](https://eprint.iacr.org/2021/1063)）背后的指导动机，它们是专门为 SNARK 友好而设计的。 事实上，对于更简单的虚拟机，Jolt 为证明者实现了比之前的 SNARK 更低的承诺开...

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

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

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

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

文章 以太七日谈 • 2022/10/11

...k/status/1578082456212643840 **通过 Warp 将 Uniswap V3 转译为 Cairo 语言并在 StarkNet 上部署** 10 月 8 日，扩容解决方案 StarkNet 的语言 Cairo 转译器的开发公司 Nethermind 宣布推出 UniStark —— 将 Uniswap V3 转译和编译在 StarkNet 上。 并...

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

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

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

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

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

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

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

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

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

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

文章 Arbitrum Stylus 合约开发范式的转变

...约开发，例如 Rust、C 和 C++。其他语言如 Go、Sway、Move 和 Cairo 也可以支持。具备自己运行时的语言，如 Python 和 Javascript，Stylus 支持起来比较困难，尽管不是不可能。欢迎以库的形式对新语言和现有语言进行第三方贡献！ 与使...

文章 10 篇塑造现代零知识证明的必读论文

...于零知识证明系统。另一个流行的 zk 友好架构示例是 **Cairo CPU 架构** [^24] ，这是一个经过优化以使用 STARKs 进行证明的图灵完备 CPU。 ## 参考论文 [^1]: Goldwasser, S., Micali, S., & Rackoff, C. (1985). The knowledge complexity of interactive proof...

文章 2024年游戏展望

...人试图在 Starknet 上创建独立的 FOC 游戏。直到 MUD 出现和 Cairo 1.0 发布后，Loot Realms、Catridge 和 Briq 团队才走到一起创建 Starknet 的 FOC 游戏引擎，Dojo 于 2023 年 2 月正式发布。与 MUD V1 类似，Dojo 也面向 ECS 框架，最大的区别是 Cairo ...

文章 了解零知识证明历史

...行程序来证明任何复杂的程序。TinyRAM 中的想法随后通过 Cairo vm 的设计得到改进，并且随后的虚拟机（如 zk-evms 或通用目的 zkvms）也得到了改进。使用抗碰撞哈希函数消除了对可信设置或椭圆曲线操作的需求，但代价是证明变得...