🎉【Gate 3000万纪念】晒出我的Gate时刻,解锁限量好礼!
Gate用户突破3000万!这不仅是数字,更是我们共同的故事。
还记得第一次开通账号的激动,抢购成功的喜悦,或陪伴你的Gate周边吗?
📸 参与 #我的Gate时刻# ,在Gate广场晒出你的故事,一起见证下一个3000万!
✅ 参与方式:
1️⃣ 带话题 #我的Gate时刻# ,发布包含Gate元素的照片或视频
2️⃣ 搭配你的Gate故事、祝福或感言更佳
3️⃣ 分享至Twitter(X)可参与浏览量前10额外奖励
推特回链请填表单:https://www.gate.com/questionnaire/6872
🎁 独家奖励:
🏆 创意大奖(3名):Gate × F1红牛联名赛车模型一辆
👕 共创纪念奖(10名): 国际米兰同款球员卫衣
🥇 参与奖(50名):Gate 品牌抱枕
📣 分享奖(10名):Twitter前10浏览量,送Gate × 国米小夜灯!
*海外用户红牛联名赛车折合为 $200 合约体验券,国米同款球衣折合为 $50 合约体验券,国米小夜灯折合为 $30 合约体验券,品牌抱枕折合为 $20 合约体验券发放
🧠 创意提示:不限元素内容风格,晒图带有如Gate logo、Gate色彩、周边产品、GT图案、活动纪念品、活动现场图等均可参与!
活动截止于7月25日 24:00 UTC+8
3
Sonic Labs:面向有向无环图(DAG)协议的新形式认证库
Sonic Labs,Sonic区块链背后的团队,已推出新的有向无环图(DAG)基础共识协议的形式认证库。目标是为区块链的安全性提供证明工具。
Sonic Labs与区块链的安全性:新形式认证库的发布
Sonic Labs,Sonic区块链背后的团队,宣布推出新的形式化认证库,专门用于基于有向无环图(DAG)的共识协议。
在实践中,它是一个开源库,使用形式验证来数学证明有向无环图(DAG)区块链的安全性,包括Sonic EVM区块链。
借助TLA+试验助手,可以简化基于有向无环图(DAG)的共识协议的验证过程,使开发者能够以最小的努力对协议进行建模和验证。
这是一个用于验证区块链安全性的测试工具。该库包括对重要的基于有向无环图(DAG)的协议的测试,如DAG-Rider、Cordial Miner、Bullshark、Hashgraph和Aleph,Sonic共识协议经过验证为派生协议。
该正式认证库首次在2025年NASA正式方法会议(NFM 2025)上展示,会议于6月11日至13日在弗吉尼亚州威廉斯堡举行。
Sonic Labs 和严格的数学方法来证明一个协议的安全性
区块链安全的当前情况往往看到共识协议的脆弱性,这也可能导致灾难性的漏洞。双重支付或账本不一致就是一个例子。
总体而言,传统的测试和认证以确保区块链的安全性已经变得不足。
在这个意义上,Sonic Labs 决定以严格的数学方法应对当前的挑战,这表明一个协议在所有可能的场景中都是安全的,毫无错误的余地。
在这方面,Sonic Labs的首席研究官Bernhard Scholz博士评论道:
“在区块链中,安全性故障往往源于那些在为时已晚之前未经过验证的假设。通过这个库,我们正从希望走向证明,提供工具以数学上的确定性验证协议在所有条件下的安全行为。我们的目标是使正式认证对所有协议开发者都可及。”
Sonic Labs 已经开始实施形式化认证,以证明在 Sonic 区块链上不安全的行为在数学上是不可能的。
代币S在Coinbase的上市
在过去几个小时里,还传出了Sonic (S)代币进入知名加密交易所Coinbase的消息。
$S è ora disponibile su @Coinbase.pic.twitter.com/E6AIy6yusF
— 索尼克实验室 (@SonicLabs) 24 giugno 2025
在实践中,Coinbase 的客户还可以访问 Coinbase iOS 和 Android 应用程序来购买、出售、转换、发送、接收或存储代币 S。
目前,Sonic (S)在整体加密排名中位于第73位,市值为9.32亿美元。写作时,S的价值为0.32美元。
在2025年4月中旬,Fantom推出了最新的Sonic更新,以革命性地改变DeFi。其交易能力超过10,000交易每秒(TPS),最终确认时间少于2秒,Sonic立即定位为加密领域中最快和最具可扩展性的Layer 1网络之一。Sonic还首次推出了代币S,最初与Fantom的FTM挂钩。