找到约 14 条结果

文章 不同的ZK-EVM类型

...团队，也正在致力于将 EVM 转向 Starkware 的 ZK 友好语言 [Cairo](https://starkware.co/cairo/) 的 [alpha 编译器](https://learnblockchain.cn/article/11678)，还有一些我遗漏的持续努力的团队。 所有这些项目的基本目标是相同的：利用 [ZK-SNARK](https://l...

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

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

文章 Rollup 介绍

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

文章 zkSync Era是什么？

...发语言的新用户的途径，并继续使用所谓的更简单语言 Cairo。 以下是表格，阐明 ZKsync Era 与 Starknet 之间的差异。 | | | | | --- | --- | --- | | **链** | ## ZKsync Era | ## Starknet | | **证明生成** | ZK-SNARK | ZK-STARK | | **证明大小** | 小...

文章 一文读懂 zk-STARK 与 zk-SNARK 零知识证明

...，社区成熟，入门相对容易； - **STARK**：StarkWare推出的Cairo语言等正在快速迭代，需要一定学习成本，但也为开发者带来新的开发范式。 **六. 应用场景：从隐私到 Layer2，再到通用计算** **1.隐私支付与匿名货币** - **Zca...

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

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

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

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

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

...%2FMsMYIMU74Y5omCvjDFWBqDogd91eVe9RB7vFuKf97tg) **OpenZeppelin 发布 Cairo 合约 0.2.0 版本** 7 月 5 日，智能合约开发平台 OpenZeppelin 发布 Cairo 合约 0.2.0 版本。此前，OpenZeppelin 发布了 Cairo v0.1.0 的合约，开发者可以利用使用 Cairo 语言编写的...

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

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

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

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

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

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

文章 不同类型的 ZK-EVM

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

文章 Stone Cairo STARK Prover 概述

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

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

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