...penZeppelin 正为其编写标准合约：[https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts](https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts) * 由 Nethemind 开发的 [Warp](https://github.com/NethermindEth/warp)，Solidity -> Cairo 的转译器 * Shard Lab ...
...算。其中包括[Aztec Noir](https://aztec.network/noir/)，Starknet 的[Cairo](https://www.cairo-lang.org/)，[Circom](https://docs.circom.io/)，[ZoKrates](https://zokrates.github.io/)和 Aleo 的[Leo](https://leo-lang.org/)等。底层的证明系统和数学细节通常对应用开发者不可...
...样的 EVM 链、像 Aptos 和 Sui 这样基于 Move 的区块链、基于 Cairo 的区块链 StarkNet，以及 JavaScript、Rust 等语言的 SDK。 通过使用可信执行环境 (**TEEs**)，Switchboard 保护数据免受篡改，并通过其 Oracle 队列确保数据不是陈旧的，并且保...
....com/ethereum/evmjit) 和其他 [运行时](https://github.com/lambdaclass/cairo_native) 中。我们预计每个区块链的运行时都会有其运行时的编译本地汇编版本，以提供更高的性能。 ## 它是如何工作的？ Revmc 的功能是将 EVM 字节码（在以太坊虚...
... ## 了解 `Starknet` 基础知识 ### 主题 1. 为什么选择 `Cairo` 2. 为什么选择 `Starknet` 3. 智能钱包 4. `Starknet` 架构 101 5. `Transactions` ### `Starknet` 相关名称的了解与区分 `STARKWARE ` ：是位于以色列的公司，开发了 `Starknet`，...
...合约中。 智能合约中使用的大多数组件都来自外部库。Cairo 的 OpenZeppelin Contracts 提供了所有权、访问控制、代币标准等组件，可以导入到合约中，类似于 Solidity 的 OpenZeppelin Contracts。 在本教程中，你将学习如何从 OpenZeppelin 导...
...，要么鼓励人们学习其自定义语言（Rust、Solidity、Move、Cairo 等）。 zkEVM 是相对较新的，并且正在开发中，具有不同程度的以太坊兼容性和性能。虽然像 [Ethereum 的研究部门](https://appliedzkp.org/) 这样的组织致力于实现与以太坊的...
...llups 证明了特定计算语句的有效性 (即使其背后的工具如 Cairo 语言是图灵完备的)。这使得它们与 Rollup 中需要“互操作性智能合约”的方案不兼容。 而我们去中心化的、无需许可的 zk-Rollup 解决方案 StarkNet 将解决这一问题。...
...制了当代码一旦被实现后的可重用性——自定义DSL(又名Cairo、Noir、Circom等)需要生成整个库和应用程序的生态系统。此外，特定领域的语言通常构建在zkVM之上，这也是导致性能问题的主要原因之一。 无论何时，只要涉及到任何...
...别注意：starkNet 智能合约并不兼容EVM，而是使用的自开发Cairo语言** - stark ware官网：[Homepage - Starkware](https://starkware.co/) - starknet合约代码: https://etherscan.io/address/0xE267213B0749Bb94c575F6170812c887330d9cE3#code - stark ware介绍以及starkE...
...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 ##### 漏洞 - [关于随机单词距...
...ra 是一个开放源代码 Rollup 堆栈，让开发者快速构建基于 Cairo 和 Starknet 技术驱动的应用链。 本指南将带你快速而轻松地启动和部署合约的Madara节点。让我们开始吧！ ## 必需软件 请确保已安装以下软件 * [rust](https://rus...
...须知道正确的值。 **特定领域语言（DSL）（例如 Noir、Cairo、Circom）**： - 为了简化电路编写和验证过程，开发者使用 Noir、Cairo 或 Circom 等语言编写电路。 **中间表示（例如 ACIR）和约束系统（例如 R1CS）**： - 对于 Noir ...
...在让我们开始在 ERC-4626 中进行开发。 虽然你可以使用 Cairo 和 Viper 等语言，但我们将使用 Solidity 编写此合约。 ### **1\. 将 OpenZepellin 扩展导入到你的 IDE 中** 在你打开 IDE (我们推荐 Remix) 后，指示编译器你正在使用哪个版本的 S...
...就很难与 EVM 兼容。StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。但由于现在很少人愿意去学一门新的编程语言来执行智能合约，StarkWare 团队现在正与 [Nethermind](https://twitter.com/nethermindeth) 团队合作...