找到约 14 条结果

文章 以太坊 Layer 2 的 N 个未解之谜以及潜在的解决方案

...该网络所特定的开发环境，比如 zkSync 的 Zinc、StarkWare 的 Cairo，当然官方应该会提供一些基本的工具，让开发者也可以很方便的将 Layer 1 应用转换为 Layer 2 版本。 就算是对于直接支持 EVM 的 Layer 2 网络来说，开发者也需要部署...

文章 2024-07-21 zk-insights posts

... production ready and open-source licensed under MIT/Apache. - ### riscairo RISC-V ELF interpreter in cairo 2. - ### zkVM 1.0: Industry-Leading Performance Benchmarks Across the board, we found that a properly configured RISC Zero zkVM outperforms a similarly configured Succinct SP1 depl...

文章 2024-07-21 zk-insights Weekly

... is production ready and open-source licensed under MIT/Apache. - ### riscairo RISC-V ELF interpreter in cairo 2. - ### zkVM 1.0: Industry-Leading Performance Benchmarks Across the board, we found that a properly configured RISC Zero zkVM outperforms a similarly configured Succinct SP1 deploymen...

文章 以太七日谈 • 2021/3/1

...、由 STARK 支持的 L2 ZK-Rollup 解决方案。其基于图灵完备 Cairo 语言。 开发者可以在 StarkNet 上构建实现其自身逻辑的应用；用户可以在 StarkNet 发送交易；在加密经济激励下，StarkNet 节点和参与者将确保网络的有效运行。 StarkNe...

文章 千层蛋糕：Layer-2 指南

...把他们的合约移植成定制化的编程语言（比如 Starkware 的 Cairo）。 对于不以完全兼容 EVM 为目标的 zk rollup 来说，好处是转账变得更便宜。如果无需遵循 EVM 的语义，就可以降低基本转账的广播数据量。Hermes network 就是这样做的...

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

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

文章 登链社区 2023 年 - 共同见证社区成长

...链系列公开课](https://learnblockchain.cn/course/39)，与OpenBuild和Cairo中文社区联合发起了[Starknet中文公开课](https://learnblockchain.cn/course/43)。系统的课程全面的提升，共 800+ 人参与系列课程 6. 技术分享：举办了 **30** 期 Web3 极客公开课...

文章 Web3 开发者的自我修养——智能合约

...例如 TON/FunC、Cardano/Plutus、 ICP/Motoko、Flow/Cadence、Starknet/Cairo 等，但过于碎片化。 因此本文将智能合约开发语言按照 EVM 系、Solana 系和 Move 系进行分类介绍。 ## EVM 系 ![image.png](https://img.learnblockchain.cn/attachments/2024/05/0Y6y8bpa6...

文章 Arbitrum Stylus 合约开发范式的转变

...约开发，例如 Rust、C 和 C++。其他语言如 Go、Sway、Move 和 Cairo 也可以支持。具备自己运行时的语言，如 Python 和 Javascript，Stylus 支持起来比较困难，尽管不是不可能。欢迎以库的形式对新语言和现有语言进行第三方贡献！ 与使...

文章 以太七日谈 • 2022/8/23

...devpillme 网站，帮助你了解 starknet 及其运作，并提供一份 Cairo 语言学习资源清单。 Starknet 开发者指南的内容包括了 Starknet 的定义、优势、状态、Cairo 语言、开发者系统以及其他资源。 devpillme 网站的开发指南适合新手开发...

文章 下一个 700 种 EVM 语言

...，当谈到智能合约编程语言时，我们看到压倒性的影响：Cairo、Noir、Move、Sway、Stylus、Solana，这些都是受 Rust 启发或直接使用 Rust 的。我认为这并非偶然。智能合约需要安全，并且需要有效利用资源，而这些正是 Rust 的强项。 ...

文章 一文读懂零知识证明区块链项目

...分利用STARK在计算和可扩展性方面的优势，StarkWare开发了Cairo语言，这是一种高效且图灵完备的编程语言，专门用于创建STARK证明。这意味着StarkWare需要开发文档、框架和其他工具来激活其开发者生态。 #### Immutable X Immutable ...

文章 Web3 DApp 最佳编程实践指南

...2 方案 [StarkNet](https://starkware.co/starknet/) 中，你可以使用 [Cairo](https://starkware.co/cairo/) 来进行开发；在 Arweave 储存网络中，也存在着类似 [3em](https://github.com/three-em/3em) 这样的运行环境支持你使用 JavaScript 来编写合约。 在这些百...

文章 解读Cysic：硬件加速与ZK矿业的崛起前夜

...写电路，例如Halo2；另一种是使用领域特定语言 (DSL)，如Cairo或Circom，将计算转换为中间表达形式，以便后续提交给证明系统。证明系统会根据编写的电路或DSL编译的中间表达形式来生成ZK证明。 程序操作越复杂，生成证明...