StarkNet 日报 - 96
StarkWare 使用 Lean 修复 Cairo 程序 bug
⚡️ #StarkNetDev 🤖
@StarkWareLtd 修复以太坊兼容签名验证 Bug 🛠
👇👇
为提高安全性,开发团队会使用 Lean 来证明各种 Cairo 程序的正确性
研究过程中,找到并修复了一个与以太坊兼容的签名验证中的一个 bug 🐞
@PxlsWtf 第二期创作活动
STARK-Struck 播客第二期
👩🏽🚀 #StarkNetEco 👨🏽🚀
STARK-Struck 播客第二期
@henrlihenrli 主持,@sylvechv 和 @wraitii 两位 @briqNFT OG 作客 🎉
快来收听 🔊
youtube.com/watch?v=_Z9nIo…
Spotify
open.spotify.com/episode/3cNel3…
@zkLend ZEND&FRIENDS 系列 #AMA 倒数第二期
👩🏽🚀 #StarkNetEco 👨🏽🚀
✨ @zkLend ZEND&FRIENDS 系列 #AMA 倒数第二期「#StarkNet Educatooors」
🤓 首发嘉宾是@henrlihenrli,#STARK 的布道者,也是充满热情的教育者
设置提醒 👉 https://t.co/3aVlre9krc
Stark ID 领取链上身份和头像
starknet.js 的下载量达到 11.4 万
定点运算线性方程组解算器 FangCheng v0.1 发布
⚡️ #StarkNetDev 🤖
@CairoLang 定点运算线性方程组解算器 FangCheng v0.1 发布!
使用 Gauss-Jordan 等原生方法 ,为基本的矩阵操作提供了一套原语
h/t: @865bLI
代码库 🔽
github.com/beautyisourbus…
@zkxprotocol 基础系列:StarkWare 对 L2 发展贡献
👩🏽🚀 #StarkNetEco 👨🏽🚀
短暂休息后 @zkxprotocol 带着基础系列回来啦
今日主题:StarkWare 对 L2 发展贡献 🐺
StarkEx、StarkNet、Cairo、去中心化之路…
了解更多关于 L2 上这个增长最快的生态系统 ⚡
zkxprotocol.medium.com/state-of-stark…
@StarknetHouse 黑客松获奖名单公布
@OnlyDust_xyz 首次社区技术会议
🔆 #StarkEvent 📅
@OnlyDust_xyz 首次社区技术会议即将举行 ✨
🎙 与 @lordOfAFew 聊一聊模块化游戏
⏰ 国内时间 8 月 25 日下午 4 点
不要错过这次与 #StarkNet 技术大佬交流的机会 🔮
Discord 链接 👇
discord.gg/M4BPs78K?event…
@nostrafinance 的激励任务 NostraMissions
👩🏽🚀 #StarkNetEco 👨🏽🚀
@nostrafinance 的 500 万 $DAI 基金激励计划受到了许多关注 🌹
于是团队今天推出了任务 #NostraMissions 🏆
参与方式如下:
@Gammax_Exchange 社区会议