找到约 15 条结果

讲堂 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 ...

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

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

文章 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/)等。底层的证明系统和数学细节通常对应用开发者不可...

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

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

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

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

文章 全球公链进展 每周更新 - 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....