...) 添加了一些功能，这些执行引擎通常不兼容 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 ...
...机开销，并支持 Rust 等更多语言。 3. **其他 VM 架构：** Cairo 等专为 ZK 证明设计的 VM 可能更优，但选择需要谨慎，因为未来的证明技术可能变化。 4. **迁移策略：** 分阶段进行，先用新 VM 替换预编译合约，然后允许用户部署新...
... 熟悉Layer 2解决方案、NFT、DAO等新兴区块链应用。 了解Cairo、Move等其他智能合约语言。
...twitter.com/Starknet), [Cartridge](https://twitter.com/cartridge_gg), and [CairoLang](https://twitter.com/CairoLang) 的代表进行了一次有趣的会面。  ### 什么是 Autonomous World (AW)？ ：使用 SMT 求解器对带有语言注释的 Cairo 智能合约执行形式验证。 - [Medjai](https://github.com/Veridise/Medjai)：Cairo 的符号求值器，用于检查 Cairo 程序是否持有某些属性。 - DSL（如 [Coda](https://github.com/Veridise/coda) 和...