找到约 14 条结果

文章 以太坊L2扩容方案与零知识证明

...别注意：starkNet 智能合约并不兼容EVM，而是使用的自开发Cairo语言** - stark ware官网：[Homepage - Starkware](https://starkware.co/) - starknet合约代码: https://etherscan.io/address/0xE267213B0749Bb94c575F6170812c887330d9cE3#code - stark ware介绍以及starkE...

文章 ZK Mesh：2025年11月回顾

...erifying-zero-knowledge-circuits-introducing-certiplonk) \| Nethermind - [Cairo 实现的 DCAP，支持证明和链上验证 TEE 证明](https://github.com/cartridge-gg/dcap-cairo) \| Cartridge - [Longfellow ZK](https://github.com/dyne/longfellow-zk) \| Dyne ##### 漏洞 - [关于随机单词距...

文章 Madara 快速入门

...ra 是一个开放源代码 Rollup 堆栈，让开发者快速构建基于 Cairo 和 Starknet 技术驱动的应用链。 本指南将带你快速而轻松地启动和部署合约的Madara节点。让我们开始吧！ ## 必需软件 请确保已安装以下软件 * [rust](https://rus...

文章 什么是零知识证明 | 给程序员的实用指南

...须知道正确的值。 **特定领域语言（DSL）（例如 Noir、Cairo、Circom）**： - 为了简化电路编写和验证过程，开发者使用 Noir、Cairo 或 Circom 等语言编写电路。 **中间表示（例如 ACIR）和约束系统（例如 R1CS）**： - 对于 Noir ...

文章 什么是 ERC-4626 代币标准？

...在让我们开始在 ERC-4626 中进行开发。 虽然你可以使用 Cairo 和 Viper 等语言，但我们将使用 Solidity 编写此合约。 ### **1\. 将 OpenZepellin 扩展导入到你的 IDE 中** 在你打开 IDE (我们推荐 Remix) 后，指示编译器你正在使用哪个版本的 S...

文章 zk-rollup 争夺战：zkSync vs. StarkWare

...就很难与 EVM 兼容。StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。但由于现在很少人愿意去学一门新的编程语言来执行智能合约，StarkWare 团队现在正与 [Nethermind](https://twitter.com/nethermindeth) 团队合作...

文章 EVM 网络效应：为什么说 EVM 可能比以太坊本身更重要？

...下无需改变。另外，StarkNet - 另一个 roll-up，有一种名为 Cairo 的语言，它目前不兼容 EVM，但团队正在努力构建编译器，以便它可以在 EVM 上执行，并且已经构建了另一个方向（EVM -> StarkNet）的转译器。EVM 兼容/原生区块链和 Layer 2...

文章 超越单核：提升并行环境中VM效率

...线对每个 PR 进行性能分析，以便发现任何性能问题。 [Cairo 虚拟机](https://github.com/lambdaclass/cairo-vm)也不例外，因为它是 [Starknet](https://www.starknet.io/en) 网络的核心组成部分。在这篇文章中，我们将深入探讨我们如何调查一个性能...

文章 OpenBuild Starknet Bootcamp 任务2：Ownable合约部署、所有权转移、dispatcher交互

...约部署 ### 3.1 合约编译 ```bash $ scarb build Compiling cairo1_v2 v0.1.0 (/root/Ownable-Starknet/Scarb.toml) Finished release target(s) in 1 second ``` ### 3.2 准备env - `.env_a` ```bash export STARKNET_RPC="https://starknet-goerli.g.alchemy.com/v2/xxx" export ST...

文章 ZK Mesh：2025年9月回顾

...程碑](https://miden.xyz/resource/blog/compiler-release-04) \| Miden - [Cairo M 设计](https://github.com/kkrt-labs/cairo-m/blob/main/docs/design.pdf) \| Kakarot ##### 研讨会/教育/实习 - [STABILITY 2025：稳定性研讨会](https://easychair.org/cfp/STABILITY-2025) \| 印度斋浦尔...

文章 garaga+noir+starknet starter项目实战

... 两条并行线，最终在 Starknet 上汇合。 主线 1：Noir → Cairo → Starknet 合约部署 作用：把 Noir 写的电路逻辑，编译成 Starknet 原生支持的 Cairo 合约，部署到链上。 步骤 工具/组件 做了什么？ 关联技术 1\. 写 Noir 程序 ---Noir...

文章 详解 Starknet

...epts/Cryptography/stark-curve/)。Starknet 的智能合约编程语言是 [Cairo](https://docs.cairo-lang.org/index.html) 。 #### 1.1. 安装 Command Line（starkli） [starkli](https://github.com/xJonathanLEI/starkli) 是 Starknet 的命令行工具，可以通过它进行发送交易等操...

文章 你check 过你的 sum 吗？

...情](https://learnblockchain.cn/article/13912/) [](https://learnblockchain.cn/article/13963/) [1月26日，Starkware通知我们...

文章 测量SNARK性能：前端与后端

...并将其程序自动编译为汇编代码。 例如，StarkWare 的 [Cairo](https://eprint.iacr.org/2021/1063) 是一种非常有限的汇编语言，其中的汇编指令大致允许对有限域进行加法和乘法，函数调用以及对不可更改的（即，一次写入）内存的读取...