...们已启动一个小型内部团队，以使用 o1js (MinaProtocol) 在 Cairo (Starknet) 中开发 zkWASM。 ### 4.2 zkEVM - 项目列表：zkSync、Polygon zkEVM、Linea、Taiko、Scroll … zkEVM 是一个与以太坊虚拟机 (EVM) 兼容的虚拟机，它支持零知识证明计算。 ...
...a v0.11.0 在测试网上线，开发者可在 Starknet 测试网上部署 Cairo 1.0 合约并与之交互。在测试网顺利运行后才能在主网上部署 Cairo 1.0 合约，主网升级到 Starknet alpha v0.11.0 将首次进行治理投票。 ### 07 Aleo * 隐私公链 Aleo 开放最终...
...就很难与 EVM 兼容。StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。但由于现在很少人愿意去学一门新的编程语言来执行智能合约，StarkWare 团队现在正与 [Nethermind](https://twitter.com/nethermindeth) 团队合作...
...放：https://ethglobal.tv/optimism-summit-3fe52cc1 **17 天学习 Cairo 语言获得奖励** Cairo 语言是扩容解决方案 StarkNet 使用的编程语言。一个为 Cairo 开发者构建的 QA 网站 [Newton](https://twitter.com/optimismfnd/status/1571849901650366466?s=46&t=SHlCaqMqS...
...- [StarkNet playground](https://starknet.io/playground/)：编译和部署 Cairo 合约 - [Warp（Solidity 到 Cairo 的转译器）示例](https://medium.com/nethermind-eth/composability-the-final-piece-of-the-puzzle-8c7ca5dfd470)：转译两个可以组合的合约并部署它们 - [starknet-rea...
...成驗證。 在 StarkNet 上，我們可以在 Kakarot 合約中呼叫 Cairo precompile（在 0x75001 上）這個合約來呼叫任何 Cairo 合約。由於這部分的使用需要與 Kakarot 官方聯繫，就不擴展篇幅，細節大家可見 [官方文件](https://docs.kakarot.org/architectu...
...成金融衍生品合约而设计的语言 * StarkWare 的在线 IDE：[Cairo Playground](https://www.cairo-lang.org/playground/)。还包含多个教程 ## 安全 * DefiSaver [被 Dedaub 的自动化静态分析发现了漏洞](https://medium.com/dedaub/ethereum-pawn-stars-5-7m-in-hard-asset...
...arkEx** ，一个独立的 zk-rollup SaaS。此外，StarkWare 是名为 **Cairo** 的生产级零知识虚拟机 (zkVM) 的第一家生产商。Cairo 声称通过实现图灵完备的[冯诺依曼](https://en.wikipedia.org/wiki/Von_Neumann_architecture) 架构以达到这一点。每个程序与它...
...3.2)：客户端包大小减半，iOS 链接可分页 * StarkWare 放出 [Cairo 工具包](https://medium.com/starkware/cairo-welcome-on-board-1cf3487554f)，可制作通用计算的证明：编译器、VM、跟踪器/调试器、IDE ## 安全性 * [Cover 协议遇黑](https://mudit.blog/cove...
...%2FMsMYIMU74Y5omCvjDFWBqDogd91eVe9RB7vFuKf97tg) **OpenZeppelin 发布 Cairo 合约 0.2.0 版本** 7 月 5 日，智能合约开发平台 OpenZeppelin 发布 Cairo 合约 0.2.0 版本。此前，OpenZeppelin 发布了 Cairo v0.1.0 的合约，开发者可以利用使用 Cairo 语言编写的...
...完整的签名集合和价格中位数将被发送至 StarkEx。dYdX 的 Cairo 程序会检查以下内容： - 输入有效期：签名是有效的，且所有公钥都属于链上名单内有资格的喂价方 - 时间戳足够新 - 有效公钥签名的数量达到门槛要求 - 价格中...
....2 测试网，之后拟安排主网上线时间，v0.11.2 将正式激活 Cairo 1，并且会为 Cairo 1 在主网上的功能做好准备。 **来源：** https\://github.com/bitcoin/bitcoin/blob/master/doc/release-notes/release-notes-25.0.md https\://twitter.com/go_ethereum/status/1661...
...署应用程序是***无须许可的*** ，因此任何人都可以使用 Cairo 语言编写智能合约并将之发布在该测试网上，Cairo 是 StarkNet 网络的本地编程语言。StarkWare 团队还与 dOrg 合作提供了一个简单的 DEX (去中心化交易所) 来展示 StarkNet 的...
...而其他语言则需要[手动完成](https://github.com/starkware-libs/cairo-lang/blob/de741b92657f245a50caab99cfaef093152fd8be/src/starkware/cairo/common/uint256.cairo)。 ## ZKP 为什么有那么多关注？ ZKP 最近引起了很多关注。主要原因是它们可以用作**廉价验证...