StarkNet 日报 - 68

StarkNet 7 月 23 日最新动态 ✨

Ale (Asynchronous Lint Engine) 通过插件支持 Cairo 语言

StarkNet | 中文 @StarkNet_ZH

⚡️ #StarkNetDev 🤖 Ale (Asynchronous Lint Engine) 在 Vim 中实现 linting（语法检查和语义错误），通过插件支持 Cairo 语言 h/t:@0xHyoga github.com/dense-analysis…

github.comale/starknet.vim at master · dense-analysis/aleCheck syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support - ale/starknet.vim at master · dense-analysis/ale

MatchBox 黑客松作品：链上模拟即时战略游戏 @FrensLands

StarkNet | 中文 @StarkNet_ZH

👩🏽‍🚀 #StarkNetEco 👨🏽‍🚀 MatchBox 黑客松作品：链上模拟即时战略游戏 @FrensLands @FrensLands 游戏中，玩家将发展土地、收集资源、建造娱乐设施，以此吸引其他玩家加入社区

@0xevolve 在 @StarknetCC 关于 Cairo 安全性的演讲幻灯片

StarkNet | 中文 @StarkNet_ZH

⚡️ #StarkNetDev 🤖 @0xevolve 在 @StarknetCC 关于 Cairo 安全性的演讲幻灯片 👇 h/t: @0xevolve pitch.com/public/db23802…

pitch.comAstraly Security WorkshopEasily build and share beautiful presentations with Pitch.

StarkNet 生态最大的社区会议 StarkNetCC @StarknetCC 圆满结束

StarkNet | 中文 @StarkNet_ZH

🔆 #StarkEvent 📅 🔥🔥 StarkNet 生态最大的社区会议 StarkNetCC @StarknetCC 圆满结束 以下总结 StarkNetCC 会议期间的回放、议程与精彩瞬间

如何在 Cairo 中使用循环函数？

StarkNet | 中文 @StarkNet_ZH

⚡️ #StarkNetDev 🤖 🤗 如何在 Cairo 中使用循环函数？ h/t: @ClementWalter

Clément Walter @ClementWalter

🧮Learning #cairo, how to write a for loop ? 😅Wait, wtf, there's *no* for loop? 🤔Actually yes and no, a 🧵 on how to do it ⤵️

「ZK、有效性证明、Validium 技术对 DeFi、Web3、预言机的影响」系列文章 #01 — 《StarkNet、Validium 和无限数据目录》

StarkNet | 中文 @StarkNet_ZH

👩🏽‍🚀 #StarkNetEco 👨🏽‍🚀 @StorkOracle 发表「ZK、有效性证明、Validium 技术对 DeFi、Web3、预言机的影响」系列文章 #01 — 《StarkNet、Validium 和无限数据目录》 medium.com/@stork-oracle/…

medium.comStarkNet, Validium, and The Infinite Data CatalogThis post is part of a series covering the impact of ZK, validity proofs, and Validium on DeFi, Web3, and oracle technology. Here, we focus…

符号执行工具 Medjai：验证修复 #CairoLang Bug

StarkNet | 中文 @StarkNet_ZH

⚡️ #StarkNetDev 🤖 符号执行工具 Medjai：验证修复 #CairoLang Bug 学习如何找 Cairo 程序中的 bug Medjai 由形式验证安全审计公司 @VeridiseInc 开发 详细介绍 👇 medium.com/veridise/medja… Github 👇 github.com/Veridise/Medjai

github.comGitHub - Veridise/Medjai: A Symbolic Execution Tool for CairoA Symbolic Execution Tool for Cairo. Contribute to Veridise/Medjai development by creating an account on GitHub.

StarkNet 链上游戏 @influenceth 发布游戏全流程生产链

StarkNet | 中文 @StarkNet_ZH

👩🏽‍🚀 #StarkNetEco 👨🏽‍🚀 StarkNet 链上游戏 @influenceth 发布游戏全流程生产链 使用时请注意，由于生产链内容较多，有超过 9000 个物品，浏览时可能会出现浏览器卡死的情况 h/t: @elerium115 materials.adalia.id/production.html

materials.adalia.idInfluence Production ChainsView the production chains for each material and finished good.