制作 Cairo 不重复造轮子 * * * 我喜欢爵士乐。 在我喜爱的所有爵士乐风格中，我最喜欢爵士融合乐，因为我发现不同事物的融合更具启发性。 在编程语言理论、编译器实现和应用密码学的交叉领域，一些令人兴奋的事情正在...
...以太坊智能合约（Solidity）、Solana 程序（Rust）、Starknet（Cairo）和其他合约差异很大，影响了市场状况以及对特定语言的审计需求。 - 审计方法（自动与手动）：自动审计更便宜，但不够彻底，因为它们仅仅基于静态分析，可能...
...3272551-20210426201241133.jpeg) - [CHARLES ROBERTSON | A CARPET SELLER, CAIRO](https://www.sothebys.com/en/buy/auction/2019/important-works-from-the-najd-collection/charles-robertson-a-carpet-seller-cairo) 治理程序（Governance）是协议的最终拥有者。无论是独裁还是富豪统...
...团队，也正在致力于将 EVM 转向 Starkware 的 ZK 友好语言 [Cairo](https://starkware.co/cairo/) 的 [alpha 编译器](https://learnblockchain.cn/article/11678)，还有一些我遗漏的持续努力的团队。 所有这些项目的基本目标是相同的：利用 [ZK-SNARK](https://l...
在 Cairo 合约存储中存储类型之前，它必须实现一个名为 `starknet::Store` trait 的 trait。这个 trait 定义了一种类型如何在存储中被序列化和反序列化。简单来说，它为编译器提供了读取和写入合约存储中的“类型”所需的逻辑。 对...
...ethermindEth/horus-checker)：使用 SMT 求解器对带有语言注释的 Cairo 智能合约执行形式验证。 - [Medjai](https://github.com/Veridise/Medjai)：Cairo 的符号求值器，用于检查 Cairo 程序是否持有某些属性。 - DSL（如 [Coda](https://github.com/Veridise/coda) 和...
...=DFtxZ3V68fE)**，Shanzson (Zokyo)。 - **OpenSense** **-** **[Starknet Cairo 的安全](https://www.youtube.com/watch?v=5TpSRL1DOwI)**，Talfao (Codespect)。 - **[朝鲜民主主义人民共和国土木工程师虚假个人资料流程](https://www.youtube.com/watch?v=m4XmJUBorKU).** 关于...
...们将引导你完成一个具体的示例：使用 Lambdaworks 库实现 Cairo 的非确定性连续只读存储器的约束。这些约束在 [Cairo 白皮书](https://eprint.iacr.org/2021/1063?ref=blog.lambdaclass.com) 的第 9.7 节中有详细说明。 我们不会解释协议中的基本概...
...码，主要用 C++ 编写。它有以下主要组件： - AIR：包含 CAIRO 的代数中间表示 (algebraic intermediate representation) 的约束。 - Channel（STARK Platinum 中的 transcript）：包含 prover 和 verifier 之间的交互，并提供采样随机 challenges 的方法。 - Com...
...发语言的新用户的途径，并继续使用所谓的更简单语言 Cairo。 以下是表格，阐明 ZKsync Era 与 Starknet 之间的差异。 | | | | | --- | --- | --- | | **链** | ## ZKsync Era | ## Starknet | | **证明生成** | ZK-SNARK | ZK-STARK | | **证明大小** | 小...
...G2C.jpg) 未来计划版本可能支持 Solidity/Yul 与 Vyper（甚至 Cairo）之间的比较。 我希望你喜欢本教程并探讨该工具的能力。我们非常希望从开发人员和用户那里获得反馈和改进建议 —— 如果你有任何问题或建议，请在下方评论...
...，社区成熟，入门相对容易； - **STARK**：StarkWare推出的Cairo语言等正在快速迭代，需要一定学习成本，但也为开发者带来新的开发范式。 **六. 应用场景：从隐私到 Layer2，再到通用计算** **1.隐私支付与匿名货币** - **Zca...
...ossChainEnabled 等。除了 Solidity，Openzeppelin 还介绍了他们的 Cairo 库。另一个主要产品 Defender 是一个界面，使用户能够以更友好的方式构建和管理他们的合约。这包括他们的合约库支持的所有模块化功能。对于即将推出的功能，我...
...杂的技术设置。 StarkNet 中支持智能合约，但需要采用 Cairo 语言编写，作为第四类 ZK Rollup，其并不会在 EVM 中执行，而是在自己建立的 VM 中执行，使用自定义的字节码。 ## Scroll Scroll 是实现了与 EVM 等效的 ZK Rollup，这意...
...webp) 未来规划的版本可能允许 Solidity/Yul 和 Vyper（甚至 Cairo）之间的比较。 我希望你喜欢这个教程并探索工具的能力。我们非常希望得到开发者和用户的反馈和改进建议。如果你有任何问题或建议，请在下面评论。 最后...