找到约 15 条结果

文章 以太坊基金会第六次Reddit AMA(上)

...布将于今年年底上线。Nethermind 甚至正在开发 一个 EVM > Cairo 的转译器。我看到当前的计划是先实现 zk-SNARK,然后将来再实现 STARKs。假设 StarkNet 可以良好地运行数年,并且 STARK 系列已经准备好生产了,为什么不直接转到 zk-STRAKs ...

文章 智能合约审计

...pt install graphviz sudo apt install gir1.2-gtk-3.0 python3-gi python3-gi-cairo python3-numpy graphviz pip3 install xdot ``` 然后可以用 xdot 查看流程图,也可以转换成图片 ``` dot 0xC5d105E63711398aF9bbff092d4B6769c82f793d.all_contracts.call-graph.dot -Tpng -o call_graph.p...

文章 如何在 Arbitrum Nova 上创建一个 10K NFT 收藏品

...错误,你可能需要先安装以下库: ``` brew install pkg-config cairo pango libpng jpeg giflib librsvg pixman ``` > 然后安装canvas: ``` npm i canvas ``` 现在,创建两个文件夹**metadata**和**images**: ``` mkdir metadata && mkdir images ``` 然后,进入**traits*...

文章 第十六章. 以太坊扩容

...或其他的 EVM 高级语言)转换成电路友好的语言,比如 [Cairo](https://learnblockchain.cn/tags/Cairo?map=Web3)(由 StarkWare 所用)。另一种方法会直接解释标准的 EVM 字节码,一个操作码接一个操作码,构建一些反映每条指令的电路。混合或...

文章 如何在Arbitrum Nova上创建1万个NFT集合

...,则你可能需要首先安装以下库: ``` brew install pkg-config cairo pango libpng jpeg giflib librsvg pixman ``` > 然后安装 canvas: ``` npm i canvas ``` 现在,创建两个文件夹 **metadata** 和 **images**: ``` mkdir metadata && mkdir images ``` 然后,导航到 *...

文章 CLOB战争:下一代链上交易所的单体式与模块化之争

...退出。 * **执行:** 链下 CLOB;批量结算。 * **VM:** Cairo VM (Stark 系列);L1 上的 EVM 接口。 * **结算/共识:** 以太坊(通过 Starknet);在 ETH 最终确定时的 **硬最终性**。 * **证明:** **ZK-STARK** (有效性证明)。 * **DA:** 在以...

文章 分析以太坊虚拟机各语言设计

...自己的编程语言,从 C#、Swift 和 Kotlin 到 Solidity、Sway 和 Cairo。学会在这些语言之间无缝切换,将为软件工程职业提供无与伦比的灵活性。最后,重要的是要理解每种语言背后所做的大量工作。虽然没有一种是完美的,但无数才...

文章 科普:零知识证明、ZKRollup 与 zkEVM

...更高的Gas成本。除此之外,StarkNet 使用不同的编码语言(Cairo vs. Solidity),所以它不能直接与EVM兼容。 然而,在2023年,我们应该看到全新一代的ZK解决方案的到来:全面的、由ZK驱动的以太坊兼容的虚拟机或zkEVMs。 ## 什么...

文章 区块链开发 30 多个最佳 Web3 教程

...复杂的 Web3 项目。 本视频教程由 Starknet 开发,并使用 Cairo 编程语言。本教程涵盖: - 使用 Starknet 命令行界面 (CLI) 编译代码 - 使用 Starknet CLI 将合约部署到 Starknet - 使用 Starknet 函数调用来查找智能合约中的余额 - 使用 Starkne...

文章 为什么dYdX选择推出自己的链,而不是继续使用Layer2解决方案?

...意味着在 Starkware 上构建应用程序需要学习其专有语言(Cairo),但这对于 dYdX 来说似乎并不是一个重大的障碍。 此外,根据 [Antonio Juliano](https://learnblockchain.cn/article/16138) 的说法,当时,Starkware 为基于 Ethereum 的应用程序提供...

文章 比特币STARK验证器的最新进展

...ps://github.com/keep-starknet-strange/shinigami),两个项目旨在使用Cairo来验证比特币主网,从而实现无信任轻客户端、桥接和协处理 - [OP\_CAT比特币桥](https://github.com/Bitcoin-Wildlife-Sanctuary/scrypt-poc-bridge),由sCrypt实施,使用其领域特定语言...

文章 Starknet Dojo 入门:安装、编译、部署与交互

... out; ``` ## 14. 增加测试用例并运行测试 ### test_world.cairo 添加测试 ```rust #[test] fn test_spawn() { let caller = starknet::contract_address_const::(); let ndef = namespace_def(); let mut world = spawn_test_world([ndef].span()); ...

文章 通往 Web3.0 的入口:零知识证明与 EVM

...e正在创建代码转移器来将Solidity无缝转换为其特殊的语言Cairo以便兼容EVM。)它具有证明快、验证快,但证明体积大等特点。 #### ZK-SNARKs技术的代表项目zkSync: 以太坊创始人Vitalik认为,“从中长期来看,随着 ZK-SNARK 技术的...

文章 Starknet和zkSync 详细比较分析

...效rollup上的具体执行成本很难进行比较和对比。例如,用Cairo重写某些东西意味着什么?与Solidity实现相比,在链上运行会有多昂贵?两个EVM在一组操作码上会消耗相同数量的gas吗?这些问题引发了一个古老的计算机科学争论:...

文章 RWA通证化现状2026:从碎片化到统一的全球市场

...这种双向转变使得关于特定智能合约语言(无论是 Rust、Cairo 还是 Daml)的广泛争论,变得不如**为开发者提供强大工具和低摩擦集成点**那么关键。 最终愿景是**将 TradFi 和 DeFi 统一为一个单一的"AllFi"连续统一体**,其中**发行...