- 话题
18k 热度
14k 热度
10k 热度
3k 热度
2k 热度
- 置顶
- 🎉 亲爱的广场小伙伴们，福利不停，精彩不断！目前广场上这些热门发帖赢奖活动火热进行中，发帖越多，奖励越多，快来 GET 你的专属好礼吧！🚀
1️⃣ #TokenOfLove# ｜广场音乐节打 CALL
为偶像打 CALL，Gate 广场送你直达 Token of Love！泫雅、SUECO、DJ KAKA、CLICK#15 —— 你最想 pick 谁？现在在广场带上 歌手名字 + TokenOfLove 标签发帖应援，就有机会赢取 20 张音乐节门票。
详情 👉 https://www.gate.com/post/status/13214134
2️⃣ #GateTravel旅行分享官# ｜晒旅程赢好礼
广场家人们注意啦，Gate Travel 已经上线。带话题发帖，分享你的 Gate Travel 旅行体验、心愿清单、使用攻略或趣味见闻，就有机会获得旅行露营套装、速干套装、国际米兰旅行小夜灯等好礼！
详情 👉 https://www.gate.com/post/status/13172887
3️⃣ #内容挖矿# ｜发帖还能赚钱
广场长期活动进行中，最高可享 10% 手续费返佣！发布优质内容，如行情解析、交易观点等，吸引更多用户点赞和评论。若用户在互动后 180 分钟内完成现货或合约交易，你将获得最高 10% 的手续费返佣！
详情 👉 https://www.gate. - 📢 Gate广场 #每周精品内容# 开启公布啦：发现优质内容，探索投资见解！
每周五精选5篇优质帖文发布于广场官号，获得“精选标识”及 $50 合约体验券，助您提升社区曝光度！
🔥 本周社区精选内容来啦！ 一起围观大神们的独家见解👇
1.吉川富郎君 | 行情走势深度解析 👉️ https://www.gate.com/post/status/13148533
2.flyawei | 最新消息面解读 👉️ https://www.gate.com/post/status/13211788
3.Crypto eNjoy | ONDO币种全方位分析 👉️ https://www.gate.com/post/status/13086040
4.AngelCrypto | 比特币短线走势研判 👉️ https://www.gate.com/post/status/13205746
5.马克如Mc | 中国稳定币发展趋势深度探讨 👉️https://www.gate.com/post/status/13218350
📜 如何发布符合广场推荐的精品内容帖？
1. 帖文聚焦加密见解，如行业新闻、行情分析、币种推荐、行业趣事等。
2. 结构清晰，内容详实，分析精准，语言有趣易懂，图文并茂。
3. 字数超过30字且内容原创，可附带相关话题、币种标签、交易卡片。
创作者们，请积极发 - 🎤 为偶像应援 · Gate送你直达 Token of Love！ 🎶
家人们，现在在Gate广场为 打 Token of Love CALL，20 张音乐节门票等你来瓜分！🔥
泫雅 / SUECO / DJ KAKA / CLICK#15 —— 你最期待谁？快来一起应援吧！
📌 参与方式（任选，参与越多中奖几率越高！）
1️⃣ 本帖互动
点赞 & 转发本帖 + 投票你最爱的艺人
评论区打出 “我在 Gate 广场为 Token of Love 打 Call ！”
2️⃣ 广场发帖为 TA 打 Call
带上 #歌手名字# + #TokenOfLove#
发帖内容任选：
🎵 最想现场听到的歌 + 心情宣言
📣 应援口号（例：泫雅女王冲鸭！Gate广场全员打 Call！）
😎 自制表情包/海报/短视频（加分项，更容易中奖！）
3️⃣ 推特 / 小红书发帖打 Call
同样带上 #歌手名字# + #TokenOfLove#
内容同上，记得回链到表单 👉️ https://www.gate.com/questionnaire/7008
🎟️ 奖励安排
广场优质发帖用户：8张门票
广场幸运互动用户：2张门票
Twitter 优质发帖用户：5张门票
小红书优质发帖用户：5张门票
📌 优质帖文将根据文章丰富度、热度、创意度综合评分，禁止小号水贴，原创发帖更易获奖！
🕒 8
Web3突破：LiDO模型助力共识协议安全性与活性验证
Web3学者峰会聚焦共识协议安全性与活性证明
在近日举办的2025年Web3学者峰会上，一位知名计算机科学教授发表了题为《基于细化的共识协议安全性与活性证明：LiDO及其拓展》的主题演讲，首次公开了其团队研发的LiDO模型及LiDO-DAG扩展框架。这一突破性成果旨在为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，为Web3生态的可靠性与规模化发展奠定技术基石。
演讲者指出，现有共识协议（如PBFT、Jolteon）虽广泛应用，但因实现复杂常隐藏潜在漏洞。为解决这一问题，LiDO模型创新性地提出三层细化验证框架：
目前，LiDO已成功应用于工业级协议Jolteon（两阶段BFT）及多个DAG协议，完成超万行Coq代码的机械化证明，安全性与活性验证代码量分别达4000行和1700行。该教授在演讲中指出："当前，PoS共识协议普遍面临安全性、活性与去中心化三者难以兼得的困境。LiDO模型正是为打破这一困境而提出的系统性设计方案。"
该教授曾带领团队研发全球首个通过形式化验证的"无漏洞"操作系统CertiKOS，被誉为"网络物理系统安全的里程碑"。这一成就不仅奠定了其在系统安全领域的深厚积累，也为后续在区块链安全方面的研究奠定了基础。
LiDO当前已完成模型设计与形式化验证，并开始探索与主流公链及去中心化协议的集成可能性。该教授表示，他们致力于验证Web3.0中的关键机制，以提供全周期产品和服务，更好地支持Web3企业和生态的长期发展战略。演讲最后，他强调："可信、安全、可验证的网络协议栈，将是通向真正去中心化未来的关键路径。"