找到约 15 条结果

文章 Starknet 改进语法全解读

....cn/attachments/2023/11/9wmGnibm6548f668e327b.jpg) ## **概要** Cairo 编译器的第 2 版对 Starknet 语法进行了更改，使代码更加明确和安全。智能合约公共接口是使用**特征**定义的，并且对存储的访问是通过 **ContractState** 特征完成的。私...

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

文章 Kakarot 介紹：重點部件

...024)） - What is L2 and what is ZK-Rollups - What is StarkNet and what is Cairo VM ### TL;DR Kakarot 是一個 type 2.5 zkEVM，架設在 Cairo VM 上（沒錯，就是 VM 架在 VM 上）。Kakarot 以 Cairo 語言重新實作了 EVM 中的 opcodes 和 precompiles，讓 EVM 上能執行的程式...

文章 基础合约的结构

本文展示了如何为 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 输入是汇编程序或...

文章 我们如何利用零知识证明、Starknet和以太坊塑造模块化区块链的未来

...的技术将使我们能够实现这一目标。具体来说，STARKs 和 Cairo 不仅是计算机科学领域的一项重大突破，而且已经在 StarkEx 中经过了实战检验，最近也开始在 Starknet 中进行测试。 与大多数其他解决方案不同，StarkEx 已经投入生产...

文章 lambdaworks 2026 年更新路线图和优先级

...，并且大大简化了可证明应用程序的编写。我们看到了 [Cairo-vm](https://eprint.iacr.org/2021/1063) （第一个使用 STARK 的可证明虚拟机）和 Risc0 虚拟机（使用 RISC-V 指令集架构 (ISA)）的潜力，可以简化开发人员在构建可验证应用程序时必...

文章 每周以太坊进展 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 [因缺乏前端保护而遭遇抢跑...