找到约 14 条结果

文章 StarkNet 行星 Alpha 在测试网上运行

...*初步接触** 首先，请查看我们的 [教程和文档](https://www.cairo-lang.org/docs/hello_starknet/)。 然后，你可以阅读我们在 StarkNet 上编写并部署的 [示例 AMM 智能合约](http://cairo-lang.org/docs/hello_starknet/amm.html)。这是一个简单的 AMM，你可以...

文章 给 Solidity 开发者的 Starknet 开发指南

... Starknet 开发， 这篇是我的学习笔记。 ## 开发语言 Cairo vs Solidity Solidity 是一个为 EVM 设计的语言，语法类似 Python 与 JavaScript ，以太坊执行客户端为了验证一致性，所有的调用合约的交易会在各个节点上重新执行，以...

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

....2 测试网，之后拟安排主网上线时间，v0.11.2 将正式激活 Cairo 1，并且会为 Cairo 1 在主网上的功能做好准备。 **来源：** https\://github.com/bitcoin/bitcoin/blob/master/doc/release-notes/release-notes-25.0.md https\://twitter.com/go_ethereum/status/1661...

文章 StarkEx 上的价格输入机制

...完整的签名集合和价格中位数将被发送至 StarkEx。dYdX 的 Cairo 程序会检查以下内容： - 输入有效期：签名是有效的，且所有公钥都属于链上名单内有资格的喂价方 - 时间戳足够新 - 有效公钥签名的数量达到门槛要求 - 价格中...

文章 Starknet 改进语法全解读

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

文章 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 上能執行的程式...

文章 每周以太坊进展 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 中执行比特币脚本虚拟...

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

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

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

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

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