...全研究员  Cairo 是一种编程语言，用于编写可证明的程序，其中一方可以向另一方证明某个计算已经正确执行。Cairo 和类似的证明系统可以用来为区块链提供可扩展性。 ZK-Rollup StarkN...
Cairo 是一种受 Rust 启发的语言，它可以编译成字节码，并在 Cairo 虚拟机上运行。Cairo 虚拟机是一种零知识虚拟机 (ZKVM)，Starknet 区块链使用它来执行智能合约。在本教程系列中，我们不假设你事先有 Rust 或零知识证明的经验。但...
...- [StarkNet playground](https://starknet.io/playground/)：编译和部署 Cairo 合约 - [Warp（Solidity 到 Cairo 的转译器）示例](https://medium.com/nethermind-eth/composability-the-final-piece-of-the-puzzle-8c7ca5dfd470)：转译两个可以组合的合约并部署它们 - [starknet-rea...
...3.2)：客户端包大小减半，iOS 链接可分页 * StarkWare 放出 [Cairo 工具包](https://medium.com/starkware/cairo-welcome-on-board-1cf3487554f)，可制作通用计算的证明：编译器、VM、跟踪器/调试器、IDE ## 安全性 * [Cover 协议遇黑](https://mudit.blog/cove...
...不透露任何敏感信息的情况下验证交易。 ## StarkNet 和 Cairo StarkNet 是以太坊上的一个 Layer-2 网络，使用 STARK（可扩展透明知识论证）证明来提供可扩展性和安全性。它允许开发者构建能够处理每秒大量交易的 dApp，同时受益...
...辟了新的可能性，但其缺点是它有一个不同的虚拟机 **(CairoVM)**，这要求开发者学习 Cairo 编程语言才能在 Starknet 上构建。 因此限制了 Starknet DApps 的影响力，并阻止它们接触到 EVM 生态系统。作为 L2，Starknet 的目标是扩展以太...
...共铸币价格会增加一次，每出一个区块就会衰减一次 * [Cairo 语言服务器](https://github.com/ericglau/cairo-ls#readme): 添加 Cairo 支持，实现语言服务器协议（如 VS Code）的 IDE ，早期预览 * [Cairo Math 64×61](https://github.com/influenceth/cairo-math-64...
...数调用即可返回多个 ENS 域名 * 教程：[使用 StarkWare 的 Cairo 语言打造一个 AMM](https://www.cairo-lang.org/build-a-scalable-cairo-basesd-automated-market-maker/) * 用 [OpenZeppelin](https://forum.openzeppelin.com/t/create-an-nft-and-deploy-to-a-public-testnet-using-remix/635...
...测试网，完成正式上线前准备 **✅ 多链支持模块** - Cairo 合约库（Starknet）使用指南 - Stylus（Arbitrum）/ Soroban（Stellar）/ Substrate 等链上合约支持说明 **✅ 附加内容** - Solidity 文档生成工具（Solidity Docgen） - 社区扩展合约与...
...ttps://github.com/z0r0z/Helios)：正在进行基于 ERC1155 的交换 * [Cairo-jupyter](https://github.com/ankitchiplunkar/cairo-jupyter)：Cairo的Jupyter内核 * 使用 CrytoPunk 检查器示例构建一个[MEV 检查器]()的指南 * [Notion](https://twitter.com/mark_mkzo/status/1472162594077...
...hain.cn/article/18803)的博文。它很酷 😉 ### 扩大规模！ 由 Cairo 的通用计算驱动的递归证明现已投入生产。这标志着 STARKs 的 L2 扩展能力得到了大幅提升。它将迅速成倍增加可以通过单个证明写入以太坊的交易数量。 到目前为止...
...数学电路 - **snarkjs** → 在 JavaScript 中生成和检查证明 - **Cairo** → 用于 STARKs - **Noir** → Aztec 提供的简单语言 ### 简单的年龄证明（Circom 代码） ``` template AgeCheck() { signal input age; // Private signal input minAge; // Public (e.g....
...f8dd401025)的博客文章。内容非常精彩 😉 ## 规模化！ 由 Cairo 的通用计算驱动的递归证明现已投入生产。这标志着 L2 通过 STARKs 进行扩展的能力得到了极大的提升。它将迅速成倍地增加可以通过单个证明写入以太坊的交易数量。...
...它可以建立声誉。 ## 🛠️ 技术栈（通用） - Solidity / Cairo 用于合约 - React + Wagmi / StarkNet.js 用于前端 - 测试网 + 水龙头 - Hardhat / Foundry / Protostar 用于开发工作流程 ## 🧭 我接下来的方向 在 Web3 中做自由职业是可行的 —— 但...
...呢？ 没问题。 开发人员将不会受到任何影响，因为高级 Cairo 将与 Stwo 完全兼容。 时机到来时，并且 Stwo 准备好推出时，Starknet 生态系统（即用户和开发人员）将受益于 Stwo 的下一级扩容，而无需做任何事情！ Stwo 将与编写合...