找到约 6 条结果

文章 以太坊基金会第六次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吗?这些问题引发了一个古老的计算机科学争论:...