找到约 14 条结果

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

文章 治理回顾 #57 (2025年6月23日)

...该版本激活了每个内置程序的资源上限，并暂时禁用了 Cairo Native，以防止出现无法证明的区块。费用保持不变，一旦实现了额外的计数逻辑，Cairo Native 将会更新（目标：第三季度）。更快、更便宜的证明和三分钟的“推送到 L1...

文章 利用 Valida 通过简洁证明优化以太坊执行引擎

...文中不易复制。这是 Valida 与类似工具链（如 Starkware 的 Cairo 工具链或 Lurk Lab 的 Lurk 工具链）之间的关键区别，后者使用为简洁证明设计的专用编程语言。 ...

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

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

文章 Axiom Halo2 电路深入研究

...格式（电路）对程序进行建模。Halo2（以及其他如 Circom、Cairo 和 Noir）是由 ZCash 团队开发的库，它可以让你做到这一点；具体来说，它允许你指定由有选择地激活的多项式方程（称为“gates”）、充当这些 gates 之间“wires”的相...

文章 2024年游戏展望

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

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

...用于零知识证明系统。zk 友好架构的另一个流行示例是 **Cairo CPU architecture** [24](https://learnblockchain.cn/article/17846/ten-zk-papers/#fn:24)，这是一个图灵完备的 CPU，经过优化可以使用 STARK 进行证明。 * * * 01. Goldwasser, S., Micali, S., & Rackoff...

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

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

文章 了解零知识证明历史

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

文章 零知识区块链项目概览

...性，StarkWare 创建了一种新的高效且图灵完备的编程语言 Cairo，用于生成 STARK 证明。这意味着 StarkWare 需要通过文档、框架和配套工具来引导开发者生态系统。 #### Immutable X [Immutable X](https://www.immutable.com/) 是一个 NFT 平台，支持 ...

文章 ZK约束系统的形式化验证

...明](https://github.com/starkware-libs/formal-proofs) 以检查表示为 Cairo 程序的电路是否符合其规范。 Anoma 团队正在开发 [Juvix 语言](https://github.com/anoma/juvix)，作为创建比现有语言更健壮和可靠的，经过形式化验证的智能合约替代方案的第...

文章 零知识证明：综合资源

...arc.org) ## 编程语言 ### ZKP 中的编程语言 - [Cario](https://cairo-lang.org/docs/) - [Circom](https://docs.circom.io/) - [Noir](http://noir-lang.org/index.html) - [Snarky](https://github.com/o1-labs/snarky) - [Zinc](https://github.com/matter-labs/zinc) - [ZoKrates](https://zokrate...

文章 SNARK设计的新纪元：发布Jolt

...“SNARK 友好”的非常简单的指令集会导致更快的 zkVM（见 Cairo、Miden、Valida 等）。事实上，Jolt 在每个指令上的速度几乎与那些拥有更简单指令集的先前 zkVM 相当（在某些情况下甚至更快）。并且对于满足自然可分解性属性的任...