- 话题
37966 热度
35914 热度
28857 热度
28000 热度
76615 热度
- 置顶
- 📢 Gate广场专属 #WXTM创作大赛# 正式开启！
聚焦 CandyDrop 第59期 —— MinoTari (WXTM)，总奖池 70,000 枚 WXTM 等你赢！
🎯 关于 MinoTari (WXTM)
Tari 是一个以数字资产为核心的区块链协议，由 Rust 构建，致力于为创作者提供设计全新数字体验的平台。
通过 Tari，数字稀缺资产（如收藏品、游戏资产等）将成为创作者拓展商业价值的新方式。
🎨 活动时间：
2025年8月7日 17:00 - 8月12日 24:00（UTC+8）
📌 参与方式：
在 Gate广场发布与 WXTM 或相关活动（充值 / 交易 / CandyDrop）相关的原创内容
内容不少于 100 字，形式不限（观点分析、教程分享、图文创意等）
添加标签： #WXTM创作大赛# 和 #WXTM#
附本人活动截图（如充值记录、交易页面或 CandyDrop 报名图）
🏆 奖励设置（共计 70,000 枚 WXTM）：
一等奖（1名）：20,000 枚 WXTM
二等奖（3名）：10,000 枚 WXTM
三等奖（10名）：2,000 枚 WXTM
📋 评选标准：
内容质量（主题相关、逻辑清晰、有深度）
用户互动热度（点赞、评论）
附带参与截图者优先
📄 活动说明：
内容必须原创，禁止抄袭和小号刷量行为
获奖用户需完成 Gate广场实名 - 「没有对手？我有话说！」Gate广场挑战赛——秀操作赢$2,000，百万流量加持！
你是下一个明星交易员吗？
想让自己的名字闪耀广场热搜？想吸引数万追随者？百万流量已就位，就等你来承接！
🎉 双重豪礼，赢家通吃！
1️⃣ 晒单排行榜奖励
收益率排名前10的用户，瓜分 $1,500合约体验券！巅峰对决等你来战！
2️⃣ 晒单幸运奖
随机抽取10位用户，每人赠送 $50跟单包赔券！即使不是大神，也有机会躺赢！
🎮 参与方式超简单！
✅ 在 Gate广场 晒出你的交易战绩，并成为带单员！
✨ 发帖要求：
内容必须原创，并带上 #CopyTrading# 或 #跟单# 标签
附上 收益率截图 或 交易卡片，并分享你的 独家交易心得
严禁AI生成虚假交易，一经发现取消资格
观点犀利、逻辑清晰，干货越多越吸粉！
⏰ 活动截止：8月15日 10:00（UTC+8）
【立即发帖】 展现你的王者操作，承接百万流量，成为下一个交易传奇！
💬 还在等什么？Gate广场，等你来战！ 💪 - Gate 链上赚币：ETH 挖矿限时高收益！
✅ 年化收益近 5% + 额外奖励单人额度 1000 ETH
💎 最低 0.00000001 ETH 起投，无赎回期，随存随取！
立即上车，稳赚链上收益：https://www.gate.com/staking/ETH - 👀 家人们，最近你们都攒了多少 Alpha 积分啦？
空投领到了没？没抢到也别急，广场给你整点额外福利！
🎁 晒出你的 Alpha 收益，咱们就送你$200U代币盲盒奖励！
🥇 积分最高晒图用户 1 名 → $100 代币盲盒
✨ 积分榜前五优质分享者 5 名 → 各得 $20 代币盲盒
📍【怎么玩】
1️⃣ 带上话题 #晒出我的Alpha积分收益# 发广场贴
2️⃣ 晒 Alpha 积分截图 + 一句话总结：“我靠 Gate Alpha 赚了 ____，真的香！”
👉 还可以分享你的攒分技巧、兑换经验、积分玩法，越干货越容易中奖！
📆【活动时间】
8月4日 18:00 - 8月10日 24:00 （UTC+8）
耶鲁教授发布LiDO模型：Web3共识协议安全性验证新框架
Web3学者峰会上耶鲁教授首次公开LiDO模型
2025年Web3学者峰会近日召开，耶鲁大学计算机科学系教授邵中发表了题为《基于细化的共识协议安全性与活性证明：LiDO及其拓展》的主题演讲，首次揭示了他的团队开发的LiDO模型和LiDO-DAG扩展框架。这一创新成果旨在为复杂的拜占庭容错（BFT）共识协议提供可机械化验证的安全性和活性证明，为Web3生态系统的可靠性和可扩展性发展奠定技术基础。
邵中教授在演讲中指出，尽管现有的共识协议（如PBFT和Jolteon）被广泛应用，但由于实现复杂性，它们常常隐藏着潜在的漏洞。为解决这一问题，LiDO模型创新性地提出了三层细化验证框架：
目前，LiDO已成功应用于工业级协议Jolteon（两阶段BFT）和多个DAG协议，完成了超过10,000行Coq代码的机械化证明，其中安全性和活性验证的代码量分别达到了4,000行和1,700行。邵中教授在演讲中强调："当前，PoS共识协议普遍面临安全性、活性与去中心化三者难以兼得的困境。LiDO模型正是为打破这一困境而提出的系统性设计方案。"
邵中教授及其团队此前开发的CertiKOS是全球首个通过形式化验证的"无漏洞"操作系统，被誉为"网络物理系统安全的里程碑"。这一成就不仅奠定了他们在系统安全领域的深厚积累，也展示了他们在这一领域的专业能力。近年来，邵中教授深入研究区块链安全，于2017年与其学生顾荣辉教授共同将形式化验证技术引入智能合约和链上协议的安全保障领域，为数千亿美元级的加密资产提供安全保护。
LiDO目前已完成模型设计和形式化验证，并开始探索与主流公链及去中心化协议的集成可能性。邵中教授表示，他们致力于验证Web3.0中的关键机制，以提供全周期产品和服务，更好地支持Web3企业和生态的长期发展战略。在演讲结束时，邵中教授强调："可信、安全、可验证的网络协议栈，将是通向真正去中心化未来的关键路径。"