... StarkNet 合约与操作系统使用 StarkWare 团队自行研发的 Cairo 语言。Cairo 是一种图灵完备的通用计算编程语言，支持部署任何用例和扩展性，不受业务逻辑限制。由 Nethermind 开发的 Warp 编译器，可将 Solidity 即时编译为 Cairo 语言，...
...易）对 _assumevalid_ 证明进行基准测试 - 迄今为止，当前 Cairo 程序验证过的最大区块是 [区块 383838](https://blockstream.info/block/00000000000000000e9b42248aa61593ccc4aa0a399b3cb6b50c650f45761c3a)，总计包含 933 笔交易。使用 [cairo-rs-py](https://github.com/la...
...约交互的基本应用程序。未来的帖子将更详细地介绍与 Cairo 一起开发自定义智能合约以及使用 MetaMask Flask（安装了 [starknet-snap](https://github.com/ConsenSys/starknet-snap)）构建 dapp。 在我们深入研究之前，先了解一些背景知识。[StarkNe...
...。 想要试试吗？最好的入门方法是根据 [这里](https://www.cairo-lang.org/docs/hello_starknet/l1l2.html) 的教程开始。 我们的 L1L2 协议在很大程度上受益于其他 L2（具体来说是 Optimism 和 Arbitrum）在这一领域的前期工作，对我们的设计产生...
在 Cairo 合约存储中存储类型之前，它必须实现一个名为 `starknet::Store` trait 的 trait。这个 trait 定义了一种类型如何在存储中被序列化和反序列化。简单来说，它为编译器提供了读取和写入合约存储中的“类型”所需的逻辑。 对...
...的技术将使我们能够实现这一目标。具体来说，STARKs 和 Cairo 不仅是计算机科学领域的一项重大突破，而且已经在 StarkEx 中经过了实战检验，最近也开始在 Starknet 中进行测试。 与大多数其他解决方案不同，StarkEx 已经投入生产...
...测试](#independentthird-party-benchmarks) - [论文](#papers) - [Cairo](#cairo) - [Ceno](#ceno) - [Jolt](#jolt) - [SP1](#sp1) - [Risc Zero](#risc-zero) - [EDEN](#eden) - [资源](#resources) - [教程/教育 zkVM](#tutorials--educational-zkvm) - [相关工...
...言包括： 1. Solidity 2. Vyper 3. Go 4. Huff 5. Rust 6. Move 7. Cairo 8. Haskell 从第一个版本的 Solidity 到今天独特的 Web3 编程语言，行业领导者都在努力使 Web3 开发尽可能符合人体工程学。 凭借一套 web3 编程语言的强大技能，开发人员...
...函数返回，以防你想知道为什么返回语句消失了。 ### [Cairo](https://www.cairo-lang.org/) 由 [Starkware](https://starkware.co/) 提供 Starknet是另一个L2。 这个名字是中央处理单元代数中间表示的合成词。中间表示语言用于“略低于汇编”...
...ttps://blog.connext.network/optimistic-bridges-fb800dc7b0e0) **StarkNet/Cairo 开发教程资源库** StarkNet 的开发宣传大使 [@HenriLieutaud](https://twitter.com/HenriLieutaud) 和 [@DrSpacemn](https://twitter.com/DrSpacemn) 发布了一个 GitHub 开发教程资源库，包含的内...
... 两条并行线，最终在 Starknet 上汇合。 主线 1：Noir → Cairo → Starknet 合约部署 作用：把 Noir 写的电路逻辑，编译成 Starknet 原生支持的 Cairo 合约，部署到链上。 步骤 工具/组件 做了什么？ 关联技术 1\. 写 Noir 程序 ---Noir...
...理解STARK的安全性的同时，查看了不少相关论文。 **4 - Cairo虚拟机以及语言** https://trapdoor-tech.github.io/zkstark-book/chapter_2.html 如果直接用AIR编写电路，容易出错。对于大规模电路也不现实。Cario虚拟机是一个方案，方便开发...
...出主要方法： - `fn degree` 给出 transition constraint 的度数。Cairo vm 的所有约束的度数最多为 3。约束的度数越高，计算 transition constraints 所需的评估域就越大。 - `fn constraint_idx` 给出约束标识符，这是一个介于 0 和 transition constraints...