找到约 14 条结果

文章 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 生态系统的语言，从而允许开发者编写可在不同后端上运行的电路。 这就是...

文章 第14章. 以太坊虚拟机

...Solana](https://learnblockchain.cn/tags/Solana?map=Solana) VM、Wasm VM、[Cairo](https://learnblockchain.cn/tags/Cairo?map=Web3) VM和Move VM可能是最著名和最有趣的虚拟机，每个都有其优点和缺点。它们采用不同的智能合约开发方法： **自定义语言** 像Ca...

文章 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 网络来说，开发者也需要部署...

文章 秘密进行，公开断言：不要在ZK程序中过度约束Prover的witness计算 - ZKSECURITY

...y 审计员目前在 O(1) Labs 维护 SnarkyJS。像 SnarkyJS 或 Noir 或 Cairo1.0 这样的工具，以及像 Mina 协议或 Aleo 这样的执行运行时，使开发人员更容易开始编写 ZK 应用程序 —— 并且他们已经开始了！现在有 ZK 聚会、会议、播客、研讨会...

文章 ICICLE-Stwo 简介：一种 GPU 加速的 Stwo 证明器

...用的斐波那契示例没有使用查找，因此受到限制：例如，Cairo 编译的程序可能会使用查找。 缺少的功能会影响评估函数 _compute\_composition\_polynomial()_ 中涉及查找的跟踪约束的能力，该函数位于 "crates/prover/src/core/prover/mod.rs" 中。...

文章 2024-07-21 zk-insights Weekly

... is production ready and open-source licensed under MIT/Apache. - ### riscairo RISC-V ELF interpreter in cairo 2. - ### zkVM 1.0: Industry-Leading Performance Benchmarks Across the board, we found that a properly configured RISC Zero zkVM outperforms a similarly configured Succinct SP1 deploymen...

文章 可信中立的预确认抵押品：预确认注册表 - Layer 2

...//puffer.fi/) [注册系统](https://docs.puffer.fi/nodes/registration) - [Cairo's](https://x.com/cairoeth) [preconf-operator 代码](https://learnblockchain.cn/article/19514) - 各种 [平滑池](https://ethstaker.cc/smoothing-pools) 设计 - [基于排序器选择](https://learnblockchain.cn/arti...

文章 Uniswap V4 Hooks — Hooks简介 — 找到你问题的答案

...需要帮助，欢迎合作：** - 智能合约审计（Solidity，Rust，Cairo） - 高级安全测试套件（Fuzz，不变性测试 + 形式验证） - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSecurity...