找到约 14 条结果

文章 基础合约的结构

本文展示了如何为 Starknet 构建一个可部署的 Cairo 合约。从一个简单的草图开始，我们将逐步添加特性，以构建一个可用的合约，演示 Cairo 合约的核心构建块。 该合约将有一个计数器变量，该变量可以增加任意数量，还有一个...

文章 标准账户接口

...改，但接口ID不会更改以保持兼容性。 #### 当前接口 ```cairo /// @title 表示对目标合约的调用 /// @param to 目标合约地址 /// @param selector 目标函数选择器 /// @param calldata 序列化的函数参数 struct Call { to: ContractAddress, selector: felt2...

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

...rs.ethereum.org/web3-py-goes-to-london/)：支持发送 EIP1559 交易 * [Cairo playground](https://www.cairo-lang.org/playground/) 已支持直接在 StarkNet 上部署合约 * Hardhat 的[每周下载量](https://twitter.com/gitpusha/status/1409572555611115525)首次超过 Truffle * [Hardhat ...

文章 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 中执行比特币脚本虚拟...

文章 2024年排名前6的智能合约语言

...立的编码语言，Yul 目前缺乏工具和生态系统支持。 ### Cairo [Cairo](https://www.cairo-lang.org/) 是一种图灵完备的智能合约编程语言，专为创建用于通用计算的 STARK 可证明程序而构建。 Cairo 主要在 StarkNet（构建在以太坊之上的[layer-2 ...

文章 Starknet (STRK) 是什么 - 全面概述

...的链下交易处理，使 Starknet 网络既高效又可靠。 2. **Cairo 编程语言**：Cairo 专为高性能计算而设计，可优化 **Starknet 区块链**上的操作，同时支持复杂的应用程序。 3. **原生账户抽象**：简化账户交互，通过创新解决方案增...

文章 Cairo 组件 第一部分

Cairo 中的组件行为类似于 Solidity 中的抽象合约。它们可以定义和使用存储、事件和函数，但不能单独部署。组件的预期用途是以类似于 Solidity 中抽象合约的方式分离逻辑（**例如**，可重用性）。 考虑以下 Solidity 代码： ```soli...

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

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

文章 探索 zk(E)vm

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

文章 每周以太坊进展 2021/02/28

...约对比器](https://etherscan.io/contractdiffchecker) * [Starkware 在 Cairo 教程中的投票 app 可以改造成签名聚合器](https://www.cairo-lang.org/from-voting-to-trustless-eth-bridges-via-signature-aggregation/) ## 安全事件 * Cryptopunks [因缺乏前端保护而遭遇抢跑...

文章 每周以太坊进展 2021/02/01

...640880) 之路：StarkWare 将在 2021 年末推出的 zk-rollup，使用 [Cairo](https://www.cairo-lang.org/playground/) 编写应用 ## 开发者材料 - Solidity [v0.8.1](https://blog.soliditylang.org/2021/01/27/solidity-0.8.1-release-announcement/)：SMTChecker 支持外部调用 - [Solid...

文章 各智能合约编程语言的权衡

...的设计哲学，他们并非一样，这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。  > 图片来源：[Fatos Bytyqi](https://unsplash.com/@fatosi?utm_source=medium&utm_medium=re...

文章 Starknet Cairo 中的可组合性和组件

...://medium.com/@estheraladioche569/composability-and-components-in-starknet-cairo-cedcccb4acc3 >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584)，校对：[翻译小组](https://learnblockchain.cn/people/412) >- 本文永久链接：[learnblockchain.cn/article…](https://learnblo...

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

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