...arkEx** ，一个独立的 zk-rollup SaaS。此外，StarkWare 是名为 **Cairo** 的生产级零知识虚拟机 (zkVM) 的第一家生产商。Cairo 声称通过实现图灵完备的[冯诺依曼](https://en.wikipedia.org/wiki/Von_Neumann_architecture) 架构以达到这一点。每个程序与它...
....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...
...%2FMsMYIMU74Y5omCvjDFWBqDogd91eVe9RB7vFuKf97tg) **OpenZeppelin 发布 Cairo 合约 0.2.0 版本** 7 月 5 日，智能合约开发平台 OpenZeppelin 发布 Cairo 合约 0.2.0 版本。此前，OpenZeppelin 发布了 Cairo v0.1.0 的合约，开发者可以利用使用 Cairo 语言编写的...
...基础知识，还会介绍 AIR 电路、STARK 协议、多项式承诺和 Cairo 语言。
...而其他语言则需要[手动完成](https://github.com/starkware-libs/cairo-lang/blob/de741b92657f245a50caab99cfaef093152fd8be/src/starkware/cairo/common/uint256.cairo)。 ## ZKP 为什么有那么多关注？ ZKP 最近引起了很多关注。主要原因是它们可以用作**廉价验证...
...署应用程序是***无须许可的*** ，因此任何人都可以使用 Cairo 语言编写智能合约并将之发布在该测试网上，Cairo 是 StarkNet 网络的本地编程语言。StarkWare 团队还与 dOrg 合作提供了一个简单的 DEX (去中心化交易所) 来展示 StarkNet 的...
...rs.ethereum.org/web3-py-goes-to-london/)：支持发送 EIP1559 交易 * [Cairo playground](https://www.cairo-lang.org/playground/) 已支持直接在 StarkNet 上部署合约 * Hardhat 的[每周下载量](https://twitter.com/gitpusha/status/1409572555611115525)首次超过 Truffle * [Hardhat ...
...ling-the-staking-problem/) ## Layer2 **Nethermind 推出 Solidity -> Cairo 转译器 Warp 的首个版本** StarkWare 团队推出的 [StarkNet](https://starkware.co/starknet/) 是以太坊上的一个无需许可的、去中心化的 ZK-Rollup，StarkNet Alpha 于 2021 年 11 月 29 日上...
...约对比器](https://etherscan.io/contractdiffchecker) * [Starkware 在 Cairo 教程中的投票 app 可以改造成签名聚合器](https://www.cairo-lang.org/from-voting-to-trustless-eth-bridges-via-signature-aggregation/) ## 安全事件 * Cryptopunks [因缺乏前端保护而遭遇抢跑...
...roxy - zkSync 2.0 推出主网 Baby Alpha 版本 - StarkNet 编程语言 Cairo 1.0 即将上线，随后启动 Regenesis 阶段 - FTX 支出 600 万美元补偿收到钓鱼攻击的 FTX 用户 - Vitalik 就监管问题发表看法 - superphiz 创建呈现以太坊相关信息 Dashboard 的列...
...展最快的通用Rollup。StarkNet运行一个自定义的智能合约VM (Cairo VM)，带有自己的底层语言(Cairo)，两者都是为智能合约Rollup而构建的。这意味着StarkNet没有现成的以太坊兼容性——正如我们之前看到的，即使是操作码级别的VM级别兼...
...rum-cn/Arbitrum-Library **StarkWare 引入编程语言 Lean 来保证 Cairo 程序的准确性** 为了提高合约安全性，StarkWare 使用 Lean 编程语言来验证各种 Cairo 程序的准确性。这个过程帮助 StarkWare 定位和修复其兼容以太坊的签名验证流程中...
...640880) 之路：StarkWare 将在 2021 年末推出的 zk-rollup，使用 [Cairo](https://www.cairo-lang.org/playground/) 编写应用 ## 开发者材料 - Solidity [v0.8.1](https://blog.soliditylang.org/2021/01/27/solidity-0.8.1-release-announcement/)：SMTChecker 支持外部调用 - [Solid...