找到约 15 条结果

文章 StarkNet 介紹:重點部件 Overview

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

文章 连续只读内存约束:一个使用Lambdaworks的实现

...们将引导你完成一个具体的示例:使用 Lambdaworks 库实现 Cairo 的非确定性连续只读存储器的约束。这些约束在 [Cairo 白皮书](https://eprint.iacr.org/2021/1063?ref=blog.lambdaclass.com) 的第 9.7 节中有详细说明。 我们不会解释协议中的基本概...

文章 每周以太坊进展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. 提案...

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

文章 Stone Cairo STARK Prover 概述

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

文章 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 将非标准比特币交易的交易,例如某些侧链的交易,批量打包在...

文章 【solidity进阶】OpenZeppelin(OZ)合约库详解

...,确保在升级过程中保持代码的一致性和安全性。 ### Cairo Contracts * **面向 Starknet 开发** :专门为在 Starknet 区块链上构建应用而设计,利用 Cairo 语言的优势,提供高性能、高安全性的智能合约开发支持。 * **安全特性** :...

文章 zkVM与zkEVM:下一代区块链扩展解决方案的技术分析

...支持多种编程语言和用例。 ## zkVM项目示例 - **Starknet (Cairo VM)**:使用Cairo编程语言构建可扩展的去中心化应用 (dApps),配备STARK证明。 - **RISC Zero**:实现了一种 **RISC-V架构虚拟机**,使开发者能够用Rust或C++编写经过ZK证明的代码...

文章 全球公链进展 每周更新 - 2023/6/5

...Rust 实现。 此前Starknet 主网已升级至 v0.11.2,正式激活 Cairo 1,开发者可在主网上部署 Cairo 1 智能合约。 **来源:** https\://twitter.com/raphjaph/status/1665367103342362625 https\://github.com/vyperlang/vyper/releases/tag/v0.3.9 https\://twitter....