找到约 14 条结果

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

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

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

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

文章 EOF(EVM对象格式)带来零知识证明的优势

By [Cairo](https://x.com/cairoeth?ref=blog.succinct.xyz) / Succinct Residency 2024 以太坊虚拟机(EVM)是以太坊的计算核心。它使开发者能够构建任何人都可以访问的去中心化应用程序。即将到来的EVM更新之一是变革性的:EVM对象格式(EOF)升...

文章 塑造现代零知识证明的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...

文章 noname 邂逅以太坊:与 SnarkJS 集成 - ZKSECURITY

...台上不可用。 例如,Noir 用于 Aztec Network,Leo 用于 Aleo,Cairo 用于 Starknet,而 O1js 用于 Mina。 如果有一种方法可以弥合这一差距呢? 一种可以统一 zk 生态系统的语言,从而允许开发者编写可在不同后端上运行的电路。 这就是...

文章 EIP-1559实施者速查表

...146049) \- James Hancock - [钱包界面探索](https://perama-v.github.io/cairo/ethereum/wallet-design) \- Perama - [状态模型](https://www.figma.com/file/XK7vrp3pZdQ5gqQVJ7Pqgz/EIP-1559-Presentation?node-id=0%3A1&fuid=684124080871667032) - [Metamask 模型](https://www.figma.com/file/2iLPcKhspz...

文章 Web3 开发者预言机指南:为什么 Switchboard 是你的最佳选择

...和 **Sui**。它还支持 **StarkNet**,这是一个使用一种称为 **Cairo** 的区块链。 为了让 **开发人员可以轻松使用 Switchboard**,他们以流行的编码语言(如 **JavaScript**、**Rust** 等)提供工具(称为 **SDK — 软件开发工具包**)。这种多...

文章 BlockThreat - 2025年第26周周报

...=DFtxZ3V68fE)**,Shanzson (Zokyo)。 - **OpenSense** **-** **[Starknet Cairo 的安全](https://www.youtube.com/watch?v=5TpSRL1DOwI)**,Talfao (Codespect)。 - **[朝鲜民主主义人民共和国土木工程师虚假个人资料流程](https://www.youtube.com/watch?v=m4XmJUBorKU).** 关于...

文章 以太坊 Layer 2 的 N 个未解之谜以及潜在的解决方案

...该网络所特定的开发环境,比如 zkSync 的 Zinc、StarkWare 的 Cairo,当然官方应该会提供一些基本的工具,让开发者也可以很方便的将 Layer 1 应用转换为 Layer 2 版本。 就算是对于直接支持 EVM 的 Layer 2 网络来说,开发者也需要部署...