找到约 13 条结果

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

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

文章 全链游戏 III:意志的传承 - MUD 与 Dojo

...上 Autonomous World 的概念注入了新的活力。 同时,**随着 Cairo 1.0 的发布**,许多基于 Cairo 0 开发的合约需要重写,这为这些独立项目重启和合作在 Starknet 上提供了绝佳的机会。 在 Starknet 于 2022 年 11 月宣布 Cairo 1.0 后不久,Loot ...

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

文章 Ola:不止于基础设施 — 连接 Web2 和 Web3 世界的新入口

...ZK 友好的虚拟机。在整个设计过程中,我们从 Starkware 的 Cairo VM 白皮书中学习了很多。 **Ola 的里程碑:** ![](https://img.learnblockchain.cn/2025/04/26/83647588_image.jpg) 图 1. Ola 路线图 2022 年 7 月:发布 Ola 的第一份技术白皮书。 2023 年 4...

文章 可信中立的预确认抵押品:预确认注册表 - Layer 2

...//puffer.fi/) [注册系统](https://docs.puffer.fi/nodes/registration) - [Cairo's](https://x.com/cairoeth) [preconf-operator 代码](https://learnblockchain.cn/article/19514) - 各种 [平滑池](https://ethstaker.cc/smoothing-pools) 设计 - [基于排序器选择](https://learnblockchain.cn/arti...

文章 Uniswap V4 Hooks — Hooks简介 — 找到你问题的答案

...需要帮助,欢迎合作:** - 智能合约审计(Solidity,Rust,Cairo) - 高级安全测试套件(Fuzz,不变性测试 + 形式验证) - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSecurity...

文章 什么是比特币 Rollups?

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

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

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

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

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

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

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

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

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

文章 介绍 Lasso 和 Jolt

...快证明者(每 VM 步)。这一直是特别简单的 zkVM,比如 [Cairo VM](https://eprint.iacr.org/2021/1063) 的驱动动力,这种设计目的之一就是让其对 SNARK 友好。 确实,Jolt 为更简单的 VM 的证明者比早期的 SNARK 取得了更低的承诺成本。例如...

文章 如何开始你的第一个 Uniswap V4 Hook:必备知识、库和风险

...帮助,请让我们合作: - 智能合约审计(Solidity,Rust,Cairo) - 高级安全测试套件(模糊测试、不可变性测试 + 形式化验证) - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zea...