...z/)) @ imToken Labs ## Intro StarkNet OS（Operating System） 主要由 Cairo 這個 StarkNet 的原生語言寫成，Cairo 就像 StarkNet 上的 Solidity，能夠用來撰寫（Cairo-based）智能合約，但同時也是一個零知識證明語言，可以用於構建 StarkNet 核心的作業...
...式承诺、查找表、更灵活的递归证明以及硬件加速 - ·[Cairo 程序执行](https://arxiv.org/abs/2109.14534)的正确性证明 ## 开发者材料 - Solidity [v0.8.8](https://blog.soliditylang.org/2021/09/27/solidity-0.8.8-release-announcement/) 以及 [v0.8.9](https://blog.so...
...): 新关卡，设置交易数据/价值，因此不会恢复 * [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):在授权前模拟交易...
...约交互的基本应用程序。未来的帖子将更详细地介绍与 Cairo 一起开发自定义智能合约以及使用 MetaMask Flask（安装了 [starknet-snap](https://github.com/ConsenSys/starknet-snap)）构建 dapp。 在我们深入研究之前，先了解一些背景知识。[StarkNe...
...https://www.bitfinex.com/posts/710)，从 USDT 开始 - [从 Solidity 到 Cairo 得转译器](https://medium.com/nethermind-eth/solidity-on-starknet-terminal-velocity-e8df5f63e010)切换模式，从转译 EVM 操作码换成使用 Solidity 和 Yul 语言的 AST - [Rollup 的抗审查性](https://t...
...限制的，但 vnTinyRAM 的设计施加了固定的周期限制，这与 Cairo 等更现代的设计形成对比，我们将在下一节中更深入地讨论 Cairo。 与许多其他现代 zkVM 一样，Cairo 利用 STARK，它可以根据所需的周期数动态缩放，有效地启用无界 zkVM...
...署应用程序是***无须许可的*** ，因此任何人都可以使用 Cairo 语言编写智能合约并将之发布在该测试网上，Cairo 是 StarkNet 网络的本地编程语言。StarkWare 团队还与 dOrg 合作提供了一个简单的 DEX (去中心化交易所) 来展示 StarkNet 的...
...节码）和 ZK 优化（为零知识证明优化过的新指令集，如 Cairo 和 zkSync 的指令集）。以下是基于 Miden 在 ETH Amsterdam 上的演示对这些类型的比较：  零知识证明开发生态系统...
...成驗證。 在 StarkNet 上，我們可以在 Kakarot 合約中呼叫 Cairo precompile（在 0x75001 上）這個合約來呼叫任何 Cairo 合約。由於這部分的使用需要與 Kakarot 官方聯繫，就不擴展篇幅，細節大家可見 [官方文件](https://docs.kakarot.org/architectu...
...之 Dojo 安装问题及解决方案 ### 引言 在学习 Starknet 和 Cairo 生态系统的过程中，安装工具链是不可避免的一步。然而，安装过程中常常会遇到各种问题，尤其是在安装 Dojo 这类工具时。本篇文章将深入分析这些问题，并提供详...
...模拟器及 Eth2 交易手续费分析 ## Layer-2 * StarkWare 的 [Cairo](https://medium.com/@StarkWare/hello-cairo-3cb43b13b209)：通用计算的 STARK 证明器 * [Rollup 数据压缩技术](https://ethresear.ch/t/rollup-diff-compression/7933) * 使用该压缩技术后，optimistic roll...
...需要帮助，欢迎合作：** - 智能合约审计（Solidity, Rust, Cairo） - 高级安全测试套件（模糊测试、Invariant测试 + 形式验证） - 智能合约开发 - Web2渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSec...
...starknet/)，使用运行 ZK 友好代码的 [专用虚拟机](https://www.cairo-lang.org/)。[Aztec](https://aztec.network/) 也使他们的 Layer 2 程序可以私密运行，不泄露任何关于用户交易的信息。 - 私有 L1：像 Aleo、Mina 和 Zcash 的 L1 链允许交易者使用 ZKPs ...