找到约 14 条结果

文章 每周以太坊进展 2021/03/28

...简洁的 dapp](https://github.com/admazzola/infernal-simple-dapp) * [用 Cairo 写出一个寻找质数的程序](https://medium.com/nethermind-eth/lets-find-a-prime-d5ee8b4643cc) * [Hardhat 部署教程](https://github.com/wighawag/tutorial-hardhat-deploy#readme) * [整个 NFT 闪电贷](https:...

文章 对话 AltLayer、Scroll、Starknet 团队 | 共享排序器和 L2 共识

...们可以尝试以本地速度进行，这就是我们想要做的。将 Cairo 翻译成 LLVM 这样的低层次机器语言，并在排序器上超快运行。然后你可以异步地证明。而证明方面最酷的事情是你可以并行地进行。通过证明递归可以实现大规模的可...

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

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

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

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

...部署申请 - StarkNet Alpha 0.10.0 上线主网，StarkNet 编程语言 Cairo 1.0 更新 - Optimism 与 zkSync 分别发推说明合并对其网络的影响 - Curve Finance 即将发布稳定币 crvUSD - Metamorphosis 黑客松正在进行中；Arbitrum 首次黑客松即将开始 - 可以在...

文章 关于Jolt初始实施的常见问题解答

...们预计一种基于 Circle-Stark 的证明系统 Stwo 可在 罕有的 Cairo 虚拟机上，它在速度上约 100 倍快于 Stone prover。但 [根据我们的实验](https://github.com/a16z/jolt-stone-benchmarks)，Jolt 已经比 Stone 快 35 倍，而这段时间的 Stone 与运行储存程序...

文章 了解零知识证明历史

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

文章 以太坊协议的可能未来 #5 The Purge

...小的虚拟机（例如 [RISC-V](https://en.wikipedia.org/wiki/RISC-V)、[Cairo](https://www.cairo-lang.org/)，或其他针对证明系统的更简化的虚拟机），允许其他任何人创建他们自己的 Rollup。EVM 随后将转变为第一个这样的 Rollup。这一结果具有讽刺意...

文章 十大智能合约审计公司与服务

...n专注于安全的区块链开发和审计。它提供可信的Solidity和Cairo库、全面的智能合约审计和零知识证明服务。其全面服务支持分布式支付网络、金融系统和治理协议。 **已选定的** [**客户**](https://blog.openzeppelin.com/tag/security-audits) ...

文章 ETHCC5 2022：第一天突发新闻

...ossChainEnabled 等。除了 Solidity，Openzeppelin 还介绍了他们的 Cairo 库。另一个主要产品 Defender 是一个界面，使用户能够以更友好的方式构建和管理他们的合约。这包括他们的合约库支持的所有模块化功能。对于即将推出的功能，我...

文章 Rollup 介绍

...杂的技术设置。 StarkNet 中支持智能合约，但需要采用 Cairo 语言编写，作为第四类 ZK Rollup，其并不会在 EVM 中执行，而是在自己建立的 VM 中执行，使用自定义的字节码。 ## Scroll Scroll 是实现了与 EVM 等效的 ZK Rollup，这意...

文章 以太七日谈 • 2022/12/6

...cer 的问题。性能优化的路线图主要是：Sequencer 并行化 -> Cairo VM 的新 Rust 实现 -> Sequencer 在 Rust 中的重新实现。 StarkNet 大概在一年前上线主网，上线之初注重 StarkNet 功能上的开发。而现在，StarkNet 通过一系列步骤将重点转移...

文章 在RISC Zero中验证全同态加密（FHE），第一部分

...（DSL）——这可以包括 [ZoKrates](https://zokrates.github.io/)、[Cairo](https://www.cairo-lang.org/)、[Noir](https://github.com/noir-lang/noir) 和 [Circom](https://github.com/iden3/circom)——并创建一个将它们转换为 RISC-V 的编译器。对于那些直接编译到 RISC-V 较...

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

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