...而其他语言则需要[手动完成](https://github.com/starkware-libs/cairo-lang/blob/de741b92657f245a50caab99cfaef093152fd8be/src/starkware/cairo/common/uint256.cairo)。 ## ZKP 为什么有那么多关注？ ZKP 最近引起了很多关注。主要原因是它们可以用作**廉价验证...
...署应用程序是***无须许可的*** ，因此任何人都可以使用 Cairo 语言编写智能合约并将之发布在该测试网上，Cairo 是 StarkNet 网络的本地编程语言。StarkWare 团队还与 dOrg 合作提供了一个简单的 DEX (去中心化交易所) 来展示 StarkNet 的...
...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级别兼...
...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...
...rum-cn/Arbitrum-Library **StarkWare 引入编程语言 Lean 来保证 Cairo 程序的准确性** 为了提高合约安全性，StarkWare 使用 Lean 编程语言来验证各种 Cairo 程序的准确性。这个过程帮助 StarkWare 定位和修复其兼容以太坊的签名验证流程中...
...penZeppelin 正为其编写标准合约：[https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts](https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts) * 由 Nethemind 开发的 [Warp](https://github.com/NethermindEth/warp)，Solidity -> Cairo 的转译器 * Shard Lab ...
...) 添加了一些功能，这些执行引擎通常不兼容 EVM (如使用 Cairo 的 StarkEx、Loopring、使用 Zinc 语言的 zkSync 1.x 等等)。 * **zkSync** [ZkSync](https://zksync.io/) 由 [Matter Labs](https://matter-labs.io/) 构建的零知识 L2 网络。目前可用的 zkSync 迭...
...ases/tag/v2.0.1): 添加了 Foundry 支持，错误修复 * OpenZeppelin [Cairo v0.1.0 合约](https://blog.openzeppelin.com/announcing-openzeppelin-contracts-for-cairo/): 账户抽象、ERC20 和 ERC721 实现，Ownable, Pausable, SafeMath 和 代理 * [GitPOAP](https://medium.com/gitpoap/gitpoap...
...): 新关卡，设置交易数据/价值，因此不会恢复 * [starknet-cairo-101](https://github.com/l-henri/starknet-cairo-101): 学习 StarkNet 的一组练习 * Blocknative [Transaction Preview API](https://www.blocknative.com/blog/ethereum-transaction-preview-api):在授权前模拟交易...
...模拟器及 Eth2 交易手续费分析 ## Layer-2 * StarkWare 的 [Cairo](https://medium.com/@StarkWare/hello-cairo-3cb43b13b209)：通用计算的 STARK 证明器 * [Rollup 数据压缩技术](https://ethresear.ch/t/rollup-diff-compression/7933) * 使用该压缩技术后，optimistic roll...
...之 Dojo 安装问题及解决方案 ### 引言 在学习 Starknet 和 Cairo 生态系统的过程中，安装工具链是不可避免的一步。然而，安装过程中常常会遇到各种问题，尤其是在安装 Dojo 这类工具时。本篇文章将深入分析这些问题，并提供详...