找到约 14 条结果

文章 不同的ZK-EVM类型

...团队,也正在致力于将 EVM 转向 Starkware 的 ZK 友好语言 [Cairo](https://starkware.co/cairo/) 的 [alpha 编译器](https://learnblockchain.cn/article/11678),还有一些我遗漏的持续努力的团队。 所有这些项目的基本目标是相同的:利用 [ZK-SNARK](https://l...

文章 一文读懂 zk-STARK 与 zk-SNARK 零知识证明

...,社区成熟,入门相对容易; - **STARK**:StarkWare推出的Cairo语言等正在快速迭代,需要一定学习成本,但也为开发者带来新的开发范式。 **六. 应用场景:从隐私到 Layer2,再到通用计算** **1.隐私支付与匿名货币** - **Zca...

文章 【zkMIPS系列】zkVM概述

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

文章 每周以太坊进展 2020/08/30

...模拟器及 Eth2 交易手续费分析 ## Layer-2 * StarkWare 的 [Cairo](https://medium.com/@StarkWare/hello-cairo-3cb43b13b209):通用计算的 STARK 证明器 * [Rollup 数据压缩技术](https://ethresear.ch/t/rollup-diff-compression/7933) * 使用该压缩技术后,optimistic roll...

文章 每周以太坊进展 2020/09/06

...模拟器及 Eth2 交易手续费分析 ## Layer-2 * StarkWare 的 [Cairo](https://medium.com/@StarkWare/hello-cairo-3cb43b13b209):通用计算的 STARK 证明器 * [Rollup 数据压缩技术](https://ethresear.ch/t/rollup-diff-compression/7933) * 使用该压缩技术后,optimistic roll...

文章 OpenBuild Starknet Bootcamp 任务2:Ownable合约部署、所有权转移、dispatcher交互

...约部署 ### 3.1 合约编译 ```bash $ scarb build Compiling cairo1_v2 v0.1.0 (/root/Ownable-Starknet/Scarb.toml) Finished release target(s) in 1 second ``` ### 3.2 准备env - `.env_a` ```bash export STARKNET_RPC="https://starknet-goerli.g.alchemy.com/v2/xxx" export ST...

文章 不同类型的 ZK-EVM

...lockchain.cn/article/11678)(能把 EVM 编译成 Starkware 所开发的 [Cairo](https://starkware.co/cairo/)),族繁不及备载。 上述项目有一个共同的目标:利用 [ZK-SNARK](https://learnblockchain.cn/article/10962) 进行密码学证明,验证以太坊生态(Ethereum-like...

文章 艾萨克发生了什么?

... 2. 大型耦合系统。对核心机制的每次更改都必须经过 Cairo 代码库的更改、Cairo 代码库的测试、后端中的更新以将来自 StarkNet 的新信息传递到前端,以及前端中的更新以反映新机制。这使得迭代缓慢而痛苦。 没有迭代,Isaac...

文章 深入解析 Starknet 学习之 Dojo 安装问题及解决方案

...之 Dojo 安装问题及解决方案 ### 引言 在学习 Starknet 和 Cairo 生态系统的过程中,安装工具链是不可避免的一步。然而,安装过程中常常会遇到各种问题,尤其是在安装 Dojo 这类工具时。本篇文章将深入分析这些问题,并提供详...

文章 以太七日谈 • 2022/11/29

.../twitter.com/zCloakNetwork/status/1595293071637643264 **StarkNet 发布 Cairo 1.0,并开源代码** Cairo 1.0 发布,现已开源。Cairo 爱好者、开发者可以开始了解 Cairo 1.0 新语法,尝试本地编译和运行程序。Cairo 1.0 本质上类似 Rust 语言,目前发布...

文章 以太七日谈 • 2022/10/11

...k/status/1578082456212643840 **通过 Warp 将 Uniswap V3 转译为 Cairo 语言并在 StarkNet 上部署** 10 月 8 日,扩容解决方案 StarkNet 的语言 Cairo 转译器的开发公司 Nethermind 宣布推出 UniStark —— 将 Uniswap V3 转译和编译在 StarkNet 上。 并...

文章 Vitalik:不同类型的 ZK-EVM

...力于将 EVM 的 Solidity 语言转译为 StarkWare 的 ZK 友好语言 [Cairo](https://starkware.co/cairo/) 的一个 [Alpha 编译器](https://medium.com/starkware/starknet-alpha-2-4aa116f0ecfc),这些团队都在为此不断努力,当然,还有一些项目我没有例举出来。 ...

文章 OpenZeppelin 中文文档上线 | Web3 开发的万能工具箱

...测试网,完成正式上线前准备 **✅ 多链支持模块** - Cairo 合约库(Starknet)使用指南 - Stylus(Arbitrum)/ Soroban(Stellar)/ Substrate 等链上合约支持说明 **✅ 附加内容** - Solidity 文档生成工具(Solidity Docgen) - 社区扩展合约与...

文章 去信任的“侧链-StarkEx”桥接

...llups 证明了特定计算语句的有效性 (即使其背后的工具如 Cairo 语言是图灵完备的)。这使得它们与 Rollup 中需要“互操作性智能合约”的方案不兼容。 而我们去中心化的、无需许可的 zk-Rollup 解决方案 StarkNet 将解决这一问题。...