🔥 Gate Fun 中国表情包大赛火热进行中!发布你的表情包分享 3,000 GT!
现在在Gate Square发布您的Meme,赢取额外的$600 分享奖励!
无论你是一个梗图大师,还是一个加密货币搞笑者,都是时候让你的梗图走红了!🚀
🏆 奖励:
1️⃣ 交易冠军 *1: $200 期货代金券 + Gate X RedBull 背包 + 荣誉海报 (最高市值)
2️⃣ 人气冠军*1: $200 期货凭证 + Gate X RedBull 背包 + 荣誉海报 (最方形互动)
3️⃣ 幸运参与者*10: $20 期货券 (优质帖子)
对于海外获奖者:Gate X RedBull 背包 = $50 期货代金券
📍 如何加入:
1️⃣ 前往 Gate Fun 并推出您的中国主题 Meme 代币
2️⃣ 在Gate Square上发布内容,带上标签#MyMemeOnGateFun ——介绍您的Token并包含购买链接
3️⃣ 邀请朋友点赞、评论和购买 — 让你的Meme冲到顶部,赢得丰厚奖励!
📅 活动时间:10月9日 9:00 – 10月15日 16:00 UTC
📎 在此处启动:https://web3.gate.com/gatefun?tab=explore
活动详情:https://www.gate.com/announcements/article/47516
Shentu链联手CertiK推出全球首个数学DeSci平台OpenMath
【链文】10月13日消息,Shentu 链今日宣布正式推出全球首个聚焦数学领域的 DeSci平台 OpenMath。该平台由 Shentu 链与全球最大的 Web3 安全公司、形式化验证领域的领军者 CertiK 战略合作开发。
OpenMath 致力于构建以"可验证的数学真理"为核心的 DeSci 生态,研究者与验证者可协作提出并解决数学问题,并通过基于 Rocq 的形式化验证技术进行逻辑验证,以数学级精度确保推理严谨与准确。成功完成验证的参与者将获得代币奖励,实现研究过程的公开透明与激励机制的有效结合。
据悉,OpenMath 部署于 Shentu 链,该链前身为 CertiK 链,由耶鲁大学邵中教授与顾荣辉教授个人孵化。2021 年 8 月,Shentu 正式脱离 CertiK,作为独立实体自主运营。此次OpenMath上线,是双方基于全新合作伙伴关系,对区块链与形式化验证在数学场景中应用的共同探索。