找到约 14 条结果

文章 以太七日谈 • 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...

文章 零知识文献,第一部分和第二部分

...df),继续通过 VM 抽象开发前端,现代实例包括项目,如 [Cairo](https://eprint.iacr.org/2021/1063)、[RISC Zero](https://www.risczero.com/) 和 [Polygon Miden](https://polygon.technology/solutions/polygon-miden/)。 [**将基于证据的已验证计算更进一步到实用性**](h...

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

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

文章 2024年钱包状态

...基础设施](https://app.charmverse.io/taiko/page-9226869973335512)。 8. Cairo, [朝着基于预确认的实现迈进](https://hackmd.io/@cairo/H1lbS8RA6#Preconf-Share)。 ### EIP-7702 和 EIP-7212 有两个帐户抽象的 EIP 可能完全释放智能合约钱包的潜力,并成为钱包生态...

文章 不完整的Rollups指南

...远比证明简单计算要困难,尽管仍有一些努力(例如:[Cairo](https://learnblockchain.cn/article/11682))在改善此问题) 链上每笔交易的 Gas 成本 | 高 | **低**(如果交易中的数据仅用于验证,而不是用于引发状态更改,则可以省略这些...

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

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

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

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

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

文章 比特币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吗?这些问题引发了一个古老的计算机科学争论:...