找到约 15 条结果

文章 每周以太坊进展2022/3/26

...[v0.5.0](https://github.com/OpenZeppelin/nile/releases/tag/v0.5.0): 支持 Cairo v0.8.0, 与最新的 Account 合约一起使用的Signer * [将ether .js升级到5.6.1激活ENS L2/Offchain集成](https://medium.com/the-ethereum-name-service/upgrade-ethers-js-to-5-6-1-to-activate-ens-l2-offchain-int...

文章 每周以太坊进展 2022/10/15

...swap-only-warped-to-starknet-6b62d3a96690): 用 Warp 将 Uniswap v3 转成 Cairo（也进行了手动修改）, [通过测试](https://twitter.com/0xgreg_/status/1580291490655350784) * [Maze](https://github.com/privacy-scaling-explorations/maze#readme): 为 Circom-PLONK 证明生成聚合证明...

文章 以太七日谈 • 2022/1/26

...ling-the-staking-problem/) ## Layer2 **Nethermind 推出 Solidity -> Cairo 转译器 Warp 的首个版本** StarkWare 团队推出的 [StarkNet](https://starkware.co/starknet/) 是以太坊上的一个无需许可的、去中心化的 ZK-Rollup，StarkNet Alpha 于 2021 年 11 月 29 日上...

文章 Kakarot zkEVM：深入分析

... 折衷的结果是，Starknet 上的开发人员必须学习一种名为 Cairo 的全新编程语言，这种语言针对 ZK 证明进行了优化。这给习惯于使用 EVM 的开发人员带来障碍： - 他们可能没有时间或动力去学习一门新语言。 - 项目可能不具备...

文章 零知识证明编码入门

...而其他语言则需要[手动完成](https://github.com/starkware-libs/cairo-lang/blob/de741b92657f245a50caab99cfaef093152fd8be/src/starkware/cairo/common/uint256.cairo)。 ## ZKP 为什么有那么多关注？ ZKP 最近引起了很多关注。主要原因是它们可以用作**廉价验证...

文章 以太七日谈 • 2022/4/6

...ttps://blog.connext.network/optimistic-bridges-fb800dc7b0e0) **StarkNet/Cairo 开发教程资源库** StarkNet 的开发宣传大使 [@HenriLieutaud](https://twitter.com/HenriLieutaud) 和 [@DrSpacemn](https://twitter.com/DrSpacemn) 发布了一个 GitHub 开发教程资源库，包含的内...

文章 零知识前沿：关于SNARKs，STARKs和未来的应用

...arkEx** ，一个独立的 zk-rollup SaaS。此外，StarkWare 是名为 **Cairo** 的生产级零知识虚拟机 (zkVM) 的第一家生产商。Cairo 声称通过实现图灵完备的[冯诺依曼](https://en.wikipedia.org/wiki/Von_Neumann_architecture) 架构以达到这一点。每个程序与它...

文章 OpenBuild Starknet Bootcamp任务3：Starknet Foundry合约测试代码错误修复及部署和交互测试

...ub.com/gianalarcon/Ownable-contract-snFoundry)， 在 **tests/test_ownable.cairo** 文件上完成测试。当前包含一个老版本的测试，需要升级到 v0.12.0 or v0.13.0并修复错误，所有的测试必须通过 `snforge test` ，你可参考 [Voting contract](https://github.com/gianal...

文章 以太坊L2扩容方案与零知识证明

...别注意：starkNet 智能合约并不兼容EVM，而是使用的自开发Cairo语言** - stark ware官网：[Homepage - Starkware](https://starkware.co/) - starknet合约代码: https://etherscan.io/address/0xE267213B0749Bb94c575F6170812c887330d9cE3#code - stark ware介绍以及starkE...

文章 以太七日谈 • 2021/11/30

...penZeppelin 正为其编写标准合约：[https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts](https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts) * 由 Nethemind 开发的 [Warp](https://github.com/NethermindEth/warp)，Solidity -> Cairo 的转译器 * Shard Lab ...

文章 Starknet 学习之了解 Starknet 基础知识

... ## 了解 `Starknet` 基础知识 ### 主题 1. 为什么选择 `Cairo` 2. 为什么选择 `Starknet` 3. 智能钱包 4. `Starknet` 架构 101 5. `Transactions` ### `Starknet` 相关名称的了解与区分 `STARKWARE ` ：是位于以色列的公司，开发了 `Starknet`，...

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

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

文章 zkLLVM电路编译器

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

文章 零知识开发者指南: 如何选择 ZK 技术栈

...算。其中包括[Aztec Noir](https://aztec.network/noir/)，Starknet 的[Cairo](https://www.cairo-lang.org/)，[Circom](https://docs.circom.io/)，[ZoKrates](https://zokrates.github.io/)和 Aleo 的[Leo](https://leo-lang.org/)等。底层的证明系统和数学细节通常对应用开发者不可...

文章 Madara 快速入门

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