找到约 15 条结果

文章 零知识证明 - 从puzzle解题深入ZK-STARK

...理解STARK的安全性的同时,查看了不少相关论文。 **4 - Cairo虚拟机以及语言** https://trapdoor-tech.github.io/zkstark-book/chapter_2.html 如果直接用AIR编写电路,容易出错。对于大规模电路也不现实。Cario虚拟机是一个方案,方便开发...

文章 Starknet Alpha 2

...标准化合约,正如他们在以太坊上所做的一样! 2. **EVM->Cairo 编译器**:Nethermind 的 Warp 团队演示了 ERC-20 Solidity 代码编译为 Starknet 合约。 ## 背景 Starknet 是一个无权限的去中心化 Validity-Rollup(即“ZK-Rollup”)。我们在年初宣布...

文章 开源经过实战检验的 Stone Prover

...中心化的 Rollup Stack,包括多个关键基础设施组件,例如 Cairo、多个全节点实现、Starknet 的新 Sequencer 以及由独立团队构建的其他开源功能。 - Stone Prover 是一个强大的引擎,我们鼓励团队围绕它添加自定义和包装,以便构建他们...

文章 StarkNet + ECN 中文开发者 Meetup

... StarkNet 合约与操作系统使用 StarkWare 团队自行研发的 Cairo 语言。Cairo 是一种图灵完备的通用计算编程语言,支持部署任何用例和扩展性,不受业务逻辑限制。由 Nethermind 开发的 Warp 编译器,可将 Solidity 即时编译为 Cairo 语言,...

文章 首届中文 Cairo Bootcamp 开启报名!

...ysTaMSnY646789bfd1b8c.png) 由 Starknet 官方支持的首届中文 Cairo BootCamp 将于本周末开始🚀 本次 Cairo Bootcamp 是一个短期、知识密集的培训项目,旨在帮助有编程经验的个人掌握 [Cairo](https://cairo-lang.org/) 编程语言,Cairo 是一种用...

文章 Web3 极客日报 #1377

...基础知识,还会介绍 AIR 电路、STARK 协议、多项式承诺和 Cairo 语言。

文章 Starknet 名称大揭秘:STARKWARE、STARKEx、Cairo 与 Starknet Foundation 的区别

# Starknet 名称大揭秘:STARKWARE、STARKEx、Cairo 与 Starknet Foundation 的区别 随着区块链技术的迅速发展,越来越多的新技术和平台相继涌现。Starknet 作为以太坊的二层扩展方案,基于 STARK 零知识证明技术,正逐渐成为业内关注的焦...

文章 每周以太坊进展2022/4/23

...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 静态分析器和 ...

文章 StarkNet Alpha 1

...。 想要试试吗?最好的入门方法是根据 [这里](https://www.cairo-lang.org/docs/hello_starknet/l1l2.html) 的教程开始。 我们的 L1L2 协议在很大程度上受益于其他 L2(具体来说是 Optimism 和 Arbitrum)在这一领域的前期工作,对我们的设计产生...

文章 Field element 一直到底

...mmTYA5SFGCieMS8Tvqlg.jpeg) 几周前,在开发了一个EVM字节码到Cairo转译器的初步草图后,StarkWare将工作交接给了Nethermind的Nubia团队。我们一直在致力于Warp转译器,以架起EVM兼容语言与StarkNet之间的桥梁。本文将简要介绍zk-STARKs和Cairo...

文章 参与 Starknet 开发贡献指南手册

...tarknet 之书》作为 Starknet 网络百科全书,囊括安装入门、Cairo 合约、开发工具、核心技术等内容。 将复杂概念转化成通俗易懂的观点,让新手用户实现一本书搞定 Starknet 生态。 敬请期待「Starknet 中文社区」发布中文版本 ht...

文章 以Warp的方式走向StarkNet

...始开发 [Warp](https://github.com/NethermindEth/warp),一个 EVM 到 Cairo 的转换器。我们刚刚发布了一个 [演示](https://github.com/NethermindEth/warp/tree/main/examples/ERC20),演示将一个 ERC20 Solidity 合约转换到 Cairo 并部署到 StarkNet。在这篇博客中,我...

文章 解锁 Starknet 新姿势:Starknet Remix 插件概述

... Remix 插件旨在简化 Starknet 开发人员的开发流程,为编写 Cairo 代码提供无缝接口。 Starknet Remix 插件是将 Remix 工具引入 Starknet 生态系统的一次重大飞跃。无论你是经验丰富的 Cairo 开发人员,还是正在学习的新手,亦或是正在...

文章 探索Cairo:安全入门指南

## 引言 在这篇文章中,我们将会探讨Cairo 1.0,Starknet的原生语言。我们将对 Cairo和Starknet进行简要介绍,探索 Cairo的一些安全特性,并审视在 Cairo中编写合约时可能遇到的一些潜在陷阱。对于任何考虑在 Cairo中编写合约的人来说...

文章 【zkMIPS系列】zkVM概述

...de.js 和浏览器兼容性等成熟技术 | Mina 协议上的 zkApps | | Cairo | Starkware | 专注于安全性和易用性,支持开发 StarkNet 智能合约 | StarkNet 和 StarkEx | | Noir | Aztec | 提供隐私保护功能,支持多种证明系统 | 仍在开发中 | 以下是如何使...