...ZK 友好的虚拟机。在整个设计过程中，我们从 Starkware 的 Cairo VM 白皮书中学习了很多。 **Ola 的里程碑：**  图 1. Ola 路线图 2022 年 7 月：发布 Ola 的第一份技术白皮书。 2023 年 4...
...需要帮助，欢迎合作：** - 智能合约审计（Solidity，Rust，Cairo） - 高级安全测试套件（Fuzz，不变性测试 + 形式验证） - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSecurity...
...上 Autonomous World 的概念注入了新的活力。 同时，**随着 Cairo 1.0 的发布**，许多基于 Cairo 0 开发的合约需要重写，这为这些独立项目重启和合作在 Starknet 上提供了绝佳的机会。 在 Starknet 于 2022 年 11 月宣布 Cairo 1.0 后不久，Loot ...
...链系列公开课](https://learnblockchain.cn/course/39)，与OpenBuild和Cairo中文社区联合发起了[Starknet中文公开课](https://learnblockchain.cn/course/43)。系统的课程全面的提升，共 800+ 人参与系列课程 6. 技术分享：举办了 **30** 期 Web3 极客公开课...
...的引入将分阶段进行。 10 月 27 日，StarkEx 的开发语言 Cairo 官方推特 [@CairoLang](https://twitter.com/CairoLang) 宣布首个 StarkNet Proof 在主网上运行。但值得注意的是，这个 proof 只是一个初步的测试，还有一个月才能在主网上部署 StarkNe...
... 验证器整合到比特币 L1 中。 ZeroSync 是使用 StarkWare 的 Cairo 编程语言构建的，这是以太坊 Rollup 研究渗透到比特币 Rollup 中的另一个例子。[StarkWare](https://starkware.co/) 是一家在以太坊生态系统中开发零知识技术的公司，ZeroSync 是...
...帮助，请让我们合作： - 智能合约审计（Solidity，Rust，Cairo） - 高级安全测试套件（模糊测试、不可变性测试 + 形式化验证） - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zea...
... Golang 写的，上手更简单一些。最后，还有 zkSNARK 社区的 Cairo，虽然我自己没有写过 Cairo，但我已经看到不少人已经成功启动了，所以我认为 Cairo 的效果应该是不错的。 关于代码围绕什么去写，我认为可以基于 KZG 多样式...
...码（比如 Starkware 使用 Warp 编译器将 Solidity 代码转换为 Cairo 字节码；zkSync 通过 LLVM 编译器将 Solidity 代码转换为其自定义的虚拟机可执行的代码 LLVM-IR）进行编译，并在它们自定义的环境中（比如 Starknet 的 Cairo VM 和 zkSync 的 Sync ...
...n专注于安全的区块链开发和审计。它提供可信的Solidity和Cairo库、全面的智能合约审计和零知识证明服务。其全面服务支持分布式支付网络、金融系统和治理协议。 **已选定的** [**客户**](https://blog.openzeppelin.com/tag/security-audits) ...
...于其底层证明系统，证明生成成本很高。StarkWare 还使用 Cairo 编译器来支持 DApp，但是它们的证明大小很大并且 on-chain 验证成本非常高。 我们的方案通过使用更高效的分层（可能是递归的）零知识证明系统和一种新颖得 Layer-2 ...
...，当谈到智能合约编程语言时，我们看到压倒性的影响：Cairo、Noir、Move、Sway、Stylus、Solana，这些都是受 Rust 启发或直接使用 Rust 的。我认为这并非偶然。智能合约需要安全，并且需要有效利用资源，而这些正是 Rust 的强项。 ...
... ZK Rollup 与以太坊不兼容。 例如，使用 StarkNet 需要学习 Cairo，这是一种用于在 StarkNet 操作系统中执行程序的图灵完备语言。 这意味着这些系统无法像 Polygon 的 ZK Rollup 那样扩展以太坊的功能。 用户无法在此类 ZK Rollup 上访问基...
...快证明者（每 VM 步）。这一直是特别简单的 zkVM，比如 [Cairo VM](https://eprint.iacr.org/2021/1063) 的驱动动力，这种设计目的之一就是让其对 SNARK 友好。 确实，Jolt 为更简单的 VM 的证明者比早期的 SNARK 取得了更低的承诺成本。例如...