找到约 15 条结果

文章 【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...

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

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

文章 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...

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

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

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

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

文章 以太七日谈 • 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),这些团队都在为此不断努力,当然,还有一些项目我没有例举出来。 ...

文章 zkLLVM电路编译器

...制了当代码一旦被实现后的可重用性——自定义DSL(又名Cairo、Noir、Circom等)需要生成整个库和应用程序的生态系统。此外,特定领域的语言通常构建在zkVM之上,这也是导致性能问题的主要原因之一。 无论何时,只要涉及到任何...

文章 EVM 网络效应:为什么说 EVM 可能比以太坊本身更重要?

...下无需改变。另外,StarkNet - 另一个 roll-up,有一种名为 Cairo 的语言,它目前不兼容 EVM,但团队正在努力构建编译器,以便它可以在 EVM 上执行,并且已经构建了另一个方向(EVM -> StarkNet)的转译器。EVM 兼容/原生区块链和 Layer 2...

文章 治理程序可抽取的价值

...3272551-20210426201241133.jpeg) - [CHARLES ROBERTSON | A CARPET SELLER, CAIRO](https://www.sothebys.com/en/buy/auction/2019/important-works-from-the-najd-collection/charles-robertson-a-carpet-seller-cairo) 治理程序(Governance)是协议的最终拥有者。无论是独裁还是富豪统...

文章 Starknet 叙事改变:统一比特币和以太坊

...编程语言的**altVM L2**,该语言针对 ZK 证明进行了优化:Cairo。这里有一个关于为什么 altVM L2 优于 EVM 兼容 L2 的[短视频](https://x.com/0lliecrypto/status/1831274058421281249) 。 * 除了在 2019 年推出第一个生产级证明器(这是有效性 Rollup ...

文章 Madara 快速入门

...ra 是一个开放源代码 Rollup 堆栈,让开发者快速构建基于 Cairo 和 Starknet 技术驱动的应用链。 本指南将带你快速而轻松地启动和部署合约的Madara节点。让我们开始吧! ## 必需软件 请确保已安装以下软件 * [rust](https://rus...

文章 Lookup奇点降临:Lasso 和 Jolt 简介

...路和相应的更快的证明者。这是特别简单的 zkVM(例如 [Cairo VM](https://eprint.iacr.org/2021/1063))背后的指导动机,它们是专门为 SNARK 友好而设计的。 事实上,对于更简单的虚拟机,Jolt 为证明者实现了比之前的 SNARK 更低的承诺开...