...数学电路 - **snarkjs** → 在 JavaScript 中生成和检查证明 - **Cairo** → 用于 STARKs - **Noir** → Aztec 提供的简单语言 ### 简单的年龄证明（Circom 代码） ``` template AgeCheck() { signal input age; // Private signal input minAge; // Public (e.g....
...易）对 _assumevalid_ 证明进行基准测试 - 迄今为止，当前 Cairo 程序验证过的最大区块是 [区块 383838](https://blockstream.info/block/00000000000000000e9b42248aa61593ccc4aa0a399b3cb6b50c650f45761c3a)，总计包含 933 笔交易。使用 [cairo-rs-py](https://github.com/la...
...它可以建立声誉。 ## 🛠️ 技术栈（通用） - Solidity / Cairo 用于合约 - React + Wagmi / StarkNet.js 用于前端 - 测试网 + 水龙头 - Hardhat / Foundry / Protostar 用于开发工作流程 ## 🧭 我接下来的方向 在 Web3 中做自由职业是可行的 —— 但...
> * 原文链接： 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...
...的是，以太坊虚拟机（EVM）的实现并没有这样做。 在做 Cairo Native 时，我们[学到了很多关于 MLIR/LLVM 的知识](https://blog.lambdaclass.com/cairo-and-mlir/)，因此我们启动了 EVM-MLIR 项目，目标是拥有一个比 **revm** 更快的替代方案。 我们希...
...完整的签名集合和价格中位数将被发送至 StarkEx。dYdX 的 Cairo 程序会检查以下内容： - 输入有效期：签名是有效的，且所有公钥都属于链上名单内有资格的喂价方 - 时间戳足够新 - 有效公钥签名的数量达到门槛要求 - 价格中...