🎒 Gate廣場「藍白出行季」週邊徵集令來啦!
📸 活動主題:#GateAnywhere 🌍
讓我們一起,讓「藍白」出現在更多地方。
—— 打開大門,Gate Anywhere
帶上你的 Gate 週邊,記錄藍白出現的每個角落!
旅行、通勤、辦公桌、咖啡館、街頭地標……
無論在哪裏,只要有 Gate,都能成爲風景 💙
💡 創作靈感:不限形式、不限風格!
Gate 週邊展示
藍白配色穿搭
Gate logo 創意拍攝
活動、聚會、旅行現場
越有故事感、越有巧思,就越容易被看見 ✨
✅ 參與步驟:
1️⃣ 在 Gate廣場 發布帶有 Gate 元素的照片或視頻(Logo、週邊、藍白配色等均可)
2️⃣ 添加話題 #GateAnywhere 並寫下你的創作靈感或旅行故事
3️⃣ 將帖子分享到 Twitter(X),並提交推文連結:
👉 https://www.gate.com/questionnaire/7131
📢 推文瀏覽量 Top 10 將獲得額外獎勵!
🎁 獎勵設置:
🏆 最佳創意獎:Gate X RedBull 積木賽車禮盒 *1
🥇 優秀創意獎(3名):Gate 茶具套裝
🎊 參與獎(10名):Gate X RedBull 雙肩包
📣 分享獎(5名):Gate X RedBull 隨行杯
🌍 因物流原因無法領取週邊的用戶可兌換等值合約體驗券:
積木賽
Shentu鏈聯手CertiK推出全球首個數學DeSci平台OpenMath
【鏈文】10月13日消息,Shentu 鏈今日宣布正式推出全球首個聚焦數學領域的 DeSci平台 OpenMath。該平台由 Shentu 鏈與全球最大的 Web3 安全公司、形式化驗證領域的領軍者 CertiK 戰略合作開發。
OpenMath 致力於構建以"可驗證的數學真理"爲核心的 DeSci 生態,研究者與驗證者可協作提出並解決數學問題,並通過基於 Rocq 的形式化驗證技術進行邏輯驗證,以數學級精度確保推理嚴謹與準確。成功完成驗證的參與者將獲得代幣獎勵,實現研究過程的公開透明與激勵機制的有效結合。
據悉,OpenMath 部署於 Shentu 鏈,該鏈前身爲 CertiK 鏈,由耶魯大學邵中教授與顧榮輝教授個人孵化。2021 年 8 月,Shentu 正式脫離 CertiK,作爲獨立實體自主運營。此次OpenMath上線,是雙方基於全新合作夥伴關係,對區塊鏈與形式化驗證在數學場景中應用的共同探索。