...展最快的通用Rollup。StarkNet运行一个自定义的智能合约VM (Cairo VM)，带有自己的底层语言(Cairo)，两者都是为智能合约Rollup而构建的。这意味着StarkNet没有现成的以太坊兼容性——正如我们之前看到的，即使是操作码级别的VM级别兼...
...改，但接口ID不会更改以保持兼容性。 #### 当前接口 ```cairo /// @title 表示对目标合约的调用 /// @param to 目标合约地址 /// @param selector 目标函数选择器 /// @param calldata 序列化的函数参数 struct Call { to: ContractAddress, selector: felt2...
...starknet/)，使用运行 ZK 友好代码的 [专用虚拟机](https://www.cairo-lang.org/)。[Aztec](https://aztec.network/) 也使他们的 Layer 2 程序可以私密运行，不泄露任何关于用户交易的信息。 - 私有 L1：像 Aleo、Mina 和 Zcash 的 L1 链允许交易者使用 ZKPs ...
...约对比器](https://etherscan.io/contractdiffchecker) * [Starkware 在 Cairo 教程中的投票 app 可以改造成签名聚合器](https://www.cairo-lang.org/from-voting-to-trustless-eth-bridges-via-signature-aggregation/) ## 安全事件 * Cryptopunks [因缺乏前端保护而遭遇抢跑...
...) 添加了一些功能，这些执行引擎通常不兼容 EVM (如使用 Cairo 的 StarkEx、Loopring、使用 Zinc 语言的 zkSync 1.x 等等)。 * **zkSync** [ZkSync](https://zksync.io/) 由 [Matter Labs](https://matter-labs.io/) 构建的零知识 L2 网络。目前可用的 zkSync 迭...
...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 ...
...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...
...基础知识，还会介绍 AIR 电路、STARK 协议、多项式承诺和 Cairo 语言。
...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):在授权前模拟交易...
...Loongson) - [WASM](https://webassembly.org/) - [eBPF](https://ebpf.io/) - [CairoVM](https://book.cairo-lang.org/ch200-introduction.html) - [Valida](https://lita.gitbook.io/lita-documentation/architecture/valida-zk-vm) - [PetraVM](https://github.com/PetraProver/PetraVM) 我们试图衡量： - 简...
...须知道正确的值。 **特定领域语言（DSL）（例如 Noir、Cairo、Circom）**： - 为了简化电路编写和验证过程，开发者使用 Noir、Cairo 或 Circom 等语言编写电路。 **中间表示（例如 ACIR）和约束系统（例如 R1CS）**： - 对于 Noir ...