找到约 14 条结果

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

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

文章 2024年顶级ZK Rollup项目：综述

...基于 ZK 的系统之一。 ### Starknet：描述 StarkNet 是一个用 Cairo 编写的无需许可的 ZK Rollup 区块链，Cairo 是一种原创编程语言。2018 年初，零知识可扩展透明知识论证 (ZK-STARK) 的发明者，ZK 协议之一的 Eli Ben-Sasson 介绍了 StarkNet 。 !...

文章 Vitalik：不同类型的 ZK-EVM

...力于将 EVM 的 Solidity 语言转译为 StarkWare 的 ZK 友好语言 [Cairo](https://starkware.co/cairo/) 的一个 [Alpha 编译器](https://medium.com/starkware/starknet-alpha-2-4aa116f0ecfc)，这些团队都在为此不断努力，当然，还有一些项目我没有例举出来。 ...

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

.../twitter.com/zCloakNetwork/status/1595293071637643264 **StarkNet 发布 Cairo 1.0，并开源代码** Cairo 1.0 发布，现已开源。Cairo 爱好者、开发者可以开始了解 Cairo 1.0 新语法，尝试本地编译和运行程序。Cairo 1.0 本质上类似 Rust 语言，目前发布...

文章 Loot Survivor 介绍：最新的全链游戏，基于……

...twitter.com/Starknet), [Cartridge](https://twitter.com/cartridge_gg), and [CairoLang](https://twitter.com/CairoLang) 的代表进行了一次有趣的会面。  ### 什么是 Autonomous World (AW)？ ![](https://img.lea...

文章 探索 zkVMs：哪些项目真正符合零知识虚拟机的标准？

...GPU 工作负载的工具，专注于性能而非隐私或 ZKPs。 ### Cairo * 概述: Cairo zkVM \[[14](https://github.com/lambdaclass/cairo-vm/blob/main/docs/python_vm/README.md)\] 使用一种自定义语言，编译为优化的基于 STARK 的证明系统，确保可验证计算。它...

文章 Stone Cairo STARK Prover 概述

...码，主要用 C++ 编写。它有以下主要组件： - AIR：包含 CAIRO 的代数中间表示 (algebraic intermediate representation) 的约束。 - Channel（STARK Platinum 中的 transcript）：包含 prover 和 verifier 之间的交互，并提供采样随机 challenges 的方法。 - Com...

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

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

文章 不同类型的 ZK-EVM

...lockchain.cn/article/11678)（能把 EVM 编译成 Starkware 所开发的 [Cairo](https://starkware.co/cairo/)），族繁不及备载。 上述项目有一个共同的目标：利用 [ZK-SNARK](https://learnblockchain.cn/article/10962) 进行密码学证明，验证以太坊生态（Ethereum-like...

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

...roxy - zkSync 2.0 推出主网 Baby Alpha 版本 - StarkNet 编程语言 Cairo 1.0 即将上线，随后启动 Regenesis 阶段 - FTX 支出 600 万美元补偿收到钓鱼攻击的 FTX 用户 - Vitalik 就监管问题发表看法 - superphiz 创建呈现以太坊相关信息 Dashboard 的列...

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

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

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

... 21 日至 22 日联合举办的 StarkNet 开发者分享会，包括 《Cairo 1.0》和《递归》两个主题。 有问题的读者可以点击链接填写问题：https://docs.qq.com/doc/DV2FEalBwdFV5b0xC ![c5032faffd860aa677b7384153f62f3e.png](https://img.learnblockchain.cn/attachments/...

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

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

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