...易）对 _assumevalid_ 证明进行基准测试 - 迄今为止，当前 Cairo 程序验证过的最大区块是 [区块 383838](https://blockstream.info/block/00000000000000000e9b42248aa61593ccc4aa0a399b3cb6b50c650f45761c3a)，总计包含 933 笔交易。使用 [cairo-rs-py](https://github.com/la...
> * 原文链接： https://www.argent.xyz/blog/getting-started-with-cairo-1.0/ > * 译文出自：[登链翻译计划](https://github.com/lbc-team/Pioneer) > * 译者：[翻译小组](https://learnblockchain.cn/people/412) 校对：[Tiny 熊](https://learnblockchain.cn/people/15) > * 本文永...
... 在以太坊上，Solidity 最常见。 在 StarkNet 上，可以使用 **Cairo** 构建 DAO，利用 zk-rollup 实现可扩展性和隐私性。 ## 2. 治理代币 成员收到代表投票权的 ERC-20 代币（如 $UNI 或 $COMP）。 这些代币可以赚取、购买或分发。 ## 3. 提案...
...成金融衍生品合约而设计的语言 * StarkWare 的在线 IDE：[Cairo Playground](https://www.cairo-lang.org/playground/)。还包含多个教程 ## 安全 * DefiSaver [被 Dedaub 的自动化静态分析发现了漏洞](https://medium.com/dedaub/ethereum-pawn-stars-5-7m-in-hard-asset...
# **深入解读 Starknet 合约开发与部署：从 Cairo 编程到智能合约声明与部署** 随着区块链技术的发展，Starknet 作为以太坊的 Layer 2 解决方案，正吸引越来越多的开发者。它通过零知识证明（ZKP）大幅提高了交易效率和安全性。在...
...C-20、ERC-721、ERC-1155、稳定币、RWA、Governor、Account - **Cairo Contracts:** ERC-20、ERC-721、ERC-1155、Multisig、Governor、Vesting - **Stylus Contracts:** ERC-20、ERC-721、ERC-1155 - **Stellar Contracts:** 同质化 Token、非同质化 Token、稳定币 随...
... | calldata 编码最优解 | | Starknet | ❌ | Cairo VM + ZK | VM 不兼容 EVM，opcode 差异大 | 工具链重构 | | Solana | ❌ | Compute Units (CU) | 并行执行，账户声明资源 | 预算控制，账户划...
... Starknet 开发， 这篇是我的学习笔记。 ## 开发语言 Cairo vs Solidity Solidity 是一个为 EVM 设计的语言，语法类似 Python 与 JavaScript ，以太坊执行客户端为了验证一致性，所有的调用合约的交易会在各个节点上重新执行，以...
...*初步接触** 首先，请查看我们的 [教程和文档](https://www.cairo-lang.org/docs/hello_starknet/)。 然后，你可以阅读我们在 StarkNet 上编写并部署的 [示例 AMM 智能合约](http://cairo-lang.org/docs/hello_starknet/amm.html)。这是一个简单的 AMM，你可以...
....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。dYdX 的 Cairo 程序会检查以下内容： - 输入有效期：签名是有效的，且所有公钥都属于链上名单内有资格的喂价方 - 时间戳足够新 - 有效公钥签名的数量达到门槛要求 - 价格中...
....cn/attachments/2023/11/9wmGnibm6548f668e327b.jpg) ## **概要** Cairo 编译器的第 2 版对 Starknet 语法进行了更改，使代码更加明确和安全。智能合约公共接口是使用**特征**定义的，并且对存储的访问是通过 **ContractState** 特征完成的。私...
...audits/rust-audit): 针对基于 Rust 的链和协议的安全审查。 - [Cairo 智能合约审计](https://zealynx.io/services/smart-contract-audits/cairo-audit): 针对 Starknet 和基于 Cairo 的项目的深度审计。 - [Sway 智能合约审计](https://zealynx.io/services/smart-contract-audi...
...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 上能執行的程式...