找到约 15 条结果

文章 使用 Infura 和 StarkNet 铸造 NFT

...约交互的基本应用程序。未来的帖子将更详细地介绍与 Cairo 一起开发自定义智能合约以及使用 MetaMask Flask（安装了 [starknet-snap](https://github.com/ConsenSys/starknet-snap)）构建 dapp。 在我们深入研究之前，先了解一些背景知识。[StarkNe...

文章 零知识证明 - 从puzzle解题深入ZK-STARK

...理解STARK的安全性的同时，查看了不少相关论文。 **4 - Cairo虚拟机以及语言** https://trapdoor-tech.github.io/zkstark-book/chapter_2.html 如果直接用AIR编写电路，容易出错。对于大规模电路也不现实。Cario虚拟机是一个方案，方便开发...

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

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

讲堂 Starknet 中文公开课

...i.com/video/BV1Yw411V7H5/) 第二节： 12/19 （周二） Starknet 与 Cairo 开发初探 [B 站视频](https://www.bilibili.com/video/BV1Yw411V7H5/) 第三节： 12/22 （周五） Cairo 合约的编写与部署 [B 站视频](https://www.bilibili.com/video/BV1Ac411y7vp/) 第四节： 12/26 ...

文章 Foresight Ventures: 解读 zk, zkVM, zkEVM 及其未来

...e)、ZK-Optimized (全新指令集, 针对零知识证明所优化, 比如 Cairo 和 zkSync). 以下是根据 Miden 在 ETH Amsterdam 的演讲所整理的类型对比图:  很多零知识证明开...

文章 每周以太坊进展2022/4/23

...978857984):动态数组，完整的 ABI 类型支持；3个漏洞披露 * Cairo 的 OpenZeppelin [合约 Wizard](https://wizard.openzeppelin.com/cairo): 支持 ERC20 和 ERC721 * [Amarna](https://blog.trailofbits.com/2022/04/20/amarna-static-analysis-for-cairo-programs/): Cairo 静态分析器和 ...

文章 探索 zk(E)vm

...想上和前面几个团队的大概一致。在一些细节上，借鉴了cairo里的概念，比如virual column，read-only memory，跟多的细节可以直接阅读原论文. ### Cairo-VM 因为不是对EVM的兼容，所以： 1. 输入是solidity的bytecode 输入是汇编程序或...

文章 每周以太坊进展2022/2/5

...共铸币价格会增加一次，每出一个区块就会衰减一次 * [Cairo 语言服务器](https://github.com/ericglau/cairo-ls#readme): 添加 Cairo 支持，实现语言服务器协议（如 VS Code）的 IDE ，早期预览 * [Cairo Math 64×61](https://github.com/influenceth/cairo-math-64...

文章 2023 年 6 大智能合约语言

...编码语言，Yul 目前缺乏工具和生态系统支持。 ### Cairo Cairo 是一种图灵完备的智能合约编程语言，旨在为一般的运算创建 STARK 可证明的程序。 Cairo 主要用于 StarkNet —— 一个建立在以太坊之上的第 2 层区块链，St...

文章 零知识开发者指南: 如何选择 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/)等。底层的证明系统和数学细节通常对应用开发者不可...

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

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

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

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

文章 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 编写的智能合约。 ### 证明者 证明者负责生成一个加密证明，以证明排序器在通过执行新区块中包含的交易...