- 话题1/3
38k 热度
20k 热度
3k 热度
25k 热度
17k 热度
- 置顶
- 🎉 Gate广场“星火计划”入驻KOL突破1000人！
💥 创作者生态迎来全面爆发期！
📈 上首页、拿奖励、赢影响力，你还在等什么？
💰 现金激励 ✔️
🚀 流量扶持 ✔️
👑 专属认证 ✔️
从0到1000，我们只用了短短数周，Gate广场正在成为Web3内容风暴眼⚡
你发布的不只是内容，而是下一个“爆款机会”！
🌟 加入星火计划，开启你的爆发之路！
👉 https://www.gate.com/announcements/article/45695
#GateSquare # #星火计划# #内容创作者新纪元 # #KOL集结令#
- 📢 #Gate广场征文活动第三期# 正式启动！
🎮 本期聚焦：Yooldo Games (ESPORTS)
✍️ 分享独特见解 + 参与互动推广，若同步参与 Gate 第 286 期 Launchpool、CandyDrop 或 Alpha 活动，即可获得任意奖励资格！
💡 内容创作 + 空投参与 = 双重加分，大奖候选人就是你！
💰总奖池：4,464 枚 $ESPORTS
🏆 一等奖（1名）：964 枚
🥈 二等奖（5名）：每人 400 枚
🥉 三等奖（10名）：每人 150 枚
🚀 参与方式：
在 Gate广场发布不少于 300 字的原创文章
添加标签： #Gate广场征文活动第三期#
每篇文章需 ≥3 个互动（点赞 / 评论 / 转发）
发布参与 Launchpool / CandyDrop / Alpha 任一活动的截图，作为获奖资格凭证
同步转发至 X（推特）可增加获奖概率，标签：#GateSquare 👉 https://www.gate.com/questionnaire/6907
🎯 双倍奖励机会：参与第 286 期 Launchpool！
质押 BTC 或 ESPORTS，瓜分 803,571 枚 $ESPORTS，每小时发放
时间：7 月 21 日 20:00 – 7 月 25 日 20:00（UTC+8）
🧠 写作方向建议：
Yooldo
- 🎉Gate 2025 上半年社区盛典：内容达人评选投票火热进行中 🎉
🏆 谁将成为前十位 #Gate广场# 内容达人？
投票现已开启，选出你的心头好
🎁赢取 iPhone 16 Pro Max、限量周边等好礼！
📅投票截止：8 月 15 日 10:00（UTC+8）
立即投票: https://www.gate.com/activities/community-vote
活动详情: https://www.gate.com/announcements/article/45974
- 📢 #Gate广场征文活动第二期# 正式启动！
分享你对 $ERA 项目的独特观点，推广ERA上线活动， 700 $ERA 等你来赢！
💰 奖励：
一等奖（1名）： 100枚 $ERA
二等奖（5名）： 每人 60 枚 $ERA
三等奖（10名）： 每人 30 枚 $ERA
👉 参与方式：
1.在 Gate广场发布你对 ERA 项目的独到见解贴文
2.在贴文中添加标签： #Gate广场征文活动第二期# ，贴文字数不低于300字
3.将你的文章或观点同步到X，加上标签：Gate Square 和 ERA
4.征文内容涵盖但不限于以下创作方向：
ERA 项目亮点：作为区块链基础设施公司，ERA 拥有哪些核心优势？
ERA 代币经济模型：如何保障代币的长期价值及生态可持续发展？
参与并推广 Gate x Caldera (ERA) 生态周活动。点击查看活动详情：https://www.gate.com/announcements/article/46169。
欢迎围绕上述主题，或从其他独特视角提出您的见解与建议。
⚠️ 活动要求：
原创内容，至少 300 字， 重复或抄袭内容将被淘汰。
不得使用 #Gate广场征文活动第二期# 和 #ERA# 以外的任何标签。
每篇文章必须获得 至少3个互动，否则无法获得奖励
鼓励图文并茂、深度分析，观点独到。
⏰ 活动时间：2025年7月20日 17
- 📢 ETH冲击4800？我有话说！快来“Gate广场”秀操作，0.1 ETH大奖等你拿！
牛市预言家，可能下一个就是你！想让你的观点成为广场热搜、赢下ETH大奖？现在就是机会！
💰️ 广场5位优质发帖用户+X浏览量前5发帖用户，瓜分0.1 ETH！
🎮 活动怎么玩，0门槛瓜分ETH！
1.话题不服来辩！
带 #ETH冲击4800# 和 #ETH# 在 广场 或 K线ETH下 围绕一下主题展开讨论：
-ETH是否有望突破4800？
-你看好ETH的原因是什么？
-你的ETH持仓策略是？
-ETH能否引领下一轮牛市？
2. X平台同步嗨
在X平台发帖讨论，记得带 #GateSquare# 和 #ETH冲击4800# 标签！
把你X返链接提交以下表单以瓜分大奖：https://www.gate.com/questionnaire/6896
✨发帖要求：
-内容须原创，字数不少于100字，且带活动指定标签
-配图、行情截图、分析看法加分，图文并茂更易精选
-禁止AI写手和灌水刷屏，一旦发现取消奖励资格
-观点鲜明、逻辑清晰，越有料越好！
关注ETH风向，创造观点价值，从广场发帖开始！下一个牛市“预言家”，可能就是你！🦾🏆
⏰ 活动时间：2025年7月18日 16:00 - 2025年7月28日 23:59（UTC+8）
【立即发帖】 展现你的真知灼见，赢取属于你的ETH大奖！
Sonic Labs加强区块链安全，推出新的形式化验证库 | Bitcoinist.com
有向无环图(作为其共识机制，而正是在这一领域，Labs团队可以理解地选择了集中他们的努力。尽管他们开发的后续验证库对Sonic的EVM网络有影响，但它同样适用于所有现有和未来的基于DAG的链，在这些链上，它有潜力通过防止错误的出现来显著增强安全性。
) Sonic Labs 对 DAG 进行了重新调整
区块链共识设计是需要大脑的东西，涉及到数学、密码学和博弈论等领域的研究者的专业知识。虽然Sonic Labs团队在这些领域受过良好的教育，但它还是请来了一些专家，帮助深入研究DAG，目标是使其可验证地安全。
与悉尼大学和INRIA的顶尖逻辑学家合作开发的这个库，利用TLA+证明助手提供模块化、可重用的组件。这些组件简化了开发人员的验证过程，使他们能够轻松地建模和确认基于DAG的协议的安全性。该库包含对主要协议的验证证明，如DAG-Rider、Cordial Miner、Bullshark、Hashgraph和Aleph，以及Sonic自己的共识协议被验证为衍生协议。
考虑到现在区块链生态系统中流通的价值，确保它们的安全对每个人来说都是有利的。然而，这说起来容易做起来难，因为标准审计程序绝不是万无一失的，漏洞悄然出现并最终被利用的情况并不鲜见，后果可能是灾难性的。
让区块链对每个人都更安全
Sonic Labs 的形式验证方法使用严格的数学证明来消除错误，确保协议在每种可想象的场景中都能可靠地执行。该库不仅验证现有协议，还使开发者能够设计新的基于 DAG 的系统或改进当前系统。Sonic Labs 已经应用其专有工具证明在 Sonic 区块链上不安全的行为在数学上是不可能的。
该库于2025年6月中旬在弗吉尼亚州威廉斯堡的NASA正式方法会议上首次展示，为区块链开发者的武器库增加了一种有价值的防御工具。随着模块化设计成为构建区块链的默认方式，安全风险潜入的风险上升。例如，许多区块链即服务提供商允许团队仅需几次点击即可创建和部署自定义网络。但如果他们在此过程中选择修改共识机制的参数，就有可能无意中引入安全漏洞。
这只是 Sonic Labs 的形式验证库具有明确应用的一个领域。但它在评估现有的基于 DAG 的链方面也有价值。漏洞常常在实际中潜藏多年，最好的情况是白帽子发现它并进行修补。最坏的情况是，它落入黑帽子的手中，黑帽子能够利用它。
正如Sonic Labs的首席研究官Bernhard Scholz博士总结的那样：“在区块链中，安全失败往往源于未经过测试的假设，直到为时已晚。借助这个库，我们正从希望转向证明，提供了以数学确定性验证协议在所有条件下安全行为的工具。”随着这个开源库现已向web3开发者开放，责任在于他们利用这个工具并充分发挥其作用。
![]###http://bitcoinist.com/wp-content/uploads/2025/02/safe.png( 编辑流程针对bitcoinist，旨在提供经过深入研究、准确且公正的内容。我们坚持严格的来源标准，每一页都经过我们顶级技术专家和经验丰富的编辑团队的认真审查。这个流程确保了我们内容的完整性、相关性和对读者的价值。