...理解STARK的安全性的同时,查看了不少相关论文。 **4 - Cairo虚拟机以及语言** https://trapdoor-tech.github.io/zkstark-book/chapter_2.html 如果直接用AIR编写电路,容易出错。对于大规模电路也不现实。Cario虚拟机是一个方案,方便开发...
...标准化合约,正如他们在以太坊上所做的一样! 2. **EVM->Cairo 编译器**:Nethermind 的 Warp 团队演示了 ERC-20 Solidity 代码编译为 Starknet 合约。 ## 背景 Starknet 是一个无权限的去中心化 Validity-Rollup(即“ZK-Rollup”)。我们在年初宣布...
...中心化的 Rollup Stack,包括多个关键基础设施组件,例如 Cairo、多个全节点实现、Starknet 的新 Sequencer 以及由独立团队构建的其他开源功能。 - Stone Prover 是一个强大的引擎,我们鼓励团队围绕它添加自定义和包装,以便构建他们...
... StarkNet 合约与操作系统使用 StarkWare 团队自行研发的 Cairo 语言。Cairo 是一种图灵完备的通用计算编程语言,支持部署任何用例和扩展性,不受业务逻辑限制。由 Nethermind 开发的 Warp 编译器,可将 Solidity 即时编译为 Cairo 语言,...
...ysTaMSnY646789bfd1b8c.png) 由 Starknet 官方支持的首届中文 Cairo BootCamp 将于本周末开始🚀 本次 Cairo Bootcamp 是一个短期、知识密集的培训项目,旨在帮助有编程经验的个人掌握 [Cairo](https://cairo-lang.org/) 编程语言,Cairo 是一种用...
...基础知识,还会介绍 AIR 电路、STARK 协议、多项式承诺和 Cairo 语言。
# Starknet 名称大揭秘:STARKWARE、STARKEx、Cairo 与 Starknet Foundation 的区别 随着区块链技术的迅速发展,越来越多的新技术和平台相继涌现。Starknet 作为以太坊的二层扩展方案,基于 STARK 零知识证明技术,正逐渐成为业内关注的焦...
...978857984):动态数组,完整的 ABI 类型支持;3个漏洞披露 * Cairo 的 OpenZeppelin [合约 Wizard](https://wizard.openzeppelin.com/cairo): 支持 ERC20 和 ERC721 * [Amarna](https://blog.trailofbits.com/2022/04/20/amarna-static-analysis-for-cairo-programs/): Cairo 静态分析器和 ...
...。 想要试试吗?最好的入门方法是根据 [这里](https://www.cairo-lang.org/docs/hello_starknet/l1l2.html) 的教程开始。 我们的 L1L2 协议在很大程度上受益于其他 L2(具体来说是 Optimism 和 Arbitrum)在这一领域的前期工作,对我们的设计产生...
...mmTYA5SFGCieMS8Tvqlg.jpeg) 几周前,在开发了一个EVM字节码到Cairo转译器的初步草图后,StarkWare将工作交接给了Nethermind的Nubia团队。我们一直在致力于Warp转译器,以架起EVM兼容语言与StarkNet之间的桥梁。本文将简要介绍zk-STARKs和Cairo...
...tarknet 之书》作为 Starknet 网络百科全书,囊括安装入门、Cairo 合约、开发工具、核心技术等内容。 将复杂概念转化成通俗易懂的观点,让新手用户实现一本书搞定 Starknet 生态。 敬请期待「Starknet 中文社区」发布中文版本 ht...
...始开发 [Warp](https://github.com/NethermindEth/warp),一个 EVM 到 Cairo 的转换器。我们刚刚发布了一个 [演示](https://github.com/NethermindEth/warp/tree/main/examples/ERC20),演示将一个 ERC20 Solidity 合约转换到 Cairo 并部署到 StarkNet。在这篇博客中,我...
... Remix 插件旨在简化 Starknet 开发人员的开发流程,为编写 Cairo 代码提供无缝接口。 Starknet Remix 插件是将 Remix 工具引入 Starknet 生态系统的一次重大飞跃。无论你是经验丰富的 Cairo 开发人员,还是正在学习的新手,亦或是正在...
## 引言 在这篇文章中,我们将会探讨Cairo 1.0,Starknet的原生语言。我们将对 Cairo和Starknet进行简要介绍,探索 Cairo的一些安全特性,并审视在 Cairo中编写合约时可能遇到的一些潜在陷阱。对于任何考虑在 Cairo中编写合约的人来说...
...de.js 和浏览器兼容性等成熟技术 | Mina 协议上的 zkApps | | Cairo | Starkware | 专注于安全性和易用性,支持开发 StarkNet 智能合约 | StarkNet 和 StarkEx | | Noir | Aztec | 提供隐私保护功能,支持多种证明系统 | 仍在开发中 | 以下是如何使...