找到约 15 条结果

文章 探索 zkVMs：哪些项目真正符合零知识虚拟机的标准？

...GPU 工作负载的工具，专注于性能而非隐私或 ZKPs。 ### Cairo * 概述: Cairo zkVM \[[14](https://github.com/lambdaclass/cairo-vm/blob/main/docs/python_vm/README.md)\] 使用一种自定义语言，编译为优化的基于 STARK 的证明系统，确保可验证计算。它...

文章 Starknet上的ERC-20代币

...教程假定读者熟悉 ERC-20 标准，但会解释每个实现步骤和 Cairo 语法。 创建 ERC-20 token 的首选方法是使用 OpenZeppelin 库。 这将在即将推出的关于“组件”的教程中介绍。 本教程的目的是将我们之前所学的所有内容联系起来。 ### ...

文章 EVM 2.0：以证明为中心与以执行为中心的方法

...的指令集。 为 ZK 证明优化的现有 VM 示例（适当披露：CairoVM 由 StarkWare 构建，StarkWare 是本文的共同作者） #### 1\. CairoVM（由 Starknet 使用） - 从头开始为基于 STARK 的证明系统设计 - 使用最小的、算术友好的指令集 - 避免...

文章 StarkNet 介紹：重點部件 Overview

...z/)) @ imToken Labs ## Intro StarkNet OS（Operating System） 主要由 Cairo 這個 StarkNet 的原生語言寫成，Cairo 就像 StarkNet 上的 Solidity，能夠用來撰寫（Cairo-based）智能合約，但同時也是一個零知識證明語言，可以用於構建 StarkNet 核心的作業...

文章 每周以太坊进展2021/12/24

...ttps://github.com/z0r0z/Helios)：正在进行基于 ERC1155 的交换 * [Cairo-jupyter](https://github.com/ankitchiplunkar/cairo-jupyter)：Cairo的Jupyter内核 * 使用 CrytoPunk 检查器示例构建一个[MEV 检查器]()的指南 * [Notion](https://twitter.com/mark_mkzo/status/1472162594077...

文章 Stwo证明器：下一代STARK扩展技术已到来

...呢？ 没问题。 开发人员将不会受到任何影响，因为高级 Cairo 将与 Stwo 完全兼容。 时机到来时，并且 Stwo 准备好推出时，Starknet 生态系统（即用户和开发人员）将受益于 Stwo 的下一级扩容，而无需做任何事情！ Stwo 将与编写合...

文章 🧠 DAO深度解析：人类协作的下一次进化

... 在以太坊上，Solidity 最常见。 在 StarkNet 上，可以使用 **Cairo** 构建 DAO，利用 zk-rollup 实现可扩展性和隐私性。 ## 2. 治理代币 成员收到代表投票权的 ERC-20 代币（如 $UNI 或 $COMP）。 这些代币可以赚取、购买或分发。 ## 3. 提案...

文章 Stone Cairo STARK Prover 概述

...码，主要用 C++ 编写。它有以下主要组件： - AIR：包含 CAIRO 的代数中间表示 (algebraic intermediate representation) 的约束。 - Channel（STARK Platinum 中的 transcript）：包含 prover 和 verifier 之间的交互，并提供采样随机 challenges 的方法。 - Com...

文章 StarkNet 行星 Alpha 在测试网上运行

...*初步接触** 首先，请查看我们的 [教程和文档](https://www.cairo-lang.org/docs/hello_starknet/)。 然后，你可以阅读我们在 StarkNet 上编写并部署的 [示例 AMM 智能合约](http://cairo-lang.org/docs/hello_starknet/amm.html)。这是一个简单的 AMM，你可以...

文章 每周以太坊进展 2021/03/21

...数调用即可返回多个 ENS 域名 * 教程：[使用 StarkWare 的 Cairo 语言打造一个 AMM](https://www.cairo-lang.org/build-a-scalable-cairo-basesd-automated-market-maker/) * 用 [OpenZeppelin](https://forum.openzeppelin.com/t/create-an-nft-and-deploy-to-a-public-testnet-using-remix/635...

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

文章 Zealynx 是谁？为什么 DeFi 团队选择我们顶级的智能合约审计

...audits/rust-audit): 针对基于 Rust 的链和协议的安全审查。 - [Cairo 智能合约审计](https://zealynx.io/services/smart-contract-audits/cairo-audit): 针对 Starknet 和基于 Cairo 的项目的深度审计。 - [Sway 智能合约审计](https://zealynx.io/services/smart-contract-audi...

文章 2024-07-28 zk-insights Weekly

...# Zero-Knowledge Learning Path: Introduction. - ### Bitcoin Script VM in Cairo shinigami is a library enabling Bitcoin Script VM execution in Cairo, thus allowing the generation of STARK proofs of generic Bitcoin Script computation. shinigami是一个可以在 Cairo 中执行比特币脚本虚拟...

文章 StarkNet 组成部分、工作原理与网络延迟

...的区块创建计划。为了让排序器确认交易，它必须使用 Cairo 操作系统来执行交易，这是 EVM 的替代品，用于用 Cairo 编写的智能合约。 ### 证明者 证明者负责生成一个加密证明，以证明排序器在通过执行新区块中包含的交易...

文章 比特币 ZK Rollups 你想了解的都在这

...ra 技术堆栈连接到比特币上，以运行基于 StarkWare 创建的 Cairo 编程语言的 Rollup，从而实现了技术叠加的效果。 ## **什么是 ZK Rollup？** Rollups 将非标准比特币交易的交易，例如某些侧链的交易，批量打包在...