- 话题1/3
9k 热度
58k 热度
12k 热度
3k 热度
774 热度
- 置顶
- 📢 Gate广场 #NERO发帖挑战# 秀观点赢大奖活动火热开启！
Gate NERO生态周来袭！发帖秀出NERO项目洞察和活动实用攻略，瓜分30,000NERO！
💰️ 15位优质发帖用户 * 2,000枚NERO每人
如何参与：
1️⃣ 调研NERO项目
对NERO的基本面、社区治理、发展目标、代币经济模型等方面进行研究，分享你对项目的深度研究。
2️⃣ 参与并分享真实体验
参与NERO生态周相关活动，并晒出你的参与截图、收益图或实用教程。可以是收益展示、简明易懂的新手攻略、小窍门，也可以是行情点位分析，内容详实优先。
3️⃣ 鼓励带新互动
如果你的帖子吸引到他人参与活动，或者有好友评论“已参与/已交易”，将大幅提升你的获奖概率！
NERO热门活动（帖文需附以下活动链接）：
NERO Chain (NERO) 生态周：Gate 已上线 NERO 现货交易，为回馈平台用户，HODLer Airdrop、Launchpool、CandyDrop、余币宝已上线 NERO，邀您体验。参与攻略见公告：https://www.gate.com/announcements/article/46284
高质量帖子Tips：
教程越详细、图片越直观、互动量越高，获奖几率越大！
市场见解独到、真实参与经历、有带新互动者，评选将优先考虑。
帖子需原创，字数不少于250字，且需获得至少3条有效互动
- 🎉 亲爱的广场小伙伴们，福利不停，精彩不断！目前广场上这些热门发帖赢奖活动火热进行中，发帖越多，奖励越多，快来GET你的专属好礼吧！🚀
1️⃣ #GateLaunchpad上线IKA# ｜IKA认购体验
在Gate广场带话题晒出你的IKA Launchpad认购体验，4位幸运分享者讲瓜分$200分享奖池!
详情 👉️ https://www.gate.com/post/status/12566958
2️⃣ #ETH冲击4800# ｜行情分析预测
大胆发帖预测ETH走势，展示你的市场洞察力！10位幸运用户将平分0.1 ETH 奖励！
详情 👉️ https://www.gate.com/post/status/12322403
3️⃣ #创作者活动第二期# ｜ZKWASM话题
在广场或推特发布与 ZKWASM 或其交易活动相关的原创内容，瓜分4,000枚ZKWASM！
详情 👉️ https://www.gate.com/post/status/12525794
4️⃣ #Gate广场征文活动第二期# ｜ERA话题
谈谈你对ERA的观点/体验，参与并推广活动，700 ERA大奖等你赢！
详情 👉️ https://www.gate.com/post/status/12361653
5️⃣ #MBG任务挑战# ｜MBG话题
分享你对MBG的洞察，积极参与和推广MBG活动，20位小 - 亲爱的广场用户们， #Gate 2025年中社区盛典# 投票中！🔥
🙌 广场内容达人TOP40榜单新鲜出炉！速速围观榜单，为你喜爱的达人疯狂打call吧：
www.gate.com/activities/community-vote
每天完成【广场】互动任务可获得助力值，每投出30助力值即可参与抽奖一次！
iPhone 16 Pro Max 512G、金牛雕塑、潮流运动套装、合约体验券、热门币种等你抽！
助力越多，中奖机率越大，下一个抱走iPhone 16的锦鲤就是你！🧧
别犹豫，带上你的“欧气”，为达人冲榜赢大奖！
https://www.gate.com/announcements/article/45974
- 🎉 Gate 广场 IKA Launchpad 发帖活动来袭！🎉
Gate Launchpad 认购 IKA 最后24小时！晒出你的认购体验，和大家一起分享，每个人都有机会瓜分 $200 奖池！
🎁 4位幸运分享者*$50合约体验券每人!
🧐 如何参与：
1.在广场发帖，带上 #GateLaunchpad上线IKA# 标签
2.晒出你的认购截图 或 分享你的独特认购小窍门/心得或趣事
3.保证帖子大于50字，内容有趣有料，原创，集齐至少3个互动（点赞/评论/转发）
IKA认购链接：https://www.gate.com/launchpad/2336?downgarde=true
活动时间：7月28日 12:00 - 7月30日 24:00 (UTC+8)
赶快加入，分享你的精彩时刻，你就是下一个幸运儿！
- 📢 Gate广场 #创作者活动第二期# 正式开启！
聚焦 ZKWASM 系列活动，分享你的观点，瓜分 4,000 枚 $ZKWASM！
ZKWASM 作为 zk 公链先锋，正在 Gate 平台重磅推广！
三大活动联动上线：Launchpool 认购、CandyDrop 空投、Alpha 专属交易——不要错过！
🎨 活动一：发布广场贴文，赢内容奖励
📅 时间：7月25日 22:00 - 7月29日 22:00（UTC+8）
📌 参与方式：
- 在 Gate 广场发布与 ZKWASM 或其三大活动相关的原创内容（不少于 100 字）
- 添加标签： #创作者活动第二期# #ZKWASM#
- 附本人参与 Launchpool/CandyDrop/Alpha 的截图（如认购、空投或交易）
🏆 奖励设置：
- 一等奖（1名）：1000 枚 $ZKWASM
- 二等奖（2名）：500 枚 $ZKWASM
- 三等奖（10名）：100 枚 $ZKWASM
📋 评选标准：内容质量、互动量、项目相关性，附活动参与截图者优先。
📢 活动二：发推赢传播力奖励
📌 参与方式：
- 在 X（推特）发布与 ZKWASM 或三大活动相关的原创内容（不少于 100 字）
- 添加标签： #ZKWASM # GateSquare
- 填写登记表 👉 https://www.gate.com/quest
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企业和生态的长期发展战略。演讲最后，他强调："可信、安全、可验证的网络协议栈，将是通向真正去中心化未来的关键路径。"