...合约中。 智能合约中使用的大多数组件都来自外部库。Cairo 的 OpenZeppelin Contracts 提供了所有权、访问控制、代币标准等组件，可以导入到合约中，类似于 Solidity 的 OpenZeppelin Contracts。 在本教程中，你将学习如何从 OpenZeppelin 导...
...限制的，但 vnTinyRAM 的设计施加了固定的周期限制，这与 Cairo 等更现代的设计形成对比，我们将在下一节中更深入地讨论 Cairo。 与许多其他现代 zkVM 一样，Cairo 利用 STARK，它可以根据所需的周期数动态缩放，有效地启用无界 zkVM...
...，使 L1 和 L2 合约能够交互。更多细节请阅读：https://www.cairo-lang.org/docs/hello_starknet/index.html ## StarkNet Alpha 登陆主网? 届时，主网版本的 StarkNet Alpha 将支持 Goerli 测试网版本的同样功能，功能的引入将分阶段进行。 ### 有什...
...意加大挖掘区块的难度。 ## 区块头验证的可验证计算 [Cairo](https://www.cairo-lang.org/) 是一种用来创建运算可验证的程序的编程语言；通过在 Cairo 中实现上述规则，我们就创建了一种程序，它可以验证单个区块头，并且，当且仅当...
...ForTokens", calldata: CallData.compile({ amountIn: cairo.uint256(amountIn), amountOutMin: cairo.uint256(price), path: tokenArr, to: cairo.felt(myAddress), deadline: cairo.felt(timestamp), }), } /...
... 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 定义了一种类型如何在存储中被序列化和反序列化。简单来说，它为编译器提供了读取和写入合约存储中的“类型”所需的逻辑。 对...
...测试](#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。 这个名字是中央处理单元代数中间表示的合成词。中间表示语言用于“略低于汇编”...