...们已启动一个小型内部团队,以使用 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 最近引起了很多关注。主要原因是它们可以用作**廉价验证...