找到约 14 条结果

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

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

文章 各 Rollup 解决方案的权衡研究

...atus/1349780683758194702?fileGuid=9hhKcdCvwPrpcy8q);Starkware 推出了 [Cairo 工具链](https://medium.com/starkware/cairo-welcome-on-board-1cf3487554f?fileGuid=9hhKcdCvwPrpcy8q),方便开发者使用零知识证明技术。我们看到 rollup 技术有了很多突破,包括 Aztec 和 ZkSync...

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

...放:https://ethglobal.tv/optimism-summit-3fe52cc1 **17 天学习 Cairo 语言获得奖励** Cairo 语言是扩容解决方案 StarkNet 使用的编程语言。一个为 Cairo 开发者构建的 QA 网站 [Newton](https://twitter.com/optimismfnd/status/1571849901650366466?s=46&t=SHlCaqMqS...

文章 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...

文章 以太坊主流 L2 方案回顾与展望

... 2022 年 1 月引入。 StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。StarkWare 团队现在正与 Nethermind 团队合作创建代码转译器 Warp,来将 Solidity 智能合约无缝转换为 Cairo,以便使其与 EVM 兼容。因此,...

文章 清晰理解zkEVM、EVM 兼容性和Rollup

...展最快的通用Rollup。StarkNet运行一个自定义的智能合约VM (Cairo VM),带有自己的底层语言(Cairo),两者都是为智能合约Rollup而构建的。这意味着StarkNet没有现成的以太坊兼容性——正如我们之前看到的,即使是操作码级别的VM级别兼...

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

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

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

...的引入将分阶段进行。 10 月 27 日,StarkEx 的开发语言 Cairo 官方推特 [@CairoLang](https://twitter.com/CairoLang) 宣布首个 StarkNet Proof 在主网上运行。但值得注意的是,这个 proof 只是一个初步的测试,还有一个月才能在主网上部署 StarkNe...

文章 什么是比特币 Rollups?

... 验证器整合到比特币 L1 中。 ZeroSync 是使用 StarkWare 的 Cairo 编程语言构建的,这是以太坊 Rollup 研究渗透到比特币 Rollup 中的另一个例子。[StarkWare](https://starkware.co/) 是一家在以太坊生态系统中开发零知识技术的公司,ZeroSync 是...

文章 下一个 700 种 EVM 语言

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

文章 2023:L2 赛道爆发前夕,浅析各类 zkEVM

...码(比如 Starkware 使用 Warp 编译器将 Solidity 代码转换为 Cairo 字节码;zkSync 通过 LLVM 编译器将 Solidity 代码转换为其自定义的虚拟机可执行的代码 LLVM-IR)进行编译,并在它们自定义的环境中(比如 Starknet 的 Cairo VM 和 zkSync 的 Sync ...

文章 安比实验室创始人郭宇:ZK 技术的学习心得和经验分享

... Golang 写的,上手更简单一些。最后,还有 zkSNARK 社区的 Cairo,虽然我自己没有写过 Cairo,但我已经看到不少人已经成功启动了,所以我认为 Cairo 的效果应该是不错的。 关于代码围绕什么去写,我认为可以基于 KZG 多样式...

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

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