找到约 12 条结果

文章 以太坊 Layer 2 Rollup 辩论:zkSync、Optimism、Arbitrum 和 StarkWare

...采取不同的路线。因此更具挑战性。我们拥有一种称为 Cairo 的新颖,新颖,真实和完整的语言。因此,我们的解决方法是,让我们正在做的每一件事都能立即被需要它的真正团队在生产中使用。 Eli(Starkware)(01:03:37): 因此,...

文章 以太七日谈 • 2021/10/12

...合作项目:StarkNet 的区块浏览器 Voyager 和 Warp (Solidity -> Cairo 编译器)。 ![nethermind.png](https://img.learnblockchain.cn/pics/F0EVK9qqH0kRPYT_NHe0x.png) [来源](https://twitter.com/StarkWareLtd/status/1447549799977340929) **Optimistic Rollup 扩容解决方案 Arbitrum...

文章 Polygon Hermez

...可以通过编译器将 Solidity 编译成 StarkNet 的智能合约语言 Cairo,再部署到其 ZK-friendly 的 VM。 ##### **zkSync zkEVM** 类似 Starkware,zkSync 2.0 通过开发编译器前端 Yul 和 Zinc 来实现 ZK-EVM 功能。Yul 是一种中间 Solidity 表示,可以编译为...

文章 以太七日谈 • 2022/9/6

...机制新增功能:L1-> L2 信息传递;declare transaction - 少量 Cairo 语法变动 来源:https://starkware.medium.com/starknet-alpha-0-10-0-923007290470 # 生态 **币安将自动兑换 USDC、USDP、TUSD 为 BUSD** 币安称,为了提高流动性和资本效益,决定...

文章 以太七日谈 • 2022/7/19

... 5000、3000 美元。 Starknet Workshop 的教学内容包括:介绍 Cairo、L1 到 L2 信息传递、Starknet 钱包和账户、从 ERC-20 到 ERC-721 以及 JS Workshop 等。 来源:https://medium.com/encode-club/announcing-the-starknet-paris-hackathon-july-18-19th-register-now-d46b115...

文章 Foresight Ventures: Rollup 的现在, 阻碍, 竞赛, 和未来

...向努力呢? * StarkNet: 目前跨链桥还没完全开放. 特制语言 Cairo 和 StarkNet 开发生态打造得不错, 游戏生态值得关注. StarkEx 的 Validium 模式也做出了 dYdX, ImmutableX 等应用. 而且 StarkNet 自己也可以做结算层, 搭建 L3. * zkSync: 最早地做出...

文章 以太坊基金会第六次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...

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

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

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

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

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

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

文章 Starknet和zkSync 详细比较分析

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